|
Need synonyms for first-order logic? Here's a list of similar words from our thesaurus that you can use instead.
Noun
A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse
“In modern terminology we say that the set of valid formulas of first-order logic is recursively enumerable.”
|
|
|
|
|
|