[自然科学]形式逻辑学ppt课件.ppt

《[自然科学]形式逻辑学ppt课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、假言命题举例1如果我有翅膀，我就能飞。2如果某甲是本案作案人，那么他具有作案时间。3只有你正视自己的无知，你才能扩展自己的知识。构成假言联结词：“如果…那么”，“只有…，才”。肢命题：分别称为前件和后件。性质：只陈述前件是后件的某种条件，并未分别陈述前件和后件各自的真假。在逻辑上，前件和后件表现为假设（或理由）和推断关系。前件表示假设（或理由），后件表示推断。第七章：复合命题及其推理（二）联结词“如果…，那么…”陈述前件是后件的充分条件，如：1如果角A和角B是对顶角，那么角A和角B相等。2如果眼下寒冬来临，那么离春天就不远了。逻辑形式：如果

2、p，那么q符号公式：pq“”是蕴涵符号，“pq”：p蕴涵q。充分条件假言命题充分条件假言命题真值表pq的真值表pqpq111100011001只有当前件真而后件假时，pq才假。充分条件假言命题推理前后件真假关系的四种情况（一个真的充分条件假言命题）1、前件真，后件必真。2、后件假时，前件必假；3、前件假时，后件可真可假；4、后件真时，前件可真可假。充分条件假言命题推理II推理遵循四条规则：1、肯定前件就要肯定后件；2、否定后件就要否定前件；3、否定前件不能否定后件；4、肯定后件不能肯定前件。肯定前件式和否定后件式。1肯定前件式如

3、果p，那么q;p；所以，q。符号表示：pq,p⊢q。充分条件假言命题推理有效式如果某甲的行为构成过失杀人罪，那么他得被判处五年以下有期徒刑。某甲的行为构成了过失杀人罪，所以，某甲将被判处五年以下有期徒刑。肯定前件式举例2否定后件式：如果p，那么q;非q;所以，非p.符号表示：pq，q┣p如：如果那棵菩提树没有获得适当的水分，则它会枯死，那棵菩提树并未枯死；所以，那棵菩提树获得了适当的水分。充分条件假言命题推理有效式（II）a.如果天下雨，那么马路湿，天没有下雨；所以，马路不湿。b.如果角A和角B是对顶角，那么角A和角B相等；角A和角

4、B相等；所以角A和角B是对顶角。a为否定前件，b为肯定后件充分条件假言命题推理无效式举例充分条件假言命题小故事校长的话甲：“假如校长不收回他今天早晨说过的话，我就离开学校。”乙：“他说什么了？”甲：“他叫我离开学校。”哲学试题问题：如果这是问题，请回答。有学生答：如果这是答案，请评分。联结词“只有……，才……”例：只有角A和角B相等，角A和角B才是对顶角。只有小王的高考成绩上线，小王才会被高校录取。逻辑形式：只有p，才q又称逆蕴涵式，公式表示：pq“”：逆蕴涵符号，“pq”：p逆蕴涵q.必要条件假言命题必要条件假言命题真值表pq的真

5、值表pqpq111101010001只有当p假q真时，pq才为假。陈述“前件假时，后件必假”，不具有“前件假而后件真”。前后件之间的真假关系（一个为真的必要条件假言命题）（1）前件假时，后件必假；（2）后件真时，前件必真；（3）前件真时，后件可真可假；（4）后件假时，前件可真可假。必要条件假言推理推理必须遵守如下四条规则：（1）否定前件就要否定后件；（2）肯定后件就要肯定前件；（3）肯定前件不能肯定后件；（4）否定后件不能否定前件。所以只有两个有效式：否定前件式和肯定后件式。必要条件假言推理II1否定前件式形式为：只有p，才q，非p；所

6、以，非q。符号表示为：pq，p┣q。如：只有小王的高考成绩上线，小王才会被高校录取；小王的高考成绩并未上线；所以，小王不会被高校录取。必要条件假言推理有效式2肯定后件式形式为：只有p，才q；q；所以，p。符号表示为：pq，q┣p。例如：只有这个死者是进食后不久死亡的，其胃内才会有大量未消化的食物；这个死者的胃内有大量未消化的食物；所以，这个死者是进食后不久死亡的。必要条件假言推理有效式注意：肯定前件式和否定后件式都是无效式。必要条件推理无效式举例1、只有某甲具有杀人的故意，某甲才犯故意杀人罪，某甲具有杀人的故意；所以，某甲犯了故意杀

7、人罪。（肯定前件式）2、只有某乙年满十八岁，某乙才有选举权，某乙没有选举权；所以，某乙没满十八岁。（否定后件时）必要条件假言推理无效式必要条件命题和推理小故事不会错“大夫，我的嗓子疼。”“张嘴看看。噢，行了，扁桃体发炎了。吃点药吧！”“不会吧？”“不会错！”“我的扁桃体三年前就割掉了。”必要条件命题和推理小故事II在公共汽车上“真高，真漂亮！”一位老大爷指着车窗外掠过的一栋栋高楼说。“爷爷，咱们干嘛不住到这儿来？”他身旁的小孙子问。“等你长大了好好念书。只有念书念得好，才能住进这样漂亮的高楼。”“爷爷，你一定没有好好学习。”联结词：“……当

8、且仅当……”，前后件互为充分必要条件。1.三角形ABC是等边的，当且仅当它是等角的。2.今天是星期一，当且仅当明天是星期二。日常语言用合取形式表达：如果p那么q，并且只有p才q。