设原命题是：若P则Q
否命题是：若非P则非Q（双重否定）
命题的否定：若P则非Q（只否定结论）
否命题：
存在一个x,使 x