含意的命題論理の完全性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/10/04 22:08 UTC 版)
「パースの法則」の記事における「含意的命題論理の完全性」の解説
詳細は「en:Implicational propositional calculus」を参照 パースの法則の重要性のひとつとして、含意のみを用いる論理において排中律の置き換えとして使用できることが挙げられる。公理図式: P→(Q→P) (P→(Q→R))→((P→Q)→(P→R)) ((P→Q)→P)→P from P and P→Q infer Q (ここで P, Q, R は結合子として"→"のみを含む)からは結合子として"→"のみを使った全てのトートロジーを導出できる。
※この「含意的命題論理の完全性」の解説は、「パースの法則」の解説の一部です。
「含意的命題論理の完全性」を含む「パースの法則」の記事については、「パースの法則」の概要を参照ください。
- 含意的命題論理の完全性のページへのリンク