含有一个量词的命题的否命题_第三节：简单的逻辑联结词、全称量词与存在量词...

1．简单的逻辑联结词

(1)命题中的且、或、非叫做逻辑联结词．

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

2.全称量词与存在量词

(1)全称量词：短语“所有的”“任意一个”在逻辑中通常叫做全称量词，用“∀”表示；含有全称量词的命题叫做全称命题．

(2)存在量词：短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词，用“∃”表示；含有存在量词的命题叫做特称命题．

逻辑联结词中的“或”相当于集合中的“并集”，

逻辑联结词中的“且”相当于集合中的“交集”，

逻辑联结词中的“非”相当于集合中的“补集”，

3.要点整合

(1)若p∧q为真，则p，q同为真；

若p∧q为假，则p，q至少有一个为假；

若 p∨q为假，则p，q同为假；

若p∨q为真，则p，q至少有一个为真．

(2)“p∧q”的否定是“非(p∧q)”或“(非p)∨(非q)”；

“p∨q”的否定是“非(p∨q)”或“(非p)∧(非q)”．