在数学中,“或”,“且”,“非”这些词叫做逻辑联结词。
“或”作为逻辑联结词,与生活用语中“或者”相近,但二者有区别。生活语言中“或者”是指从联结的几部分中选一,而逻辑联结词“或”都是指联结的几部分中至少选一。
“且”作为逻辑联结词,与生活用语中“既……”相同,表示两者都要满足的意思,在日常生活中经常用“和”,“与”代替。
“非”作为逻辑联结词的意义就是日常生活用语中的“否定”,而且是“全盘否定”。
“或(∨)”、“且(∧)”、“非(¬)”这些词叫逻辑联结词。
一、简单逻辑及全称量词与存在量词知识点归纳
简单的逻辑联结词
(1)命题中的且或非叫做逻辑联结词.
(2)简单复合命题的真值表:
2.全称量词与存在量词
(1)常见的全称量词有:任意一个一切每一个任给所有的等.
(2)常见的存在量词有:存在一个至少有一个有些有一个某个有的等.
(3)全称量词用符号表示;存在量词用符号表示.
3.全称命题与特称命题
(1)含有全称量词的命题叫全称命题.
(2)含有存在量词的命题叫特称命题.
4.命题的否定
(1)全称命题的否定是特称命题;特称命题的否定是全称(2)p或q的否定为:非p且非q;p且q的否定为:非p或非q.
注意:
一个关系 逻辑联结词与集合的关系或、且、非三个逻辑联结词,对应着集合运算中的并、交、补,因此,常常借助集合的并、交、补的意义来解答由或、且、非三个联结词构成的命题问题. 两类否定
1.含有一个量词的命题的否定
(1)全称命题的否定是特称命题
全称命题p:xM,p(x),它的否定p:x0M,p(x0).
(2)特称命题的否定是全称命题 特称命题p:x0M,p(x0),它的否定p:xM,p(x). 2.复合命题的否定