GATE Computer Science (CS) 2013 Solved Paper

© examsiri.com

Question : 57 of 65

Marks: +1, -0

Which one of the following is NOT logically equivalent to ¬ ∃x (∀ y (α) ∧ ∀ z(β))?

∀x (∃z (¬ β) → ∀ y(α))
∀x (∀z (β) → ∃y (¬ α))
∀x (∀y (α) → ∃z (¬ β))
∀x (∃y (¬ α) → ∃z (¬ β))

Go to Question:

Prev Question

Next Question