Assertion: argument | /r/HasProperty | the form modus tollens
Facets:
Source sentences:
text: This argument is of the form modus tollens, and is logically valid: If its premises are true, the conclusion follows of necessity.