Assertion: logic's operator | /r/HasProperty | implication
Facets:
Source sentences:
text: The meta-logical operators and properties include implication, satisfiability validity, logical equivalence, and interpretation.