RAZONAMIENTO.

Un razonamiento es valido cuando la forma "p" que representa su estructura lógica es una tautologia o si dicha forma proposicional es una contradicción o una contingencia, entonces el razonamiento no es valido, en cuyo caso se denomina falso.

DETERMINE EL SIGUIENTE RAZONAMIENTO ES VALIDO.

Si Pablo recibe el e-mail, entonces toma el avión y estaba aquí al medio o Pablo no tomo el avión. Luego, Pablo no recibió el e-mail.


H1= p -->(q^r)
H2= ¬q
H3= ¬p

H1^H2-->C

[(p--> (q^r)) ^ ¬q] --> ¬p

[(¬p v (q ^ r)) ^ ¬q]  --> ¬p

[((¬p v q) ^ (¬p v r)) ] ^ ¬q --> ¬p

[((¬p v q) ^ ¬q) ^ (¬p v r)] --> ¬p

[(¬q ^ (¬p v q)) ^(¬p v p)] --> ¬p

[((¬q ^ ¬p) v (¬q ^ q)) ^ (¬p v r)] --> ¬p

[((¬q ^ ¬p) ^o) ^ (¬p v r)] --> ¬p

[(¬q ^ ¬p) ^ (¬p v r)] --> ¬p

¬[(¬q ^ ¬p) ^ (¬p v r)] v ¬p

[¬(¬q ^ ¬p) v ¬(¬p v r) v ¬p]

[(q v p) v (p^ r)] v ¬p

[¬p v (q v p)] v (p ^ ¬r)

[(¬p v p) v q] v (p ^ ¬r)

(1 v q) v (p ^¬r)

1 v (p^¬r)

1 //