逻辑学复合命题

第三章复合命题逻辑学复合命题命题非模态命题模态命题简单命题复合命题必然命题可能命题性质命题关系命题联言命题选言命题假言命题负命题其他复合命题命题的种类逻辑学复合命题例1.不满10周岁的人是无民事行为能力的人例2.所有树木都必然是植物例3.禁止偷盗他人财物例4.他或者有罪，或者无罪例5.今天天气晴朗并且空气清新例6.如果《合同法》不体现意思自治原则，那么这部法律就是失败的命题形式逻辑学复合命题

逻辑学

第一节复合命题一、复合命题及其结构复合命题是由命题构成的命题。例如：1.他要么有罪，要么无罪。2.如果天下雨，那么地面就湿。3.如果物体受热，那么它会膨胀。4.他违法并且受到了处罚。5.他违法后，或者要受到处罚，或者要受到批评教育。6.并非他违法而没有受到处罚。逻辑学复合命题复合命题的结构：支命题+联结词构成复合命题的命题把支命题联结起来的语词命题变项逻辑常项范例逻辑学复合命题二、命题联结词的种类根据命题联结词不同，复合命题分为：联言命题——常用联结词“并且”等

他违法并且受到了处罚。选言命题——常用联结词“或者”等

他要么有罪，要么无罪。假言命题——常用联结词“如果……那么……”等

如果天下雨，那么地面就湿。负命题——常用联结词“并非”等

并非他违法而没有受到处罚。逻辑学复合命题

三、复合命题的种类及其特征（一）联言命题1、定义：联言命题是陈述若干事物情况同时存在的命题。例如：

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

TTTFFTFFTFFF

（二）选言命题1、概念：选言命题是陈述若干事物情况中至少有一种情况存在的命题。例组：（1）法是由国家制定或认可的。

p或者q（2）犯罪分子要么被绳之以法，要么逍遥法外。

要么p，要么q2、选言命题的构成：选言支和选言联结词根据选言支之间关系的不同，又可以把选言命题分为两种。相容选言命题和不相容选言命题

返回逻辑学复合命题根据选言支之间关系的不同，又可以把选言命题分为相容选言命题和不相容选言命题两种。3、相容选言命题（1）相容选言命题：各选言支所陈述的情况可以同时存在的选言命题。如：法是由国家制定或认可的。（2）相容选言命题的结构：选言支＋相容选言联结词在自然语言中，表达相容选言联结词的语词有：“……或者……”“可能……也可能……”“也许……也许……”等等。相容选言命题的联结词一般是“……或者……”。在现代逻辑中一般用“∨”表示，读作“析取”。

逻辑特征逻辑学复合命题如果分别用p、q表示两个选言支，则一个二支的相容选言命题的命题形式：

P或者q用析取式表示为：P∨q（3）相容选言命题的逻辑特征：根据定义，一个相容选言命题真当且仅当至少有一个选言支是真的，并且可以都真。

逻辑学复合命题

P∨Q的真值表：

P∨qqpTTTFFTFFTTTF4、不相容选言命题（1）不相容选言命题：有而且只有一个选言支所陈述的情况存在的选言命题。犯罪分子要么被绳之以法，要么逍遥法外。（2）结构：选言支＋不相容选言联结词在自然语言中，表达不相容选言联结词的语词还有：“要么……要么……”“不是……就是……”“或者……或者……二者不可兼得”等等在逻辑中，一般用“要么……要么……”表达不相容选言命题的联结词。逻辑学复合命题现代逻辑中一般用“∨”，读作“严格析取”或“不相容析取”。如果p、q分别表示两个选言支，则不相容选言命题的命题形式：要么p，要么q符号表示：p∨q（3）不相容选言命题的逻辑特征：根据定义，一个不相容选言命题是真的，当且仅当有而且只能有一个选言支是真的；否则，就是假的。

...逻辑学复合命题

二支不相容选言命题的真值表：p∨q.pqTTTFFTFFFTTF5、关于选言支穷尽的问题所谓选言支穷尽，就是指选言命题陈述了事物的全部可能情况。所谓选言支不穷尽，就是指选言命题没有陈述事物的全部可能情况。1.一家银行被抢，嫌疑犯有几个，罪犯或者是A，或者是B，或者是C。2.小张或者是河南人，或者是山东人，或者是河北人。一个选言命题，如果选言支穷尽，它就一定是真的，但是，一个真的选言命题，其选言支不一定是穷尽的。

逻辑学复合命题

（三）假言命题1、假言命题：陈述某一事物情况是另一事物情况存在的条件的复合命题。1.如果天下雨，那么地面就湿。2.只有各科成绩都合格，才能顺利毕业。3.他犯了罪当且仅当他应受刑罚处罚。逻辑学复合命题2、假言命题的结构：

假言命题的构成支命题假言联结词前件后件充分条件假言联结词必要条件假言联结词充分必要条件假言联结词逻辑学复合命题3、充分条件假言命题（1）充分条件假言命题：前件所陈述事物情况是后件所陈述事物情况的充分条件的假言命题。有之必然，无之未必然。如果一个人的行为是犯罪，那么这个人的行为就有社会危害性。如果天下雨，那么地面湿。联结词前件后件（2）充分条件假言命题的结构：联结词前件后件逻辑特征逻辑学复合命题在自然语言中，表达充分条件假言联结词的语词：

“如果……那么……”、“只要……就……”、“倘若……则……”、“假使……那么……”、“当……就……”等等。

现代逻辑一般用“→”表达充分条件假言联结词，读作“蕴涵”。如果用p表示前件，q表示后件，则充分条件假言命题的命题形式：如果P，那么q蕴涵式：p→q逻辑学复合命题（3）充分条件假言命题的逻辑特征：一个充分条件假言命题，只有当前件真而后件假时，它是假的，其余情况下都是真的。例如：如果天下雨，那么地面湿。逻辑学复合命题P→Q的真值表：pqp→qTTTFFTFFTFTT4、必要条件假言命题（1）必要条件假言命题就是指陈述某事物情况是另一事物情况存在的必要条件的假言命题。

有之未必然，无之比不然。只有各科成绩都合格，才能顺利毕业。

前件后件只有有电，电灯才亮。（2）必要条件假言命题的结构：联结词前件后件逻辑学复合命题在自然语言中，表达必要条件假言联结词的语词：“只有……才……”、“没有……，就没有……”、“除非……，才……”等等。现代逻辑一般用“←”表达，读作“逆蕴涵”。如果用p表示前件，q表示后件，则必要条件假言命题的命题形式：只有P，才qP←q或：﹁P→﹁q逻辑学复合命题（3）必要条件假言命题的逻辑特征：一个必要条件假言命题，只有当前件假而后件真时，该命题才假，其余情况下，它都是真的。只有有电，电灯才亮。

逻辑学复合命题P←Q的真值表：pqP←qTTTTTTTFFFFF

5、充分必要条件假言命题充分必要条件假言命题是指前件所陈述的事物情况是后件所陈述的事物情况的既充分又必要的条件的假言命题。

有前件必有后件，无前件必无后件

，有后件必有前件，无后件必无前件。例如：一个数是偶数当且仅当这个数能被2整除。逻辑学复合命题自然语言中，表达充分必要条件假言联结词的语词：“当且仅当”、“如果……则……；并且，只有……才……”等现代逻辑中，一般用“

”表示，读作“等值”

如果用p表示前件，q表示后件，则充分必要条件假言命题的命题形式：P当且仅当qPq逻辑学复合命题充分必要条件假言命题的逻辑特征：只有当前、后件的真假情况完全相同时，充分必要条件假言命题才真，反之，则假。

逻辑学复合命题PQ的真值表：

pqTTTTTTFFFFFFpq（四）负命题及其等值命题1、负命题概述负命题就是陈述某个命题不成立的命题，也就是否定某个命题的命题。

1.并非所有的合同都是有效合同。

2.所有法律都是善法，这是假的。

3.并非某甲既犯贪污罪又犯盗窃罪。2、负命题的结构：否定联结词支命题逻辑学复合命题在自然语言中，表达否定联结词的语词：“并非……”、“没有……”、“不是……”、“……这是假的”、“……这是错误的”等。现代逻辑一般用“﹁”或“～”或“－”等表达，读作“并非”如果用p表示支命题，则负命题的基本命题形式：并非p即﹁p逻辑学复合命题2、负命题的种类负命题简单命题的负命题复合命题的负命题3、负命题的逻辑特征：当支命题为真时，负命题为假；当支命题为假时，负命题为真。逻辑学复合命题

﹁P的真值表：﹁ppTFFT

四、复合命题的真值形式（一）构成命题变项+真值联结词

如：命题变项：p、q、r、s、……

基本真值联结词：

﹁、∧、∨、→、、……在这些基本的真值联结词中，（﹁、∧）、（﹁、∨）、（﹁、→）中任意一组，都可以定义其它的基本真值联结词，进而可以定义任意一个真值联结词。例如：写出下列复合命题的真值形式：明知自己的行为会发生危害社会的结果，并且希望或者放任这种结果发生，因而构成犯罪的，是故意犯罪。

“明知自己的行为会发生危害社会的结果”用p表示，“希望这种结果发生”用其表示，“放任这种结果发生”用r表示，“是故意犯罪”用s表示。逻辑学复合命题这个命题的真值形式：（二）真值形式的种类及其判定1、真值形式的种类真值形式重言式矛盾式非重言的可真式命题变项在任意赋值下都真命题变项在任意赋值下都假命题变项在有的赋值下真，而在另外的赋值下假逻辑学复合命题例如：2、真值形式的判定（1）真值表方法真值表方法可以用来判定重言式、矛盾式、非重言的可真式和真值形式之间是否等值。判定下列命题是否等值1、﹃p∨﹃q与﹃（p∧q）2、（p∧q）→r与p∨（q→r）（2）归谬赋值法归谬赋值法是一种简化真值表法，一般用来判定一个蕴涵式是否为重言式。

第三节复合命题推理一、推理概述（一）推理及其结构推理是一个包含特殊词项的命题集合，根据这样的词项，我们可以区分出前提和结论。

例如果某甲是完全民事行为能力人，则某甲应对自己的行为承担责任，某甲是完全民事行为能力人，所以，某甲应对自己的行为承担责任。推理的构成：前提结论逻辑学复合命题（二）推理的分类★推理｛演绎推理非演绎推理｛简单命题推理复合命题推理｛关系命题推理直言命题推理联言推理选言推理假言推理负命题推理逻辑学复合命题非演绎推理归纳推理类比推理溯因推理假设演绎推理完全归纳推理不完全归纳推理求因果五法逻辑学复合命题（三）推理的形式有效性当前提真时，结论必真，不会出现前提为真而结论为假的情况，这样的演绎推理形式被称作有效式（有效推理形式）

p→qP∴q不能保证前提真而结论真的推理形式，就是无效式。

有效推理形式的判定：一个推理是有效的当且仅当这个推理符合该种推理的规则逻辑学复合命题

例如：A.如果甲作案，那么他一定有作案动机；事实上，甲没有作案动机；所以，甲没有作案。推理形式：pq或命题推理有效性的判定标准：一个命题推理是有效的，当且仅当它的真值形式是重言的蕴涵式。命题推理有效性的判定方法：真值表方法和归谬法。逻辑学复合命题二、几种基本命题推理（一）联言推理联言推理就是前提或结论是联言命题，并根据联言命题的逻辑特征进行推理的复合命题推理。1、联言推理的分解式联言推理的分解式：由联言命题真，推出部分支命题真的联言推理形式。包括：分解式和组合式逻辑学复合命题推理形式：p并且q所以，p或p并且q所以，q合取式：p∧q∴pp∧q∴q真值表(p∧q)→p(p∧q)→q逻辑学复合命题

例组：1.法律具有阶级性和客观性，所以，法律具有阶级性。2.张三不但学习努力，而且成绩优异。所以，张三学习努力。逻辑学复合命题2、联言推理的组合式

联言推理的组合式：由若干命题真推出由这些命题构成的联言命题真的联言推理形式。

推理形式：

pq

∴p∧qP，q→p∧q真值表逻辑学复合命题

例组：1.建设社会主义法制是实现现代化的需要，建设社会主义市场经济是实现现代化的需要，所以，建设社会主义法制和建设社会主义市场经济都是实现现代化的需要。

2.作为一名合格的律师，掌握民事法律知识是必要的，作为一名合格的律师，掌握刑事法律知识是必要的，作为一名合格的律师，掌握诉讼法律知识是必要的，所以，作为一名合格的律师，掌握民事法律知识、刑事法律知识和诉讼法律知识是必要的。逻辑学复合命题（二）选言推理选言推理：前提中有一个是选言命题，并根据选言命题的逻辑特征进行推理的复合命题推理。1、相容选言推理相容选言推理：有一个前提是相容选言命题，并根据相容选言命题的逻辑特征进行推理的选言推理。根据相容选言命题的逻辑特征，可知推理规则：（1）否定一部分选言支，必然要肯定另一部分选言支。（2）肯定一部分选言支，不能必然否定另一部分选言支。

逻辑学复合命题否定肯定式：

P或者q非P所以，q

形式化的推理形式：p∨q﹃p∴q蕴涵式：(p∨q)∧﹁p→q规则逻辑学复合命题

练（是否有效）：1.这支灯管不亮或者是由于没有电，或者是由于线路不通。今天有电所以，这支灯管不亮是由于线路不通。2.某同学学习成绩好，或者因为他聪明，或者因为他勤奋。某同学学习成绩好是因为他聪明；所以，这位同学不勤奋。逻辑学复合命题2、不相容选言推理

不相容选言推理是有一个前提是不相容选言命题，并根据不相容选言命题的逻辑特征进行推理的选言推理。

根据不相容选言命题的逻辑特征，可得如下推理规则：①肯定一个选言支，就要否定其它的选言支。②否定一部分选言支，就要肯定余下的那个选言支。否定肯定式肯定否定式逻辑学复合命题①肯定否定式：要么P，要么qP所以，非q形式化推理形式：p∨qP∴﹁q.

蕴涵式：（p∨q）∧P→﹁q规则.逻辑学复合命题②否定肯定式要么P，要么q非P所以，q形式化推理形式：p∨q﹁p∴q蕴涵形式；（p∨q）∧﹁p→q..规则逻辑学复合命题

练（是否有效）：1.要么武松打死老虎，要么老虎吃掉武松，武松打死了老虎；所以，老虎没有吃掉武松。2.这场足球决赛，不是中国队赢，就是乌兹别克斯坦赢；这场足球决赛，中国队输了；所以，这场足球决赛乌兹别克斯坦赢了。逻辑学复合命题（三）假言推理假言推理：前提中有一个假言命题，并根据假言命题的逻辑特征进行推理的复合命题推理。1、充分条件假言推理充分条件假言推理：前提中有一个充分条件假言命题，并根据充分条件假言命题的逻辑特征进行推理的假言推理。逻辑学复合命题根据充分条件假言命题的逻辑特征，推理规则：（1）肯定前件必然肯定后件；（2）否定前件不能必然否定后件；（3）肯定后件不能必然肯定前件；（4）否定后件必然否定前件。否定后件肯定前件逻辑学复合命题

有效推理形式：

（1）肯定前件式：如果P，那么qP

所以，qp→qP∴q形式化（p→q）∧p→q规则逻辑学复合命题例如：如果天下雨，那么地面湿,天下雨；所以，地面湿。逻辑学复合命题（2）否定后件式：如果P，那么q

非q

所以，非P规则形式化表达：p→q﹁q∴﹁p(p→q)∧﹁q→﹁p逻辑学复合命题例如：如果天下雨，那么地面湿，地面没有湿；所以，天没有下雨。

逻辑学复合命题2、必要条件假言推理必要条件假言推理是前提中有一个必要条件假言命题，并根据必要条件假言命题的逻辑特征进行推理的假言推理。根据必要条件假言命题的逻辑特征，可得到推理规则：（1）肯定前件不能必然肯定后件；（2）否定前件必然否定后件；（3）肯定后件必然肯定前件；（4）否定后件不能必然否定前件。肯定后件否定前件逻辑学复合命题

有效推理形式：（1）否定前件式：只有P，才q非P所以，非q规则形式化表达：p←q﹁p∴﹁q(p←q)∧﹁p→﹁q逻辑学复合命题例如：只有年满18周岁，才有选举权；他未满18周岁；所以，他没有选举权。逻辑学复合命题（2）肯定后件式：只有P，才qq所以，P规则形式化表达：p←qq∴p(p←q)∧q→p逻辑学复合命题例如：只有年满18周岁，才有选举权；他有选举权；所以，他年满18周岁。逻辑学复合命题3、充分必要条件假言推理充分必要条件假言推理是前提中有一个充分必要条件假言命题，并根据充分必要条件假言命题的逻辑特征进行推理的假言推理。根据充分必要条件假言命题的逻辑特征，有推理规则：（1）肯定前件必然肯定后件；（2）否定前件必然否定后件；（3）肯定后件必然肯定前件；（4）否后件必然否定前件。否定后件肯定后件肯定前件否定前件逻辑学复合命题有效推理形式：

（1）肯定前件式：

P当且仅当Q

P

所以，Q

形式化表达：PqP∴q(Pq)∧P→q（2）否定前件式：

P当且仅当q

非P

所以，非q形式化：Pq﹁p∴﹁q

规则逻辑学复合命题（3）肯定后件式：P当且仅当qq所以，P形式化：Pqq∴p规则逻辑学复合命题（4）否定后件式：P当且仅当q

非q所以，非P

形式化：Pq﹁q∴﹁p规则逻辑学复合命题3、假言选言推理（二难推理）

（1）什么是假言选言推理假言选推理：由假言命题和一个相容选言命题作前提构成的推理。其中假言前提的数量与选言前提所含的选言支数量相同。由两个假言命题和一个二支选言命题作为前提构成的推理。由于这种推理的突出作用是在论辩中可置论敌于左右为难的境地，所以，又称它为“二难推理”。逻辑学复合命题（2）种类A.简单构成式

p→rq→rp∨q∴r例如：“半费之讼”逻辑学复合命题B.简单破坏式

p→qp→r﹁q∨﹁r∴﹁p逻辑学复合命题

例：如果某人犯抢劫罪，则他有危害社会的行为：如果某人犯抢劫罪，则他有危害社会的行为所引起的后果；某人或者没有危害社会的行为，或者没有危害社会的行为所引起的后果。所以，某人没有犯抢劫罪。逻辑学复合命题C.复杂构成式

p→qr→sp∨r∴q∨s逻辑学复合命题

例：如果他的意见正确的，那么你应当表示接受；如果他的意见是错误的，那么你应当表示反对；他的意见或是正确的，或是错误的；所以，你或是应当表示接受，或是应当表示反对。逻辑学复合命题D.复杂破坏式

p→qr→s﹁q∨﹁s∴﹁p∨﹁r逻辑学复合命题三、命题逻辑的自然推理（一）概念确定一些基本推理规则（具有保真性），根据这些规则从真前提只能得到真结论。（二）命题自然推理规则命题自然推理规则有四条：1、规则P：在一个推导的任意一步都可引入一个前提。2、规则T：如果在一个推导中有一些先行命题的合取重言地蕴涵命题A，则可以在该推导中引入命题A----推导规则。逻辑学复合命题推导规则：（1）蕴涵消去规则即分离规则（→—）：从A和A→B，可推出B。（2）合曲引入规则（∧+）：从A和B，可推出A∧B。（3）合取消去规则（∧—

）：从A∧B，既可推出A也可推出B。逻辑学复合命题（4）析取引入规则（∨+）：从A，可推出A∨B。（5）析取消去规则（∨—

）：从A∨B和﹁A，可推出B。（6）等值引入规则（+）：从A→B和B→A，可推出AB。（7）等值消去规则（—）：从AB，可推出A→B和B→A。（8）假言三段论规则（H．S）：从A→B和B→C，可推出A→C。（9）假言易位规则（H．T）：从A→B，可推出﹁B→﹁A。（10）二难推理规则（D．C）：从A→C、B→C和A∨B,可推出C；从A→C、B→D和C∨D,可推出C。逻辑学复合命题（11）双否引入规则（﹁﹁+）：从A，可推出﹁﹁A。（12）双否消去规则（﹁﹁—）：从﹁﹁A，可推出A。（13）否定引入规则（﹁+）：从A推出B∧﹁B，则可推出﹁A。（14）否定消去规则（﹁—）：从﹁A推出B∧﹁B，则可推出A。逻辑学复合命题3、规则D：如果从命题A能推出命题B，那么就可得出结论“A→B”——蕴涵引入规则（简基为→+）。4、规则R．P：任意两个彼此等值的命题可以互相替换——等值替换规则。逻辑学复合命题等值替换规则：（1）交换律：

p∧q≡q∧pp∨q≡q∨p（2）结合律：

(p∧q)∧r≡p∧(q∧r)(p∨q)∨r≡p∨(q∨r)逻辑学复合命题（3）德摩根律：

﹁(p∧q)≡﹁p∨﹁q﹁(p∨q)≡﹁p∧﹁q（4）分配律：

p∧(q∨r)≡(p∧q)∨(p∧r)p∨(q∧r)≡(p∨q)∧(p∨r)逻辑学复合命