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

GATE · 2013 · CS · Computer Science & ITBARC · Computer Science · 2013

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

  1. A.

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

  2. B.

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

  3. C.

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

  4. D.

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

Attempted by 243 students.

Sign up free to check your answer

Sign up free

Explore the full course: Gate Guidance By Sanchit Sir

Loading lesson…