La descarga está en progreso. Por favor, espere

La descarga está en progreso. Por favor, espere

Validar el razonamiento: p v q p v r q r. 1.p v q 2. p v r 3.q / r 4.p Silog. Disy. (MTP) entre 1 y 3 5.r Silog. Disy. (MTP) entre 2 y 4 El razonamiento.

Presentaciones similares


Presentación del tema: "Validar el razonamiento: p v q p v r q r. 1.p v q 2. p v r 3.q / r 4.p Silog. Disy. (MTP) entre 1 y 3 5.r Silog. Disy. (MTP) entre 2 y 4 El razonamiento."— Transcripción de la presentación:

1 Validar el razonamiento: p v q p v r q r

2 1.p v q 2. p v r 3.q / r 4.p Silog. Disy. (MTP) entre 1 y 3 5.r Silog. Disy. (MTP) entre 2 y 4 El razonamiento es válido.

3 p v (r v q) r q p s s Validar el razonamiento:

4 1. p v (r v q) 2. r 3. q 4. p s / s 5. r v ( p v q) Conmutativa y asociativa en 1 6.( p v q) Silog. Disy. (MTP) entre 5 y 2 7. p Silog. Disy. (MTP) entre 6 y 3 8.s MP entre 4 y 7 El razonamiento es válido.

5 ( p q ) r r s q s p q Validar el razonamiento:

6 1.( p q ) r 2. r s 3. q s / p v q 4. s Simplificación en 3 5. r MT entre 2 y 4 6. (p q) MT entre 1 y 5 7. 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


Descargar ppt "Validar el razonamiento: p v q p v r q r. 1.p v q 2. p v r 3.q / r 4.p Silog. Disy. (MTP) entre 1 y 3 5.r Silog. Disy. (MTP) entre 2 y 4 El razonamiento."

Presentaciones similares


Anuncios Google