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.

1. Reglas básicas de inferencia
Clase 13
16/Junio/2014

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

3. Introducción de conjunción
Diagrama de Fitch
En general:
3 de 13

4. Ejemplos
Con tres premisas
O bien
4 de 13

5. Ejemplos
Con fórmulas no atómicas
5 de 13

6. Ejemplos
Con una sola premisa
6 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

9. Ejemplos
Uso de ambas reglas al mismo tiempo
9 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

11. Introducción de condicionales
Diagrama de Fitch
En general:
11 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

13. Subderivación
La derivación que se realiza en un ámbito,
asumiendo premisas
Se llama subderivación
13 de 13