命题的否定形式是对这个命题的真值进行取反，命题的否定与原命题真假性相反。有四种命题，一般用p和q分别表示原命题的条件和结论，用或分别表示p和q的否定。相对而言，否命题是对原命题的条件和结论分别否定后组成的命题，命题的否定形式是针对全称命题和特称命题而言，是要把相应的量词进行互换。