Assertion: logic | /r/Synonym | elementary logic
Facets:
value: variously
type: DEGREE
value: sometimes
type: TEMPORAL
Source sentences:
text: In a still narrower sense, logic is restricted to the study of inferences that depend only on certain logical concepts, those expressed by what are called the “logical constants” (logic in this sense is sometimes called elementary logic).
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.