トーク:数学/証明

出典: フリー教科書『ウィキブックス(Wikibooks)』
ナビゲーションに移動 検索に移動

記述ミス[編集]

---本文引用---

矛盾命題 contradiction

真理値が全て、0(偽)である命題を、矛盾命題という。

 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)