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

Muestre que: ¬ (p v q) y ¬p ∧ ¬q son lógicamente equivalente

Considere las afirmaciones:

Él o no está informado o él no es honesto = ¬ p ∆ ¬ q

No es verdadero que él esté informado y sea honesto = ¬ p ∧ q

¿Son lógicamente equivalentes? (Demostrar)

Considere las afirmaciones: 

 Si las mercancías no fueron entregadas, el cliente no puede haber pagado =
    ¬ q → ¬ p; contrarrecíproca

 Si el cliente ha pagado, las mercancías deben de haber sido entregadas =
    p → q; condicional

¿Son contrarrecíprocas? (Demostrar).

 

Determine los valores de verdad de los enunciados siguientes. 

1.       Si 7 < 2, entonces -2 < -7 =>  F → F = verdadero   

2.      2 + 2 = 5 sii 4 + 4 = 10 =>  F ↔ F = verdadero   

3.     1 + 1 = 2 sii 4 + 4 = 10 =>  V ↔ F = falso

Sean p y q los enunciados: “Está permitido nadar en la costa de Nueva Jersey” y “Se han divisado tiburones cerca de la costa”, respectivamente. 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.