¬(P ∧ ¬P) ↔ (P ∨ ¬P) ↔ ∀p(p = p) ↔ ∀p¬(¬p = p) ↔ ∃y∃p∀y¬(¬p = p)

ID: 1833958053596856320

calendar_today11-09-2024 19:57:36