対偶 (論理学) - Wikipedia

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "対偶" 論理学 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2013年8月） 対偶（たいぐう、英: Contraposition）とは、ある命題に対して、その命題の仮定と結論をそれぞれその否定に置き換えた上で両者を入れ替えた命題のことをいう。 定義[編集] 命題「AならばB」の対偶は「BでないならばAでない」である。 論理記号として「ならば ()」および否定 () を用いると、命題 の対偶は である。 なお、 の対偶は厳密には ではなく、 である。 通常の数学では古典論理を用いるため、命題「AならばB」とその対偶「BでないならばAでない

[daybeforeyesterday]

わぁい対偶(論理学)、あかり対偶(論理学)大好き

[umeten]

論理学むずかしいです

[hiroomi]

“逆は必ずしも真ならず”

[toshikaz55]

「命題「AならばB」の対偶は「BでないならAでない」である」 対偶 (論理学) - Wikipedia

[Philos]

メモ

[nowheremann]

命題「AならばB」の対偶は「BでないならAでない」 / 命題「A ⇒ B」の対偶は「¬B⇒ ¬A」（¬A は命題 A の否定）である / 通常の数学では、命題「AならばB」の真偽とその対偶「BでないならAでない」の真偽とは必ず一致

[Miki-Tea]

「平家にあらずんば人にあらず」の説明が細かい。