Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
rule of inference
|
| gptkbp:alsoKnownAs |
law of detachment
|
| gptkbp:application |
gptkb:artificial_intelligence
gptkb:mathematics gptkb:philosophy computer science |
| gptkbp:category |
deductive reasoning
|
| gptkbp:firstDescribed |
gptkb:Aristotle
|
| gptkbp:form |
If P implies Q and P is true, then Q is true
|
| https://www.w3.org/2000/01/rdf-schema#label |
modus ponens
|
| gptkbp:language |
method of affirming
|
| gptkbp:relatedTo |
modus tollens
|
| gptkbp:symbol |
P → Q, P ⊢ Q
|
| gptkbp:usedIn |
gptkb:logic
predicate logic |
| gptkbp:bfsParent |
gptkb:classical_logic
gptkb:first-order_predicate_calculus gptkb:modal_logic_S5 |
| gptkbp:bfsLayer |
6
|