对应自然语词: “如果…那么”、“只要…就”、若…必”等。 用p和q分别前件和后件,充分条件假言命题的逻辑形式为: p → q(读作“p蕴涵q”),称为“蕴涵式”。 3)真值表: p T T F F q T F T F p→q T F T T 4)逻辑特性:只有当其前件真而后件假时,该充分条件 假言命题才是假的。 据此,蕴涵词“→ ”可定义为:p→q是真的当且仅当 并非P真而q假 【例1】如果没有下雨,那么我现在就在图书馆看书了。 【例2】如果地球有翅膀,那么地球会飞。 其前件和后件都为假,充分条件假言命题取值为真。 【例3】如果地球有翅膀,那么地球存在。 其前件为假,后件为真,充分条件假言命题取值为真。 【例4】如果我今天发了工资,那么晚上我就请大家吃饭。 什么时候可以说我违反了承诺? 【例1】如果小王过来,那么小李会来 小王过来了 小李会来 【例2】如果要当一名合格的教师,就要懂得教育学 某人对教育学一窍不通 他不能成为一名合格的教师 【例3】如果小王骄傲自满,那么他会落后 小王落后了 小王骄傲自满 【例4】如果小王骄傲自满,那么他会落后 小王不骄傲自满 小王不会落后 3.充分条件假言连锁推理 肯定式(现代逻辑称之为“假言三段论”):(p→q)∧ (q→r)→(p→r)。这实质上是充分条件假言推理肯定 前件式的推广运用。 【例】如果乱砍滥伐森林,就会破坏生态平衡;如果破坏生 态平衡,就会受到大自然的惩罚;所以,如果乱砍滥伐森 林,就会受到大自然的惩罚。 否定式(也称为“假言归谬推理”):(p→q)∧(q→r )→(¬ r→¬p)。这实质上充分条件假言推理否定后件式 的推广运用。 【例】名不正,则言不顺;言不顺,则事不成;事不成,则 礼乐不兴;礼乐不兴,则刑罚不中;刑罚不中,则民无所 措手足。因此,若欲使民手足有措,则应正名。 2.结构: 假言命题的肢命题有且只有两个: ——前件:断定条件的肢命题 ——后件:断定依赖条件而成立的命题 假言命题的命题联结词有三种,分别反映三种不同的条件关系: 充分条件、必要条件和充分必要条件。 3. 种类:充分条件假言命题、必要条件假言命题和充分必要条件假 言命题。 4.假言命题推理:前提中包含假言命题,并且依据假言命题的逻辑 性质来进行推演的推理。 第四节 假言命题及其推理 一、什么是假言命题 1.定义:断定事物情况之间条件关系的命题。 【例1】如果一个人骄傲自满,他就会落后。 【例2】只有年满十八岁的人,才有选举权。 【例3】如果三角形两底角相等,则它是等腰三角形。 【例4】如果娶到一个坏老婆,你就会成为一位哲学家。 【例5】锲而不舍,金石可镂。 【例6】人心齐,泰山移。 3)真值表: p T q T p←q T T F F F T F TFra Baidu bibliotek F T 4)逻辑特性:只有当前件假而后件真时,整个 必要条件假言命题才是假的。 据此,逆蕴涵词“←”可定义为:p ← q 是真 的当且仅当并非p假而q真 2.必要条件假言推理 1)必要条件假言推理:以必要条件假言命题作为前提之 一、并根据必要条件假言命题的逻辑特性进行推演的 演绎推理。 2)两种有效式:否定前件式 肯定后件式 推理形式: p ← q p←q ~p q ~q p 横写式:(p ← q) ∧~p→~q; (p ← q) ∧ q → p 3)逻辑根据:必要条件假言命题的真值表