Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ELABORADO POR:
YINNA LIZETH JIMÉNEZ
SOLER
CODIGO: 1.070.964.541
GRUPO: 90004_363
PRESENTADO A:
JUAN MANUEL CORTES
Ejemplo N°2
Si mi hermana está en casa, entonces no hace nada.
Si no hace nada, entonces no trabaja.
Luego, si mi hermana está en casa, no trabaja.
p q r ( p∨q) ¿ r ( p∨q)∨r
V V V V V V
V V F F V F
V F V F V V
V F F F V F
F V V F V V
F V F F V F
F F V F V F
F F F V F F
REGLAS DE INFERENCIA
p|q
q∨r
q : p∨r
( p∨q)∨r
TABLA DE LA VERDAD
[ ( p →q ) ∧ ( ¬r →¬ s ) ∧ ( p ∧ s ) ] → ( q ∧ s )
Tarea 4: Razonamiento Deductivo e Inductivo