忍者ブログ

いけいけ理系NEO

情報処理試験など、理系の試験対策、関連知識、日記などです



対偶

・「AであればBである」の対偶は、BでなければAでない。


・元の条件文と対偶は同じ真理値となる。


・よって、対偶を証明すれば、元の条件文を証明したことになる。