バックアップ一覧
差分
を表示
現在との差分
を表示
ソース
を表示
命題論理
へ行く。
1 (2010-12-22 (水) 22:54:09)
2 (2010-12-22 (水) 22:54:39)
論理と計算
命題論理
†
↑
形式論理の３大原則
†
同一律(law of identity)
P は P である
矛盾律(law of contradiction)
一つの命題「P は Q である」とその否定命題「 P は Q でない」は共に成立する事も共に成立しない事も出来ない。
排中律(law of excluded middles)
命題は成立するか成立しないかのどちらか以外は起こらない。
