first-order logic

== English == === Noun === first-order logic (countable and uncountable, plural first-order logics) (logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse. ==== Synonyms ==== FOL ==== Hypernyms ==== predicate logic ==== Translations ====