12 derivaciones

224 views
187 views

Published on

Deducción de una conclusión a partir de premisas utilizando las reglas de inferencia o reglas de derivación

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

  • Be the first to like this

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

No notes for slide

12 derivaciones

  1. 1. 01/11 CLASE 12 16/JUNIO/2014 Derivaciones
  2. 2. Una deducción lógica Argumento: • El teléfono está apagado • Si el teléfono está apagado no puede recibir llamadas • Juan duerme • Si Juan duerme no puede ver que el teléfono está apagado  Juan no puede ver que el teléfono está apagado y no puede recibir llamadas 02/11
  3. 3. Una deducción lógica Argumento: • El teléfono está apagado • Si el teléfono está apagado no puede recibir llamadas • Juan duerme • Si Juan duerme no puede ver que el teléfono está apagado  Juan no puede ver que el teléfono está apagado y no puede recibir llamadas Símbolos: • T = el teléfono está apagado • L = el teléfono puede recibir llamadas • J = Juan duerme • A = Juan puede ver que el teléfono está apagado Argumento: • T • (T  ~L) • J • (J  ~A)  (~L & ~A) 03/11
  4. 4. Deducciones Argumento: • T • (T  ~L) • J • (J  ~A)  (~L & ~A) Preguntas: • ¿Es cierto que (~L & ~A)? • ¿Cómo lo dedujimos? • ¿Qué nos permite hacer deducciones? 04/11
  5. 5. Reglas de deducción Reglas de deducción • O reglas de inferencia • Expresan patrones válidos de inferencia • Permiten obtener conclusiones • Requieren análisis y práctica • Igual que las fórmulas matemáticas 05/11
  6. 6. Alternativas de validación ¿Cómo demostrar que • T • (T  ~L) • J • (J  ~A)  (~L & ~A) Es un argumento válido? Dos posibilidades: • Tabla de verdad • Muestra qué valores de verdad de las premisas hacen la conclusión verdadera • Árbol de verdad • Se aplica a la negación del condicional análogo • Si alguna rama no está cerrada el argumento no es válido 06/11
  7. 7. Validación por reglas de inferencia • Derivación • Aplicación de reglas de inferencia • Para obtener una conclusión • A partir de las premisas • Si la derivación está bien hecha • El argumento es válido • Si el argumento es válido • La conclusión puede derivarse de las premisas 07/11
  8. 8. Ejemplo Argumento: • T • (T  ~L) • J • (J  ~A)  (~L & ~A) Derivación: 08/11
  9. 9. Análisis 09/11 Números de línea Fórmulas lógicas Justificación de la presencia de cada fórmula lógica en la derivación
  10. 10. Análisis 10/11 Números de línea Fórmulas lógicas Justificación de la presencia de cada fórmula lógica en la derivación La premisas se justifican por ser premisas El resto se justifican explicando cómo se derivaron de las anteriores
  11. 11. Diagramas de Fitch 11/11

×