トーク:数学/証明
話題追加< トーク:数学
最新のコメント：14 年前 ｜ トピック：記述ミス | 投稿者：Yamazzaki
記述ミス[編集]
---本文引用---
矛盾命題 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)