人間は全称命題を知覚することは不能であるから
その否定の特称命題を証明する他ない
また全称量化子の元を全称のまま選ぶことはできるが
ある特定の元として選ぶことはできない
つまり全称命題は間接証明しかできないのであるから
その間接法である対偶法を用いることになるのである