たいぐう【対偶】[0] (一)二つで一そろいのもの。対（^ツイ）。夫婦・左右など。 (二)〔論理学や数学で〕 仮設と終結を持つ型の命題に対し、終結の否定を仮設とし 仮設の否定を終結として得られる命題の称。 〔「PならばQ」の対偶は、「QでないならばPでない」。前者が真^シンならば後者も真。対偶の対偶は元の命題であり、結局両者の真偽は一致するので、二つで一そろいと見なして 対偶と呼ぶ〕 逆・裏