Ejercicio 1: Proposiciones y tablas de verdad B. p: los países Sudamericanos invierten en energías limpias. q: Las energías renovables pueden reducir las emisiones de carbono. Proposición en lenguaje natural Si los países Sudamericanos invierten en energías limpias entonces las energías renovables pueden reducir las emisiones de carbono y si Las energías renovables pueden reducir las emisiones de carbono entonces los países Sudamericanos invierten en energías limpias. (p → q) ˄ (q → p) p q (p → q) (q → p) (p → q) ˄ (q → p) V V F F V F V F V F V V V V F V V F F V CONTINGENCIA TABLA DE VERDAD A TRAVÉS DEL SIMULADOR Ejercicio 2: Aplicación de la lógica fundamental B. Si el arte digital ha transformado la forma en que se consume el arte o las redes sociales no permiten a los artistas llegar a pequeñas audiencias, entonces las exposiciones virtuales permiten visitar museos desde casa. Solución: P Si el arte digital ha transformado la forma en que se consume el arte. Q Las redes sociales no permiten a los artistas llegar a pequeñas audiencias. R Las exposiciones virtuales permiten visitar museos desde casa. (p∨~q) →r TABLA DE VERDAD A TRAVÉS DEL SIMULADOR Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica B. Expresión simbólica: [(p →q) ∧ (q →t)] → (p → t) P1: (p →q) P2: (q →t) Conclusión: (p → t) Ley utilizada: Modus Ponendo Ponens (PP) Ejercicio 4: Problemas de aplicación. B. Expresión simbólica: [(p → r) ∧ (~r) ∧ (~p → q) ∧ (q → s)] → s Premisas dadas: P1: p → r P2: ~r P3: ~p → q P4: q → s Conclusión: s P1: p → r P2: ~r P5: ~p P3: ~p → q No se puede llegar a la P4: q → s conclusión con esta ley P6: ~p → s de inferencia. P6: ~p → s P5: ~p P7: s Premisias P5: ~p Ley Premisias Aplicada Usadas MTT P1, P2 ¿Correcto o incorrecto? Justificación Correcto Se utiliza la ley de inferencia donde negando niego, si no tengo r no puedo obtener p. P6: ~p → s Silogismo P3, P4 Disyuntivo Incorrecto No es correcto puesto que para obtener esta premisa con la ley de Silogismo Disyuntivo debería manejarse una disyunción donde se enlazarían con la letra "o". P7: s MPP Correcto Afirmando afirmo donde si tengo p tengo s y mis dos premias se cumplirían. P6, P5
