Descargar la presentación
La descarga está en progreso. Por favor, espere
1
Validar el razonamiento:
p v q p v r q r
2
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.
3
Validar el razonamiento:
p v (r v q) r q p s s
4
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.
5
Validar el razonamiento:
( p q ) r r s q s p q
6
( 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.
7
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
![Otro planteo Validar: (p q) (r s)] (r t) (t ) q. Demostración: [(p q) (r s)] (r t) (t ) ](http://slideplayer.es/slide/19924/1/images/7/Otro+planteo+Validar%3A+%EF%81%9B%28%EF%83%98p+%EF%83%9A+%EF%83%98q%29+%EF%82%AE+%28r+%EF%83%99+s%29%5D+%EF%83%99+%28r+%EF%82%AE+t%29+%EF%83%99+%28%EF%83%98t+%29+%EF%81%9D+%EF%82%AE+q.+Demostraci%C3%B3n%3A+%5B%28%EF%83%98p+%EF%83%9A+%EF%83%98q%29+%EF%82%AE+%28r+%EF%83%99+s%29%5D+%EF%83%99+%28r+%EF%82%AE+t%29+%EF%83%99+%28%EF%83%98t+%29+%EF%82%BA.jpg " [(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.")
Presentaciones similares
