El documento presenta las reglas básicas de inferencia lógica, incluyendo la introducción de conjunción, disyunción y condicionales. Explica que de dos premisas verdaderas se puede inferir válidamente su conjunción, y que de una premisa verdadera se puede inferir su disyunción con cualquier otra proposición. También describe cómo se puede asumir una proposición como condición para sacar conclusiones de otras premisas, siempre que el consecuente sea verdadero incluso si la condición es falsa.
2. Introducción de conjunción
Si se tienen dos premisas
• Se sabe que ambas son ciertas
Entonces la conjunción de ambas es una
conclusión válida
Ejemplo
P
Q
(P & Q)
2 de 13
7. Introducción de disyunción
Si se tiene una premisa
• Se sabe que es cierta
Entonces la disyunción de esa premisa con
cualquier otra es una conclusión válida
Ejemplo
P
(P v Q)
• Observe que Q no necesita ser verdadera
7 de 13
8. Introducción de disyunción
Diagrama de Fitch
En general:
• Introducción de disyunción a la derecha
• Introducción de disyunción a la izquierda
8 de 13
10. Introducción de condicionales
Se tiene una o más premisas
• Se sabe que son verdaderas
Se puede asumir una diferente como condición de
las existentes
• Si la que se asume es falsa igual se tiene
consecuente verdadero
Ejemplo
P
Q
(N (P & Q))
10 de 13
12. Ejemplos
En combinación con otras reglas
Ponerle mucho ojo al ámbito donde se asume
• Sólo allí es válido sacar conclusiones
• Porque ahí se asumió
• Fuera del ámbito
• Si es verdadero entonces…
12 de 13