Assertion: propositional logic | /r/HasProperty | generic term
Facets:
Source sentences:
text: Predicate logic is the generic term for symbolic formal systems such as first-order logic, second-order logic, many-sorted logic, and infinitary logic.