対偶 #--数学 2023年08月05日 0 ・「AであればBである」の対偶は、BでなければAでない。・元の条件文と対偶は同じ真理値となる。・よって、対偶を証明すれば、元の条件文を証明したことになる。 PR