Properties (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
law of logic
|
| https://www.w3.org/2000/01/rdf-schema#label |
Peirce's law
|
| gptkbp:is_a |
classical logic
implication principle in propositional logic |
| gptkbp:is_evaluated_by |
P_
|
| gptkbp:is_used_in |
mathematical logic
|
| gptkbp:previousName |
gptkb:Charles_Sanders_Peirce
|
| gptkbp:related_to |
intuitionistic logic
|
| gptkbp:relatedTo |
the principle of excluded middle
|
| gptkbp:state |
((P ightarrow Q) ightarrow P) ightarrow P
|