最終更新日:2024/07/31
(logic) The classically valid but intuitionistically non-valid formula ((P→Q)→P)→P of propositional calculus, which can be used as a substitute for the law of excluded middle in implicational propositional calculus.
正解を見る
Peirce's law
編集履歴(0)
元となった辞書の項目
Peirce's law
name