Construcción de tablas de verdad de proposiciones

Considere las afirmaciones:

Él o no está informado o él no es honesto: ¬p v ¬q

No es verdadero que él esté informado y sea honesto ¬(p^q)

¿Son lógicamente equivalentes? (Demostrar) ¬p v ¬q y ¬(p^q)

 

 

 

Tabla de verdad para ¬p v ¬q y ¬(p^q)
p	q	p^q	¬(p^q)	¬p	¬q	¬p v ¬q
V	V	V	F	F	F	F
V	F	F	V	F	V	V
F	V	F	V	V	F	V
F	F	F	V	V	V	V

 

Considere las afirmaciones: 

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

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

¿Son contrarrecíprocas? (Demostrar).

Tabla de verdad para ¬p v ¬q y ¬(p^q)
p	q	¬p	¬q	p → q	¬q→¬p
V	V	F	F	V	V
V	F	F	V	F	F
F	V	V	F	V	V
F	F	V	V	V	V

 

 

Determine los valores de verdad de los enunciados siguientes. 

Si 7 < 2, entonces -2 < -7 : p→q = VERDADERO

2 + 2 = 5 sii 4 + 4 = 10   : p↔q =VERDADERO

1 + 1 = 2 sii 4 + 4 = 10:  p↔q =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 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 han divisado tiburones en la costa