Search Details

Word: first-order logic (lookup usage) (lookup stats)


Meaning:

Noun:

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

Source: Wiktionary | Src Info »