Assertion: contradiction | /r/HasProperty | $r \land \lnot
Facets:
Source sentences:
text: In a "genuine" proof by contradiction, you assume both $P$ and $\lnot Q$, and deduce some other contradiction $R \land \lnot