全称量词与存在量词及其否定.pptVIP

关于全称量词与存在量词及其否定第1页，共18页，星期日，2025年，2月5日想一想？？短语“所有的”“任意一个”在逻辑中通常叫做全称量词．用符号“”表示。含有全称量词的命题，叫做全称命题。是整数是整数Z常见的全称量词还有“一切”“每一个”“任给”“所有的”等.第2页，共18页，星期日，2025年，2月5日第3页，共18页，星期日，2025年，2月5日想一想？？短语“存在一个”“至少一个”在逻辑中通常叫做存在量词．用符号“”表示。含有存在量词的命题，叫做特称命题。常见的存在量词还有“有些”“有一个”“对某个”“有的”等.第4页，共18页，星期日，2025年，2月5日第5页，共18页，星期日，2025年，2月5日理论迁移例1下列命题是全称命题还是特称命题，并判断其真假.（1）任意实数的平方都是正数；（2）0乘以任何数都等于0；（3）有的老师既能教中学数学，也能教中学物理；全称命题（假）全称命题（真）特称命题（真）第6页，共18页，星期日，2025年，2月5日（4）某些三角形的三内角都小于60°；（5）任何一个实数都有相反数.特称命题（假）全称命题（真）第7页，共18页，星期日，2025年，2月5日例2判断下列命题的真假.（1）x∈R，x2＞x；（2）x∈R，sinx＝cosxtanx；（3）x∈Q，x2－8＝0；（4）x∈R，x2＋x＋1＞0；（5）x∈R，sinx－cosx=2；（6）a，b∈R，真假假假假真第8页，共18页，星期日，2025年，2月5日1.4.3含有一个量词的命题的否定第9页，共18页，星期日，2025年，2月5日想一想？第10页，共18页，星期日，2025年，2月5日含有一个量词的全称命题的否定,有下面的结论全称命题它的否定从形式看，全称命题的否定是特称命题。第11页，共18页，星期日，2025年，2月5日理论迁移例1写出下列全称命题的否定：（1）p：所有能被3整除的整数都是奇数（2）p：每一个四边形的四个顶点共圆（3）p：x∈Z，x2的个位数字不等于3.（1）﹁p：存在一个能被3整除的整数不是奇数；（2）﹁p：存在一个四边形，其四个顶点不共圆；（3）﹁p：x0∈Z，x02的个位数字等于3.第12页，共18页，星期日，2025年，2月5日否定:1)所有实数的绝对值都不是正数;2)每一个平行四边形都不是菱形;3)第13页，共18页，星期日，2025年，2月5日含有一个量词的特称命题的否定,有下面的结论特称命题它的否定第14页，共18页，星期日，2025年，2月5日例2写出下列特称命题的否定：（1）p：x0∈R，x02＋2x0＋2≤0；（2）p：有的三角形是等边三角形；（3）p：有一个素数含有三个正因数.（1）﹁p：x∈R，x2＋2x＋2＞0；（2）﹁p：所有的三角形都不是等边三角形（3）﹁p：每一个素数都不含三个正因数.第15页，共18页，星期日，2025年，2月5日例3写出下列命题的否定，并判断其真假：（1）p：任意两个等边三角形都相似（2）p：x0∈R，x02＋2x0＋2＝0；（1）﹁p：存在两个等边三角形，它们不相似；（2）﹁p：x∈R，x2＋2x＋2≠0；假命题真命题第16页，共18页，星期日，2025年，2月5日第17页，共18页，星期日，2025年，2月5日**