全称量词命题和存在量词命题的否定.ppt

第一章集合与常用逻辑用语;（１）所有的矩形都是平行四边形的否定;（２）的否定是 “并非每一个素数都是奇数”，也就是说， 存在一个素数不是奇数；;概念1;例1 写出下列全称量词命题的否定： （１）所有能被３整除的整数都是奇数； （２）每一个四边形的四个顶点在同一个圆上； （３）对任意∈，2的个位数字不等于３．;（１）存在一个实数的绝对值是正数的否定;对含有一个量词的存在量词命题的否定，有下面的结论： 存在量词命题： ?∈R， p 它的否定： ?∈R， ? p 也就是说，存在量词命题的否定是全称量词命题．;3教材二次开发：例题改编命题“?∈R，223=0”的否定是_______? 【解析】因为存在量词命题的否定是全称量词命题，所以命题“?∈R，223=0”的否定是“?∈R，223≠0” 答案：?∈R，223≠0;1．写出下列命题的否定，并判断其真假． 1p：所有的方程都有实数解； 2q：?∈R,42－4＋1≥0； 3r：?0∈R，02＋20＋2≤0； 4s：某些平行四边形是菱形．;解　1非p：存在一个方程没有实数解，真命题．比如方程2＋1＝0就没有实数解． 2非q：?0∈R，使402－40＋10，假命题．这里由于?∈R,42－4＋1＝2－12≥0恒成立，是真命题，所以非q是假命题． 3非r：?∈R，2＋2＋20，真命题． 4非s：每一个平行四边形都不是菱形，假命题;小结