Construcción de tablas de verdad de proposiciones y formalización.

 

EJERCICIOS

Considere las afirmaciones:

Él o no está informado o él no es honesto

No es verdadero que él esté informado y sea honesto

¿Son lógicamente equivalentes? (Demostrar)

Considere las afirmaciones: 

•  Si las mercancías no fueron entregadas, el cliente no puede haber pagado
•  Si el cliente ha pagado, las mercancías deben de haber sido entregadas

¿Son contrarrecíprocas? (Demostrar).

    

Determine los valores de verdad de los enunciados siguientes. 

Si 7 < 2, entonces -2 < -7 

2 + 2 = 5 sii 4 + 4 = 10 

1 + 1 = 2 sii 4 + 4 = 10

“Está permitido nadar en la costa de Nueva Jersey”  “Se han divisado tiburones cerca de la costa”

 Expresa cada una de las siguientes fórmulas en lenguaje natural.

 

 4. p Λ  q = está permitido nadar en la costa de Nueva Jersey y se han divisado tiburones cerca de la costa.

 

 5. p ↔ – q = está permitido nadar en la costa de Nueva Jersey si y solo si no se han divisado tiburones cerca de la costa.