Elija la(s) opción(es) correcta(s) con respecto a la siguiente afirmación de lógica proporcional S:
S:((P∧Q)→R)→((P∧Q)→(Q→R))
(A) S no es ni una tautología ni una contradicción
(B) S es una tautología
(C) S es una contradicción
(D) El antecedente de S es lógicamente equivalente al consecuente de S
Respuesta: (B) (D)
Explicación: Antecedente de S : (P ^ Q) → R
≡ ~( P^Q) v R ≡ ~P v ~Q v R
Consecuente de S : (P ^ Q) → (Q → R)
≡ (P ^ Q) → (~Q v R) ≡ ~( P^Q) v (~Q v R) ≡ ~P v ~Q v (~Q v R) ≡ ~P v ~Q v R
El antecedente de S es equivalente al consecuente de S. Por lo tanto, la opción (D) es correcta.
A → A es siempre una Tautología. La opción B es correcta.
Cuestionario de esta pregunta
Publicación traducida automáticamente
Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA