Assertion: contradiction | /r/HasProperty | general
Facets:
Source sentences:
text: Proof by contradiction (general): assume ¬ P {\displaystyle \lnot P}