-
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 (̚ β) )
- ∀ x (∃z ( ̚ β ) → ∀ y (α) )
Correct Option: A
∀ ×(∃z(̚β) &rarrr; ∀ y(α)) and ∀ ×(∃y(̚α) &rarrr; ∃z(β)) both are NOT logically equivalent to
̚∃ × (∀y(α) ∧ ∀z(β)