Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Logic
|
| https://www.w3.org/2000/01/rdf-schema#label |
Peirce's law
|
| gptkbp:is_a_form_of |
intuitionistic logic
|
| gptkbp:is_a_tautology |
in propositional logic
|
| gptkbp:is_a_theorem_in |
propositional calculus
|
| gptkbp:is_compared_to |
the law of excluded middle in classical logic
|
| gptkbp:is_related_to |
the principle of excluded middle
|
| gptkbp:is_represented_in |
P ightarrow (Q ightarrow P)
|
| gptkbp:is_used_in |
classical logic
|
| gptkbp:named_after |
gptkb:Charles_Sanders_Peirce
|
| gptkbp:state |
((P ightarrow Q) ightarrow P) ightarrow P
|
| gptkbp:bfsParent |
gptkb:Charles_Sanders_Peirce
|
| gptkbp:bfsLayer |
5
|