全部。。。，則

否定形式：存在。。。。，不。。。

存在。。。則

否定形式：

全部。。。不。。

（不——符號改相反）

且一個(gè)命題與它的否定命題一定是一真一假。不能同時(shí)真，不能同時(shí)假。所以可以從一個(gè)命題的否定形式去推。