0344132人目の素数さん垢版 | 大砲2020/03/03(火) 02:05:56.15ID:cloWWGBs 人間は全称命題を知覚することは不能であるから その否定の特称命題を証明する他ない また全称量化子の元を全称のまま選ぶことはできるが ある特定の元として選ぶことはできない つまり全称命題は間接証明しかできないのであるから その間接法である対偶法を用いることになるのである