命题的否定,将条件的全称量词改为存在量词,结论改为否定。下面就来看看乛p是命题的否定还是否命题?┐p与否命题的区别。
否命题,条件,结论都改为否定。
这里若x>o,即任意x>0,隐藏一个全称量词
命题的否定
(1)全称命题和特称命题的否定。①全称命题的否定是特称命题,即∀x∈M,p(x)的否定是∃x0∈M,¬p(x0)。 ②特称命题的否定是全称命题,即∃x0∈M,p(x0)的否定是∀x∈M,¬p(x)。
(2)含有逻辑联结词命题的否定。①“p 或 q”的否定:“¬p 且¬q”。②“p 且 q”的否定:“¬p 或¬q”。
(3)“若 p,则 q”命题的否定:只否定结论,即若 p,则¬q。注意:命题的“否定”与“否命题”是不同的概念,命题的否定只否定结论,否命题条件结论都取否定。