Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

For questions about formal deduction of first-order logic formula or metamathematical properties of first-order logic.

First-order logic contains, in addition to all symbols and rules of , the universal $\forall$ and existential $\exists$ quantifiers. These satisfy $\neg\forall xP(x)\iff\exists x\neg P(x)$ and $\neg\exists xP(x)\iff\forall x\neg P(x)$. First-order logic is used to build up the axioms of most set theory formulations, including Zermelo–Fraenkel.

history | excerpt history