English

Noun

first-order logic ‎(countable and uncountable, plural first-order logics)

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

Synonyms

• FOL

Translations

Hypernyms

• predicate logic