法律逻辑学第五章.pptVIP

  • 20
  • 0
  • 约2.09万字
  • 约 100页
  • 2022-05-26 发布于重庆
  • 举报
(二)必要条件假言命题1、定义:反映一事物情况是另一事物情况存在的必要条件的假言命题。例:①只有构成违法,才能构成犯罪。②公民只有年满18岁,才有选举权。问:从上例可看必要条件的特点有什么? 777777777777777777777777777 * p是q的必要条件——根据3、4,无p必定无q;根据1、2有p未必有q。实质:在于仅仅缺少此一(组)条件就无法产生相应的结果,即使其他条件具备。2、结构:只有p才q;p?q(读作“p逆蕴涵q”)3、自然语句:只有,才;除非,不;没有,就没有; 777777777777777777777777777 * 4、必要条件假言命题的逻辑特性:例:只有一个人年满18周岁,他才有选取权 777777777777777777777777777 * 777777777777777777777777777 * (三)充分必要条件假言命题1、定义:反映一事物情况是另一事物情况的存在的充分且必要条件命题。例:①当且仅当公民满18岁,则是成年人。②当且仅当三角形的边相等,三角形的角才是相等的。问:从上例可看充要条件的特点有什么? 777777777777777777777777777 * 充要条件的特点:充分条件:有p必要q,无p未必无q;必要条件:有p未必有q,无p未必无q——充要条件:有p必有q,无p必无q(p等值于q)2、结构:当且仅当p才q;??(读作:p等值蕴涵q)3、自然语句:当且仅当,则;如果,则;如果不,则不 777777777777777777777777777 * 真值:前后件同真假,则??真 777777777777777777777777777 * 随堂练习三试分析以下命题属于何种假言命题?1、不入虎穴,焉得虎子?2、只要某人构成间谍罪,那他就有危害国家安全的目的。3、一个三角形是直角三角形当且仅当它的斜边的平方等于两边的平方和。4、他犯了罪,应受刑罚处罚。5、某甲是中国公民,他具有中国国籍。 777777777777777777777777777 * 一、负命题及其等值式(一)负命题概述1、定义:否定某个命题的命题2、结构:并非p;?p(读作并非p)3、自然语言:并非;并不是;是假的;是不对的; 777777777777777777777777777 * 逻辑真值:负命题真,当且仅当原命题假 因此有双重否定律:p????p 777777777777777777777777777 * 注:“等值式”又可称作“等值推理” 777777777777777777777777777 * 2、复合命题的负命题及其等值式(等值推理)(1)联言命题?(p∧q )?? (? p∨?q)(否定合取得析取,分配否定到变项)(2)选言命题?(p∨q )?? (? p∧?q)(否定析取得合取,分配否定到变项)(1)、(2)又叫德摩根律 777777777777777777777777777 * 4.看得到赋值后的任一变项是否必然矛盾; 5.若至少有一变项的赋值必然矛盾,则原公式是重言式,它表达的推理是有效的;否则不是重言式,相应的推理是无效的。 第九十四页,共一百页。 第一步: ((p ? q)∧? q)? ? p 第二步:假设蕴涵式为假 ((p ? q)∧? q)? ? p F 第九十五页,共一百页。 第三步:给变项赋值 ((p ? q)∧? q)? ? p F T F T T F F F T 或者另一种可能 T T T T T F F F T 第九十六页,共一百页。 第四步:判定。变项p的赋值矛盾,所以该公式是重言式,对应的推理是有效的。 例如: ((p ∧ q )? r)? (? r ∧ p)? ? q ) 第九十七页,共一百页。 随堂练习 1.列出A、B、C三命题的真值表,并回答当A、B、C三命题恰有一个为真时,甲是否是凶手? A.如果甲不是凶手,则乙是凶手。 B.如果乙不是凶手,则甲不是凶手。 C.甲不是凶手,且乙不是凶手。 第九十八页,共一百页。 2.请用真值表方法判定下列命题是否具有等值关系。 (1)如果你不能进入操作系统,那么这计算机就不是你的。 (2)只有这计算机不是你的,你才不能进入操作系统。 (3)并非这计算机是你的,并且你不能进入操作系统。 第九十九页,共一百页。 内容总结 第五章 复合命题及其应用。例:张某去过作案现场,而李某没有去过作案现场。根据2、3,则无p未必无q。实质:在于仅仅此一(组)条件就足以产生相应的结果,无须考虑其他条件。他也可以说(6)如果我有一亿美元,我不会分一半给你。条件公式:如果x﹤2,那么x﹤4。实质:在于仅仅缺少此一(组)条件就无法产生相应的结

文档评论(0)

1亿VIP精品文档

相关文档