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

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?

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?

Determine los valores de verdad de los enunciados siguientes. 

1. Si 7 < 2, entonces -2 <-7 

2. 2 + 2 = 5 si 4 + 4 = 10 

3. 1 + 1 = 2 si 4 + 4 = 10

Sean p y q los enunciados: 

“Está permitido nadar en la costa de Nueva Jersey” 

“Se han divisado tiburones cerca de la costa”, respectivamente.

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

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

 5. p ↔ – q = Esta permitido nadar en la costa de Nueva Jersey si y solo si no se divisan tiburones cerca de la costa