命題論理のバックアップ差分(No.2)

バックアップ一覧
現在との差分を表示
ソースを表示
バックアップを表示
命題論理へ行く。
- 1 (2010-12-22 (水) 22:54:09)
- 2 (2010-12-22 (水) 22:54:39)

追加された行はこの色です。
削除された行はこの色です。

[[論理と計算]]
**命題論理 [#vd09864e]
***形式論理の３大原則 [#n17c6019]
-同一律(law of identity) 　
-同一律(law of identity) &br;　
P は P である
-矛盾律(law of contradiction) 　
-矛盾律(law of contradiction)&br; 　
一つの命題「P は Q である」とその否定命題「 P は Q でない」は共に成立する事も共に成立しない事も出来ない。
-排中律(law of excluded middles) 　
-排中律(law of excluded middles) &br;　
命題は成立するか成立しないかのどちらか以外は起こらない。