対偶とは

二つ揃うことでひとつの対になっているもの。「夫婦」「上下」など。

「AならばBである」という命題に対しての、内容の入れかえと否定をした形の「BでないならばAではない」という命題。元の命題と対偶の命題の真偽は一致する。