命题的否定命题的否定（┐P）是命题的运算，所以有符号；而否命题是名称，是一个命题，没符号的！
命题条件：
充分和必要条件：
1．“若p，则q”为真命题，叫做由p推出q，记作p=>q，并且说p是q的充分条件，q是p的必要条件。
2．“若p，则q”为假命题，叫做由p推不出q，记作p≠>q，并且说p不是q的充分条件（或p是q的非充分条件），q不是p的必要条件(或q是p的非必要条件）。
充要条件：
如果既有p=>q，又有q=>p，就记作p<=>q，并且说p是q的充分必要条件（或q是p的充分必要条件），简称充要条件，也可称p与q等价。
