 First-order logic (source code)

by Ciro Santilli (@cirosantilli, 37)

= First-order logic
{wiki}

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

 Back to article page