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

 

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

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

   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

    5. p ↔ – q