法逻-期末复习资料.ppt

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

换质位公式 换质位的公式如下: SAP →SEP →PES ? SEP→SAP→P I S ? SOP→S I P→P I S ? SIP不能换质位,因为SIP换质后得到的是SOP,而O判断是不能换位的。 关系的对称性 ⒈对称关系: “a Rb”真,则 “b Ra”亦真。 ⒉反对称关系: “a Rb”真,则 “b Ra”必假。 ⒊非对称关系: “a Rb”真,则 “b Ra” 真假不定。 9、关系判断及其推理 关系的传递性: ⒈传递关系: “a Rb”真且“b Rc” 真, 则“a Rc”亦真。 ⒉反传递关系: “a Rb”真且“b Rc” 真, 则“a Rc”必假。 ⒊非传递关系: “a Rb”真且“b Rc” 真, 则“a Rc”真假不定。 规则1 :在一个三段论中只能含有三个项。(四名词错误) 规则2 :中项在前提中至少周延一次。(中项不周延) 规则3 :前提中不周延的词项在结论中不得周延。 (小项不当周延或大项不当周延) 规则4 :从两个否定的前提推不出结论。如果前提有一否定,则结论否定。如果结论是否定的,则必有一前提是否定的。 否则“两否定推结论” 规则5 :两个特称前提无结论。如果两个前提中有一个是特称的,则结论也一定是特称的。 10、三段论的规则 (1)联言判断 分解式:(p∧q)→ p 合成式: (p,q)→(p∧q) (2)选言判断 根据选言判断的肢判断(选言肢Disjunct)是否相容,选言判断分为两种:相容选言判断和不相容选言判断。 11、复合判断及其推理 注意:在相容选言判断中,肢判断所表达的内容至少有一种存在,但也可以同时存在。 1、小强发烧或者是由于感冒,或者是由于肺炎。 2、张欢的父亲或者是一位教授,或者是一位小说家。 3、老张是诗人,或是画家。 注意:在不相容选言判断中,肢判断所表达的内容至少有一种存在,但不能同时存在。 1、老张要么是四川人,要么是湖南人。 2、要么与我们站在一起去反对恐怖主义,那么你是我们的朋友;要么不与我们站在一起,那么你是我们的敌人。——美国在遭受911恐怖袭击后采取了这样的政策。 注意:“或者”和“要么”不是区别选言判断相容与否的唯一标志。 有时日常语言并不那么规范: 1、任一自然数或者是偶数,或者是奇数。 2、今天是周一或是周二。 相容选言推理的有效式: p∨q p∨q ?p 或 ?q q p 其中,“?”表示对支命题的否定。上式被称作“否定肯定式”。 (推理基础在于相容关系选言判断的两个肢不能都假) 不相容选言推理的有效式: 肯定否定式 小张现在不是在北京,就是在广州。 小张现在是在北京, 所以,小张现在不在广州。 (1)充分条件假言判断及其推理: 充分条件假言判断的联结词通常用“如果,那么”来表示。其判断形式为: 如果p,那么q 充分条件假言判断联结词“如果,那么”,可用符号“→”表示。因此,“如果p,那么q”又可表示为: p→q 3、假言判断及其推理 第一、肯定前件一定肯定后件。 第二、否定前件不一定否定后件。 第三、肯定后件不一定肯定前件。 第四,否定后件一定否定前件。 充分条件假言判断的前后件关系: 必要条件假言判断是指前件是后件的必要条件的假言判断。 在日常语言中,其表述方式也有很多: 1、除非通过考试,否则不予录取。 2、只有明天天晴,我们才去郊游。 3、做学问是一门笨功夫,只有坚持不懈,才能有所成就。 4、若要人不知,除非己莫为。(这相当于说:只有己莫为,才会人不知。) (2)必要条件假言判断及其推理 第一,肯定前件不一定肯定后件; 第二,否定前件一定否定后件; 第三,肯定后件一定肯定前件; 第四,否定后件不一定否定后件。 必要条件假言判断的前后件关系: 充分条件假言推理: 肯定前件式; 否定后件式 必要条件假言推理: 否定前件式; 肯定后件式 几个重要的有效式 (1)完全归纳推理: 完全归纳推理是通过对一类事物中的每一对象进行研究,从而概括出关于这类对象的一般性结论的推理形式。 因为完全归纳推理的结论所断定的范

文档评论(0)

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

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

1亿VIP精品文档

相关文档