Multiple choice

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

  1. $∀ x(∃ z(¬β )→∀ y(α))$
  2. $∀x(∀ z(β )→∃ y(¬α))$
  3. $∀x(∀ y(α)→∃z(¬β ))$
  4. $∀x(∃ y(¬α)→∃z(¬β ))$
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

Keep practicing — related questions