Assertion: logic's property | /r/HasProperty | expressed in theorem
Facets:
Source sentences:
text: Some logical connectives possess properties which may be expressed in the theorems containing the connective.