対偶 (論理学)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/07/10 02:18 UTC 版)
|
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 (2013年8月)
|
|
この記事は英語版の対応するページを翻訳することにより充実させることができます。（2025年7月）
翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
対偶（たいぐう、英: Contraposition）とは、「AならばB」という形式の命題に対して、その命題の仮定と結論をそれぞれその否定に置き換えた上で両者を入れ替えた命題のことをいう。
定義
命題「AならばB」の対偶は「BでないならばAでない」である。 論理記号として「ならば (
出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。
- 前原昭二『記号論理入門』安東祐希 補足（新装版）、日本評論社〈日評数学選書〉、2005年12月。ISBN 978-4-535-60144-4。
- 矢野健太郎『新しい数学』岩波書店〈岩波新書 青版 G-8〉、1966年2月21日。 ISBN 4-00-416008-1。
関連項目
外部リンク
- ブリタニカ国際大百科事典 小項目事典『対偶』 - コトバンク
- Sakharov, Alex; Weisstein, Eric W. “Propositional Calculus”. mathworld.wolfram.com (英語).
「対偶 (論理学)」の例文・使い方・用例・文例
- 対偶_(論理学)のページへのリンク
