13 reglas básicas de inferencia

113 views

Published on

Reglas de introducción: de la conjunción, de la disyunción y de la condicional

Published in: Education
0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total views
113
On SlideShare
0
From Embeds
0
Number of Embeds
2
Actions
Shares
0
Downloads
1
Comments
0
Likes
1
Embeds 0
No embeds

No notes for slide

13 reglas básicas de inferencia

  1. 1. Reglas básicas de inferencia Clase 13 16/Junio/2014
  2. 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. 3. Introducción de conjunción Diagrama de Fitch En general: 3 de 13
  4. 4. Ejemplos Con tres premisas O bien 4 de 13
  5. 5. Ejemplos Con fórmulas no atómicas 5 de 13
  6. 6. Ejemplos Con una sola premisa 6 de 13
  7. 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. 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. 9. Ejemplos Uso de ambas reglas al mismo tiempo 9 de 13
  10. 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. 11. Introducción de condicionales Diagrama de Fitch En general: 11 de 13
  12. 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. 13. Subderivación La derivación que se realiza en un ámbito, asumiendo premisas Se llama subderivación 13 de 13

×