Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logical_argument
gptkb:argumentative_technique |
| gptkbp:category |
deductive reasoning
|
| gptkbp:goal |
disprove a statement by showing its negation leads to contradiction
|
| gptkbp:hasMethod |
assume the opposite
derive contradiction |
| gptkbp:languageOfOrigin |
gptkb:Latin
|
| gptkbp:opposedBy |
direct proof
|
| gptkbp:relatedTo |
proof by contradiction
|
| gptkbp:translatedInto |
reduction to absurdity
|
| gptkbp:usedBy |
gptkb:Aristotle
gptkb:Euclid |
| gptkbp:usedIn |
gptkb:logic
gptkb:mathematics gptkb:philosophy |
| gptkbp:bfsParent |
gptkb:Turing's_proof_of_the_undecidability_of_the_halting_problem
|
| gptkbp:bfsLayer |
8
|
| http://www.w3.org/2000/01/rdf-schema#label |
reductio ad absurdum
|