简单的逻辑联结词、称量词与存在量词11.docVIP

学案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且xB B．xA或xB C．xA且xB D．xA∪B 答案　B 解析　“x∈A∩B”?“x∈A且