CGU-NET | UGC-NET CS 2017 noviembre – III | Pregunta 59

Considere las siguientes dos fórmulas bien formadas en lógica preposicional.

F1 : P ⇒ ¬ P
F2 : (P ⇒ ¬ P) ∨ (¬ P ⇒ P)

¿Cuál de las siguientes afirmaciones es correcta?
(A) F1 es satisfactoria, F2 es válida
(B) F1 es insatisfactoria, F2 es satisfactoria
(C) F1 es insatisfactoria, F2 es válida
(D) F1 y F2 son ambas satisfactorias

Respuesta: (A)
Explicación: F ₁ :
P → ¬P
= ¬P(¬P) + P¬(¬P)
= ¬P + P es satisfactoria.
F ₂ :
(P ⇒ ¬ P) ∨ (¬ P ⇒ P)
= (¬P(¬P) + P¬(¬P)) v (P¬(¬P) + ¬P(¬P) )
= satisfacible v satisfacible
es satisfacible.
Entonces, la opción (A) es correcta.

Cuestionario de esta pregunta