2016逻辑用语.pptVIP

* 　简单的逻辑联结词、全称量词与存在量词 p q p∧q p∨q 非p 真 真 ____ ____ ____ 真 假 ____ ____ ____ 假 真 ____ ____ ____ 假 假 ____ ____ ____ 1．命题p∧q，p∨q，非p的真假判断 真 真 假 假 真 假 假 真 真 假 假 真 2.全称量词和存在量词 (1)全称量词有：所有的，任意一个，任给，用符号“____”表示． 存在量词有：存在一个，至少有一个，有些，用符号“_____”表示． (2)含有全称量词的命题，叫做__________；“对M中任意一个x，有p(x)成立”可用符号简记为：_____________． (3)含有存在量词的命题，叫做特称命题；“存在M中的元素x0，使p(x0)成立”可用符号简记为：________________． ? ? 全称命题 ?x∈M，p(x) ?x0∈M，p(x0) 命题 命题的否定 ?x∈M，p(x) ___________________ ?x0∈M，p(x0) ___________________ 3．含有一个量词的命题的否定 ?x0∈M，非p(x0) ?x∈M，非p(x) 原语句 是 都是 至少有 一个 至多有 一个 对任意x∈A使p(x)真 否定形式 不是 不都是 ≤ 一个也 没有 至少有 两个 存在x0∈A使p(x0)假 常