逻辑学复合命题.ppt

《逻辑学复合命题.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第三章复合命题命题非模态命题模态命题简单命题复合命题必然命题可能命题性质命题关系命题联言命题选言命题假言命题负命题其他复合命题命题的种类例1.不满10周岁的人是无民事行为能力的人例2.所有树木都必然是植物例3.禁止偷盗他人财物例4.他或者有罪，或者无罪例5.今天天气晴朗并且空气清新例6.如果《合同法》不体现意思自治原则，那么这部法律就是失败的命题形式逻辑学第一节复合命题一、复合命题及其结构复合命题是由命题构成的命题。例如：1.他要么有罪，要么无罪。2.如果天下雨，那么地面就湿。3.如果物体受热，那么它会膨胀。4.他违法并且受到了处罚。5.他违法

2、后，或者要受到处罚，或者要受到批评教育。6.并非他违法而没有受到处罚。复合命题的结构：支命题+联结词构成复合命题的命题把支命题联结起来的语词命题变项逻辑常项范例二、命题联结词的种类根据命题联结词不同，复合命题分为：联言命题——常用联结词“并且”等他违法并且受到了处罚。选言命题——常用联结词“或者”等他要么有罪，要么无罪。假言命题——常用联结词“如果……那么……”等如果天下雨，那么地面就湿。负命题——常用联结词“并非”等并非他违法而没有受到处罚。三、复合命题的种类及其特征（一）联言命题1、定义：联言命题是陈述若干事物情况同时存在的命题。例如：张三

3、是中国公民并享有民主自由权利某甲既是盗窃犯，又是杀人犯。2、联言命题的结构联言联结词和联言支逻辑特征联言支联言联结词逻辑学中，一般用“……并且……”。现代逻辑一般用“∧”表示，读作“合取”。联言命题又称为合取命题。如果用p、q分别表示两个联言支，则一个二支的联言命题的命题形式：p并且q用合取式表示：p∧q3、联言命题的逻辑特征一个联言命题真当且仅当所有联言支都真，否则，如果有一个联言支为假，则联言命题假。如：张三是中国公民并享有民主自由权利P∧Q的真值表：pqp∧qTTTFFTFFTFFF（二）选言命题1、概念：选言命题是陈述若干事物情况中至少

4、有一种情况存在的命题。例组：（1）法是由国家制定或认可的。p或者q（2）犯罪分子要么被绳之以法，要么逍遥法外。要么p，要么q2、选言命题的构成：选言支和选言联结词根据选言支之间关系的不同，又可以把选言命题分为两种。相容选言命题和不相容选言命题返回根据选言支之间关系的不同，又可以把选言命题分为相容选言命题和不相容选言命题两种。3、相容选言命题（1）相容选言命题：各选言支所陈述的情况可以同时存在的选言命题。如：法是由国家制定或认可的。（2）相容选言命题的结构：选言支＋相容选言联结词在自然语言中，表达相容选言联结词的语词有：“……或者……”“可能……

5、也可能……”“也许……也许……”等等。相容选言命题的联结词一般是“……或者……”。在现代逻辑中一般用“∨”表示，读作“析取”。逻辑特征如果分别用p、q表示两个选言支，则一个二支的相容选言命题的命题形式：P或者q用析取式表示为：P∨q（3）相容选言命题的逻辑特征：根据定义，一个相容选言命题真当且仅当至少有一个选言支是真的，并且可以都真。P∨Q的真值表：P∨qqpTTTFFTFFTTTF4、不相容选言命题（1）不相容选言命题：有而且只有一个选言支所陈述的情况存在的选言命题。犯罪分子要么被绳之以法，要么逍遥法外。（2）结构：选言支＋不相容选言联结词在

6、自然语言中，表达不相容选言联结词的语词还有：“要么……要么……”“不是……就是……”“或者……或者……二者不可兼得”等等在逻辑中，一般用“要么……要么……”表达不相容选言命题的联结词。现代逻辑中一般用“∨”，读作“严格析取”或“不相容析取”。如果p、q分别表示两个选言支，则不相容选言命题的命题形式：要么p，要么q符号表示：p∨q（3）不相容选言命题的逻辑特征：根据定义，一个不相容选言命题是真的，当且仅当有而且只能有一个选言支是真的；否则，就是假的。...二支不相容选言命题的真值表：p∨q.pqTTTFFTFFFTTF5、关于选言支穷尽的问题所谓

7、选言支穷尽，就是指选言命题陈述了事物的全部可能情况。所谓选言支不穷尽，就是指选言命题没有陈述事物的全部可能情况。1.一家银行被抢，嫌疑犯有几个，罪犯或者是A，或者是B，或者是C。2.小张或者是河南人，或者是山东人，或者是河北人。一个选言命题，如果选言支穷尽，它就一定是真的，但是，一个真的选言命题，其选言支不一定是穷尽的。（三）假言命题1、假言命题：陈述某一事物情况是另一事物情况存在的条件的复合命题。1.如果天下雨，那么地面就湿。2.只有各科成绩都合格，才能顺利毕业。3.他犯了罪当且仅当他应受刑罚处罚。2、假言命题的结构：假言命题的构成支命题假言

8、联结词前件后件充分条件假言联结词必要条件假言联结词充分必要条件假言联结词3、充分条件假言命题（1）充分条件假言命题：前件所陈述事物情况是后件所陈述事物