逻辑联结词与全称、存在量词.pdfVIP

第4讲简单的逻辑联结词、全称量词与存在量词

[学生P10]

1.简单的逻辑联结词

(1)常用的简单的逻辑联结词有“或”“且”“非”．

(2)命题p∧q、p∨q、綈p的真假判断

pqp∧qp∨q綈p

真真真真假

真假假真假

假真假真真

假假假假真

2.全称命题和特称命题

(1)全称量词和存在量词

量词名称常见量词符号表示

全称量词所有、一切、任意、全部、每一个等∀

存在量词存在一个、至少有一个、有些、某些等∃

(2)全称命题和特称命题

名称

全称命题特称命题

形式

对M中任意一个x，有p(x)

结构存在M中的一个x，使p(x)成立

00

成立

简记∀x∈M，p(x)∃x∈M，p(x)

00

否定∃x∈M，綈p(x)∀x∈M，綈p(x)

00

1.注意两类特殊命题的否定

(1)注意命题是全称命题还是特称命题，是正确写出命题的否定的前提．

(2)注意命题所含的量词，对于量词隐含题要结合命题的含义显现量词，再进行否

定．

2.含逻辑联结词命题真判断方法

Lecture4Simplelogicalconnectives,universalquantifiersand

existentialquantifiers

[StudentsBookP10]

1.Simplelogicalconnectives

(1)Commonlyusedsimplelogicalconnectivesincludeor,andand

not.

(2)Tr