Assertion: order logic | /r/Synonym | first-order predicate calculus
Facets:
Source sentences:
text: First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
text: First-order logic is also known as first-order predicate calculus or first-order functional calculus.