Assertion: contradiction's negation | /r/HasProperty | ¬ p → q
Facets:
Source sentences:
text: Negation, ¬ ( P → Q ) {\displaystyle