メモ

「対偶」という単語があります。論理学と機械工学で使われるようです。前者については高校１年の数学で教わるらしい。
すっかり忘れていたのですが、確か昔は得意科目だったような気もするので、ちょっと調べてみました。

命題 P ならば Q に対して、命題 Q でないならば P でない、を対偶という。対偶の真偽は、元の命題の真偽と一致する。

http://www.suriken.com/knowledge/glossary/contraposition.html
つまり、
対偶：「ガンダムはＭＳ」○「ＭＳでなければガンダムではない」○（常に一致）
ということですね*1。
ついでに。
逆：「ガンダムはＭＳ」○「ＭＳはガンダム」△（必ずしも一致せず）
裏：「ガンダムはＭＳ」○「ガンダムでなければＭＳではない」△（必ずしも一致せず）

*1:シャイニングガンダムはＭＳじゃないぞとかそういう突っ込みは勘弁してください