Zulip Chat Archive
Stream: new members
Topic: (¬¬ ∃ x : A, PP x) ↔ ∀ x : A, ¬¬ PP x
Jia Xuan Ng (Oct 29 2021 at 14:10):
Would you say the two:
(¬¬ ∃ x : A, PP x) ↔ ∀ x : A, ¬¬ PP x
are equivalent? I know that:
(¬ ∃ x : A, PP x) ↔ ∀ x : A, ¬ PP x
by De Morgans.
Yaël Dillies (Oct 29 2021 at 14:18):
I would say no. But aren't we doing your homework at that point?
Last updated: May 02 2025 at 03:31 UTC