Assertion: contradiction's negation | /r/HasProperty | true
Facets:
Source sentences:
text: In fact, this often occurs in a proof by contradiction to indicate that the original assumption was false, and that its negation must therefore be true.
text: “S isn't P”): the negation is true whenever the affirmation is false, and the affirmation is true when the negation is false.
text: “S isn't P”): the negation is true whenever the affirmation is false, and the affirmation is true when the negation is false.
text: This states that either an assertion or its negation must be true
text: To put this more philosophically, “the negation is true whenever the affirmation is false, and the affirmation is true when the negation is false” (Stanford Encyclopedia of Philosophy).
text: If the negation is true, then the original proposition (and by extension the contrapositive) is false.
text: This concept appears most often in a proof by contradiction (also known as reductio ad absurdum ), which is proving a statement by supposing its negation is true and logically deducing an absurd statement.
text: To put this more philosophically, “the negation is true whenever the affirmation is false, and the affirmation is true when the negation is false” (Stanford Encyclopedia of Philosophy).