- 118.78 KB
- 2021-05-20 发布
第3讲 简单的逻辑联结词、全称量词与存在量词
1.简单的逻辑联结词
命题中的 、 、 叫作逻辑联结词,分别表示为 、 、 .
2.全称量词与存在量词
(1)短语“对所有的”“对任意一个”在逻辑中通常叫作 ,用符号“ ”表示.
(2)短语“存在一个”“至少有一个”在逻辑中通常叫作 ,用符号“ ”表示.
(3)含有一个量词的命题的否定:
全称命题p:∀x∈M,p(x),它的否定是 .
特称命题q:∃x0∈M,q(x0),它的否定是 .
常用结论
1.否命题是把原命题的条件与结论都否定,命题的否定只需否定命题的结论.
2.记忆口诀:(1)“p或q”,有真则真;(2)“p且q”,有假则假;(3)“非p”,真假相反.
3.命题p∧q的否定是(