Actividad 3.

Operaciones proposicionales y lenguaje formal

I. Simboliza las siguientes proposiciones en lenguaje formal y determina, por medio de

una tabla de verdad, si se trata de una contradicción, una tautología o una contingencia.

 Claudia le dice a Víctor: si nos casamos y no terminamos, entonces, nos

casamos o no hay fiesta.

II. Determina el valor de verdad de las siguientes proposiciones por medio de una tabla
de verdad.

{P [Q (R S)]} R [P (Q S)]}

A partir de aquí, terminar.

 P Q ↔ P ⋁ Q


 P ⋁ Q ↔ P Q


 (P Q) R, (P Q) R P ∧ Q

 PQ, P R

 P Q, P Q ↔P