一、联言命题:p并且q,符号为:p∧q(“p并且q”)
1、定义及辨识:同是成立(“且”关系)∧
2、逻辑词:
(1)并列词:且、与、和
(2)转折词:但、却
(3)递进词:而且、更
例如:
1.郭沫若是文学家,也是历史学家
2.林纾是著名的翻译家,但他不懂外语。
3.控制论不仅对生物和生命现象的研究有深刻的意义,而且对哲学和社会现象的研究也有重要意义。
4.人们啊!要尊重自然,尊重规律,尊重生命。
口诀:全真则真、有假则假
二、选言命题:
1、相容选言:p或者q,符号为:p∨q(读作“p或者q”) 。
(1)定义及辨识:几者中至少一个成立(“或”关系)∨ /or
(2)逻辑词:<1>至少一个<2>“或……或……”、“可能……也可能……”、“也许……也许……” <3>不都不
(3)“或”变“→” A或B 等价于-A→B,等价于-B→A
例如:
- 小李学过英语或者法语。
- 艺术作品质量差,也许由于内容不好,也许由于形式不好。
口诀:有真则真、全假则假
2、不相容选言:要么p,要么q,符号为:p∨q(∨号上要加上·)(读作“要么p,要么q”)。
(1)定义及辨识:两者仅有一个成立
(2)逻辑词:<1>二选一 <2>“”二者不可得兼”、“不是……就是……”
例如:
- 一个三角形,要么是钝角三角形,要么是锐角三角形,要么是直角三角形。
- 不是老虎吃掉武松,就是武松打死老虎。
口诀:一真一假则真、全真全假则假
三、直言命题:
1、定义及辨识:
全称肯定命题:表达:所有的S是P,缩写SAP,A命题
全称否定命题:表达:所有的S不是P,缩写SEP,E命题
特称肯定命题:表达:有的S是P,缩写SIP,I命题
特称否定命题:表达:有的S不是P,缩写SOP,O命题
单称肯定命题: 这个S是P
单称否定命题:这个S不是P
2、矛盾关系:
(1)所有的A是B 与 有的A不是B 矛盾
(2)所有的A不是B 与 有的A是B 矛盾
(2)这个A是B 与 这个A不是B 矛盾
3、推出关系:
(1)所有的A是B → 有的A是B → 这个A是B
(1)所有的A不是B → 有的A不是B → 这个A不是B
网友评论