Skip to content
Carmelics
Topics
Thinkers
Changes
Contributors
Loading account…
∀x[P(x) → D(x)] iff ¬∃x[P(x) ∧ ¬D(x)] — Carmelics
Statements
321,452
Perspectives
108,905
Topics
42