Assertion: logic | /r/Synonym | lower predicate calculus
Facets:
value: variously
type: DEGREE
Source sentences:
text: When (1), (2), and (4) are considered, the field is the central area of logic that is variously known as first-order logic, quantification theory, lower predicate calculus, lower functional calculus, or elementary logic.