トーク:数学/証明

記述ミス

---本文引用---

矛盾命題 contradiction

真理値が全て、０（偽）である命題を、矛盾命題という。

A	￢A	￢A⇒A	A∨A
1	0	0	0
0	1	0	0

---引用終り---

上記の記述が間違っていると思います。矛盾命題とされる命題についてですが、

￢A⇒A = ￢(￢A)∨A = A∨A = A

であり、矛盾命題ではなく、Aとの同値命題ではないでしょうか。 矛盾命題として挙げるべき命題は

￢A∧A (= ￢(A⇒A))

だと思います。--Yamazzaki 2010年3月26日 (金) 18:06 (UTC)

仰る通りですね。本文を修正しましょうか。--Ninomy-chat 2010年3月27日 (土) 07:01 (UTC)

修正しておきました。確認が取れてよかった。--Yamazzaki 2010年3月27日 (土) 13:10 (UTC)