RhymeZone: first-order logic definitions

Definitions of first-order logic:

noun: (logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.

(Definitions from Wiktionary)