法律逻辑第五章复合命题课件.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多

法律逻辑课件

第五章复合命题;一、复合命题概述;〔1〕逻辑变项

肢命题:作为复合命题直接构成成分的命题

记作p,q,r……;p1、p2……pn

〔2〕逻辑常项

逻辑联结词:联结肢命题的概念;3.五种常用的逻辑联结词;4.复合命题的真假值与真值表;甲是四川人,并且,乙是四川人;;4.2.复合命题的真值表

用来定义、显示、判定复合命题真值的逻辑图表,叫做真值表。;二、负命题与直言命题的负命题;2.负命题的典型模式;3.负命题的常见非标准语句表达式;4.负命题的真值表及其逻辑性质;;6.直言命题的负命题及其等值命题;三、联言命题;2.逻辑结构与典型模式;3.常见非标准语句表达式;;;4.联言命题的真值表及其逻辑性质;p;●假设〔A∧~B∧C〕为真,那么可知:

①~A为〔 〕;

②〔B∧D〕为〔 〕;

③〔C∧~E〕为〔 〕。;5.合取交换律〔补充〕;四、选言命题;2.逻辑结构与典型模式;3.常见非标准语句表达式;〔2〕“S只有N种可能,即:S1、S2……Sn〞句式

表达一个N肢的选言命题;

例如:

罗×被害的原因只有几种可能,即仇杀、情杀、财杀或者误杀

假设令p=罗××被害的原因是仇杀

q=罗××被害的原因是情杀

r=罗××被害的原因是财杀

s=罗××被害的原因是误杀

那么其逻辑形式为:〔p∨q∨r∨s〕;〔3〕“可能p,也可能q〞句式表达〔p∨q〕

例如:

①凶手可能是李×,也可能是张×,还可能是刘×

②该案可能是外盗,也可能是内外勾结盗

〔4〕“要么p,要么q〞句式表达〔p∨q〕。

例如:

①你要么进来,要么出去。

②国内多数生产的厂商要么兼并,要么收购,要么为国外大型集团打工。;4.选言命题的真值表及其逻辑性质;p;◆〔1〕假设〔A∨B∨~C〕为假,那么可知:

①〔~A∧C〕为〔 〕;

②〔B∨D〕为〔 〕;

③〔C∨E〕为〔 〕。;〔2〕假设〔A∨B∨C〕为真,且A假,B假,

那么可知C为〔 〕。

〔3〕假设〔A∨B∨C〕为真,且A真,B真,

那么可知C为〔 〕。;5.析取交换律;6.选言命题、联言命题的负命题与德·摩根律;“p并且q〞是假的;联言命题的负命题、选言命题的负命题及其等值式,是英国逻辑学家德·摩根〔1806-1871〕最先提出的一双对偶关联定理,数学、逻辑学中通称“德·摩根律〞。

~〔p∧q〕←→〔~p∨~q〕

~〔p∨q〕←→〔~p∧~q〕;7.关于不相容选言命题;8.关于“选言肢是否穷尽〞的问题;9.关于析取引入律〔附加律〕;五、假言命题;2.逻辑结构;3.客观事物情况间的条件制约关系;3.2.必要条件

“无之必不然〞

两种事物情况p和q,假设无p就必无q,那么p就是q的必要条件,二者之间具有必要条件关系。

例如:

有空气〔p〕,有生命〔q〕

有作案时间〔p〕,作案〔q〕

必要条件的实质在于:

没有这一条件就绝不会出现某一结果;;3.4.既不充分又不必要条件

“有之未必然,无之未必不然〞

两种事物情况p和q,假设有p未必有q,且,无p未必无q,那么p既不是q的充分条件,也不是q的必要条件。

例如:

①吸烟〔p〕,患肺癌〔q〕

②甲爱吃辣椒〔p〕,甲是重庆人〔q〕;4.假言命题的类型;5.充分条件假言命题;5.2.典型模式

如果p,那么q;p→q

现代逻辑称“蕴涵式〞,因而充分条件假言命题也被称为“蕴涵命题〞。;5.3.常见非标准语句表达式;再如:

本案作案人不是张三,就是李四;〔3〕“假设p,那么q〞等句式表达〔p→q〕;

例如:

假设语言能够创造物质财富,那么最夸夸其谈的人就是世界上最富有的人。〔斯大林〕;〔4〕“假设p,那么q〞句式表达〔p→q〕。

例如:

①假设固守不变,那么是墨守成规。。

②谁假设不爱美酒、女人和歌,他就终身是个大傻瓜。〔马丁·路德〕;5.4.充分条件假言命题的真值表

及其逻辑性质;p;◆假设〔A∧B〕→C为假,那么可知:

①〔A∧B∧~C〕为〔 〕;

②〔~

文档评论(0)

ranfand + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档