Assertion: order logic | /r/HasProperty | a collection of formal systems
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.