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? (Demostrar)

-p v -q = Se usa el conector lógico o, por lo que se debe cumplir una de las dos condiciones, en la proposición se están negando las dos, por lo que es falsa.

-p v q = Se usa el conector lógico y, por lo que se deben de cumplir las dos condiciones, y en la proposición no es así, por lo que es falso.

Lógicamente no son equivalentes ya que las condiciones de los conectores lógicos "y" y "o", son distintos, la tabla de verdad de estos dos es muy diferente entre ellas.

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).

Son contrareciprocas, ya que en el primer enunciado se ven dos negaciones y se resume en -p -> -q, en el segundo enunciado esto cambia, se intercambia el orden y se afirman, que seria la negación de la negación
q -> p

Determine los valores de verdad de los enunciados siguientes. 

1. Si 7 < 2, entonces -2 < -7 = f -> f = v
2. 2 + 2 = 5 sii 4 + 4 = 10 = f <-> f = v
3. 1 + 1 = 2 sii 4 + 4 = 10 = v <-Z f = f

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

Esta permitido nadar y en las playas de Nueva Jersey o se han divisado tiburones cerca de las costa

 5. p ↔ – q

Esta permitido nadar en la costa de Nueva Jersey si y solo si no se han divisado tiburones cerca de la costa.