Академический Документы
Профессиональный Документы
Культура Документы
v
v
v
v
v
f
Tabla de verdad
P1
P2
P3
p
q
r
v
v
v
v
v
v
P4
(r&p&q)>s
v
f
conclusin
s
v
f
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
f
f
f
f
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v
v
f
f
v
v
f
f
f
v
f
v
v
f
v
f
v
f
v
f
v
f
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
f
f
f
f
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v
v
f
f
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
v
f
v
v
f
v
f
v
f
v
f
v
f
(No existe el caso en que las premisas sean verdaderas y la conclusin sea
falsa, por lo tanto el razonamiento es valido)
1.6 Probar la validez del argumento empleando las leyes de inferencia.
Leyes de inferencia
P1: p
P2: q
P3: r
P4: (r&p&q)->s
Conclusin: s
r
p
---------------------P5: r&p
(r&p)
Q
---------------P6: r&p&q
(r&p&q) s
(r&p&q)
------------S
s
T
T
( rpq)s
F
T
F
T
F
T
T
T
F
F
T
F
F
T
F
F
T
F
F
F
T
F
PROBLEMA DE APLICACIN 2.
Alguien envi un paquete a mi casa o el mensajero se equivoc; si el
mensajero se equivoc
la direccin de la gua est errada, pero la direccin de la gua no est errada
por lo tanto
alguien envi un paquete a mi casa.