Source: /cirosantilli/first-order-logic

= First-order logic
{wiki}

Builds on top of <propositional logic>, adding notably <existential quantification>.