CGU-NET | UGC NET CS 2016 Agosto – III | Pregunta 70

Supongamos que ν(x) significa que x es vegetariano, m(y) para y es carne y e(x, y) para x come y. Con base en esto,
considere las siguientes oraciones:
I. ∀x ν(x ) ⇔ (∀ye(x, y) ⇒ ¬m(y))
II. ∀x ν(x ) ⇔ (¬(∃ym(y) ∧e(x, y)))
III. ∀x (∃ym(y) ∧e(x, y)) ⇔ ¬ν(x)
Se puede determinar que
(A) Solo I y II son oraciones equivalentes
(B) Solo II y III son oraciones equivalentes.
(C) Sólo I y III son sentencia equivalente.
(D) I, II y III son oraciones equivalentes.

Respuesta: (D)
Explicación:
prueba de esta pregunta
. Comente a continuación si encuentra algo incorrecto en la publicación anterior.