简单的逻辑联结词、全称量词与存在量词介绍.doc

学案3　简单的逻辑联结词、全称量词与存在量词 导学目标： 1.了解逻辑联结词“或、且、非”的含义.2.理解全称量词与存在量词的意义.3.能正确地对含有一个量词的命题进行否定．  自主梳理 1．逻辑联结词 命题中的或，且，非叫做逻辑联结词．“p且q”记作pq，“p或q”记作pq，“非p”记作綈p. 2．命题pq，pq，綈p的真假判断 p q pq p∨q 綈p 真 真 真 真 假 真 假 假 真 假 假 真 假 真 真 假 假 假 假 真 3.全称量词与存在量词 (1)短语“所有的”“任意一个”在逻辑中通常叫做全称量词，并用符号“”表示．含有全称量词的命题，叫做全称命题，可用符号简记为x∈M，p(x)，它的否定x∈M，綈p(x)． (2)短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词，并用符号“”表示．含有存在量词的命题，叫做特称命题，可用符号简记为x∈M，p(x)，它的否定x∈M，綈p(x)． 自我检测 1．命题“x∈R，x2－2x＋10”的否定是(　　) A．x∈R，x2－2x＋1≥0 B．x∈R，x2－2x＋10 C．x∈R，x2－2x＋1≥0 D．x∈R，x2－2x＋10 答案　C 解析　因要否定的命题是特称命题，而特称命题的否定为全称命题．对x2－2x＋10的否定为x2－2x＋1≥0，故选C. 2．若命题p：xA∩B，则綈p是(　　) A．xA且x