Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:rule_of_inference
|
| gptkbp:alsoKnownAs |
gptkb:disjunctive_syllogism
|
| gptkbp:application |
gptkb:logic
argumentation proofs |
| gptkbp:field |
gptkb:logic
gptkb:mathematics gptkb:philosophy |
| gptkbp:firstDescribed |
ancient Greek philosophers
|
| gptkbp:form |
A or B, not A, therefore B
A or B, not B, therefore A |
| gptkbp:language |
mode that affirms by denying
|
| gptkbp:relatedTo |
gptkb:modus_ponens
modus tollens |
| gptkbp:symbol |
(A ∨ B), ¬A ⊢ B
(A ∨ B), ¬B ⊢ A |
| gptkbp:usedIn |
gptkb:logic
|
| gptkbp:bfsParent |
gptkb:disjunctive_syllogism
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
modus tollendo ponens
|