■http://anond.hatelabo.jp/20110118185213

こういうことですね。

∨：および

∧：また

￢：でない

∨￢＝およびでない

最低覚えておくべき論理法則（トートロジー）

同一律　A⊃A

矛盾律　￢（A∧￢A）

二重否定　￢￢A≡A

ド・モルガン　￢（A∧B）≡¬A∨¬B

　　　　　　　　￢（A∨B）≡￢A∧¬B

結合法則　A∧（B∨C）≡（A∧B）∨（A∧C）

　　　　　　　A∨（B∧C）≡（A∨B）∧（A∨C）

対偶法則（第一）　（A⊃B）⊃（￢B⊃￢A）

　　　　　　（第二）　（￢A⊃￢B）⊃（B⊃A）

添加法則　A⊃（B⊃A）

排中律　A∨￢A

MP（Modus Ponens 前件肯定式）　A∧（A⊃B）⊃B

これら以外では、

A∧０≡０　A∧１≡A

A∨１≡１　A∨０≡０　など。ただし、０は恒偽命題、１は恒真命題。　

Permalink | 記事への反応(3) | 19:00

ツイートシェア