裏 (論理学)

「 p ⇒ q 」という形の命題に対して、命題「 ¬ p ⇒ ¬ q 」を、元の命題の裏（うら）という。

ある命題とその裏の真偽は必ずしも一致しない。

しかし、ある命題の逆と裏とは対偶の関係にあるので一致する。

日常生活では、「ならば」の意味など、裏も必ず真であるような誤謬をすることがある。（前件否定）

[編集] 関連項目

• 必要十分条件
• 前件否定
• 同値

[編集] 外部リンク

• 逆と裏の問題

この項目「裏 (論理学)」は、数学に関連した書きかけの項目です。加筆・訂正などをして下さる協力者を求めています。（P:数学／PJ:数学）