Assertion: logic's nothing | /r/HasProperty | non-x. formal logic
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.