Validar el razonamiento: p v q p v r q r
p v q p v r q / r p Silog. Disy. (MTP) entre 1 y 3 r Silog. Disy. (MTP) entre 2 y 4 El razonamiento es válido.
Validar el razonamiento: p v (r v q) r q p s s
p v (r v q) r q p s / s r v (p v q) Conmutativa y asociativa en 1 (p v q) Silog. Disy. (MTP) entre 5 y 2 p Silog. Disy. (MTP) entre 6 y 3 s MP entre 4 y 7 El razonamiento es válido.
Validar el razonamiento: ( p q ) r r s q s p q
( p q ) r r s q s / p v q s Simplificación en 3 r MT entre 2 y 4 (p q) MT entre 1 y 5 p v q Ley DeMorgan en 6 El razonamiento es válido.
Otro planteo Validar: (p q) (r s)] (r t) (t ) q Demostración: [(p q) (r s)] (r t) (t ) [(p q) (r s)] [(r t) (t )] Asociativa [(p q) (r s)] r Modus Tollens [(p q) (r s)] (r s) Adición [(p q) (r s)] ( r s) De Morgan (p q) Modus Tollens p q De Morgan p q Doble negación q Simplificación Es válido