Assertion: logic's nothing | /r/HasProperty | both an x
Facets:
Source sentences:
text: Nothing is both an X and a non-X. Formal logic is concerned with proposition forms as well as with inference forms.