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(¬β))
This question is part of this quiz :
