Hierarchy:
Description:
{{logic}} A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
Ngram:
Ngram Text:
first-order logic
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
2