全部。。。,则
否定形式:存在。。。。,不。。。
存在。。。则
否定形式:
全部。。。不。。
(不——符号改相反)
且一个命题与它的否定命题一定是一真一假。不能同时真,不能同时假。所以可以从一个命题的否定形式去推。