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 ≡ ¬(p ∧ q) 

Las dos afirmaciones son una tautología, ya que dicen exactamente lo mismo pero en diferentes palabras y se demuestra con la formula.

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

(¬p→¬q) ↔ (p→q)

Las dos afirmaciones son contrarrecíprocas ya que son acciones opuestas que llevan al mismo fin

Determine los valores de verdad de los enunciados siguientes

1. Si 7 < 2, entonces -2 < -7  = v(1)V 

                                                                                 

                                                                                                                                                                                               

1. 2 + 2 = 5 sii 4 + 4 = 10 v(2)V
2. 1 + 1 = 2 sii 4 + 4 = 10 v(3)V

                                                                                                                                                                       

 

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