12   derivaciones
Upcoming SlideShare
Loading in...5
×
 

12 derivaciones

on

  • 125 views

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

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

Statistics

Views

Total Views
125
Views on SlideShare
125
Embed Views
0

Actions

Likes
0
Downloads
0
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

12   derivaciones 12 derivaciones Presentation Transcript

  • 01/11 CLASE 12 16/JUNIO/2014 Derivaciones
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Ejemplo Argumento: • T • (T  ~L) • J • (J  ~A)  (~L & ~A) Derivación: 08/11
  • 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
  • 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
  • Diagramas de Fitch 11/11