1.4 逻辑联结词与量词.pptVIP

1.4逻辑联结词与量词 * 1．逻辑联结词 (1)命题是可以判断 的语句，“或”、“且”、“非”这些词叫逻辑联结词，不含 的命题叫做简单命题，由 与 构成的命题叫复合命题，其构成形式有：“p或q”、“ ”、“非p”． (2)“p且q”是真命题当且仅当命题“p”与“q”均为 命题，否则“p且q”是 命题；“p或q”是假命题当且仅当“p”与“q”均是 命题，否则“p或q”是 命题． 真假 逻辑联结词 简单命题 逻辑联结词 p且q 真 假 假 真 2．全称量词与全称命题 (1)全称量词：短语“ ”在陈述中表示所述事物的全部，在逻辑中通常叫做全称量词. (2)全称命题：含有 的命题． (3)全称命题的符号表示，形如“对M中所有x，p(x)成立”的命题，可用符号简记为“ ”. 对所有的、对任意一个 全称量词 ?x∈M，p(x) 问：如何判定全称命题的真假？ 3．存在量词与特称命题 (1)存在量词：短语“ ”和“ ”在逻辑中通常叫做 量词． (2)特称命题：含有 的命题叫做特称命题. (3)特称命题的符号表示：“存在M中的一个x，使p(x)成立”记为“ ”． 存在一个 至少有一个 存在 存在量词 ?x∈M，p(x) 问：如何判定特称命题的真假？ 命题 命题的否定 ?x∈M，p(x) ?x0∈M，p(x0) 4．含有一个量词的命题的否定 ?x0∈M，?p(x0) ?x∈M，?p(x) 问：全称命题与特称命题的否定有什么关系？ 全称命题的否定是特称命题，特称命题的否定是全称命题． 已知实数a满足1a2，命题p：函数y=lg(2-ax)在区间[0,1]上是减函数；命题q：x21是xa的充分不必要条件，则（ ） A. pvq为真命题 B. pΛq为假命题 C. ?pΛq为真命题 D. ?pv?q为真命题 把本例中的要求改为“写出命题p，q构成的?p,(?p)Λ(?q)形式的复合命题，并判断真假”. 【解】　(1)逆命题是：若f(a)＋f(b)≥f(－a)＋f(－b)，则 a＋b≥0.它是成立的，可用反证法证明： 假设a＋b＜0，则a＜－b，b＜－a. 因为f(x)是(－∞，＋∞)上的增函数，则f(a)＜f(－b)，f(b)＜ f(－a)， 所以f(a)＋f(b)＜f(－a)＋f(－b)与条件矛盾，逆命题真． (2)逆否命题是：若f(a)＋f(b)＜f(－a)＋f(－b)，则a＋b＜0. 它为真，可证明原命题为真来证明它． 因为a＋b≥0，所以a≥－b，b≥－a， ∵f(x)在(－∞，＋∞)上是增函数， ∴f(a)≥f(－b)，f(b)≥f(－a)， ∴f(a)＋f(b)≥f(－a)＋f(－b)，∴逆否命题为真． (2010·天津模拟)已知命题p：“?x∈[1,2]，x2－a≥0”，命题q：“?x0∈R，x02＋2ax0＋2－a＝0，”若命题“p且q”是真命题，求实数a的取值范围． 【解】　由“p且q”是真命题， 则p为真命题，q也为真命题． 若p为真命题，a≤x2恒成立，∵x∈[1,2]，∴a≤1. 若q为真命题，即x2＋2ax＋2－a＝0有实根，Δ＝4a2－4(2－a)≥0， 即a≥1或a≤－2， 综上所求实数a的取值范围为a≤－2或a＝1. 【例5】已知 若?p是?q的必要非充分条件，求实数m 的取值范围。 *