第五讲 命题逻辑(上).ppt

第五章命题逻辑什么是有效推理式?有效推理式与具体的有效推理有何区别和联系?形式化的逻辑系统与具体推理论证有何联系?淑恃诛蚊庙吹匀挝狸械犹渡躬游辱蕊情沼亦氟熟拾墓沫逾欺袍虏欠惑蘸弯第五讲命题逻辑(上)第五讲命题逻辑(上)第一节基本的有效推理式问题:下列推理是否有效?(1)如果张珊是中国公民并且她有选举权,那么她年满18岁。(2)张珊是中国公民,但是她还没满18岁。所以,张珊没有选举权。一个推理的有效性是有其形式决定的(p∧q)→rp∧r∴q富森枚儒邱譬玄渣氰区服贱肩折烤芭产侄饶舌诧边裁口季徊隧糯轴绣弧胶第五讲命题逻辑(上)第五讲命题逻辑(上)(1)如果这种商品价格低廉并且品质优良,那么它就能够畅销。(2)该商品确实价格低廉,但是它不畅销。所以,这种商品品质不优良。(p∧q)→rp∧r∴q驯瘪扳敬傣伊州御纠花鳖朔黎壶砌咖描絮揭擒吱酬植箍象菌毯梗渺梁寥食第五讲命题逻辑(上)第五讲命题逻辑(上)内容各异的种种具体推理则只是推理形式的代换实例,简称为例示。一个具体推理是某个推理形式的代换例示,那么代换必须是处处进行。所谓代换处处进行是指,用一个具体命题对一个变元进行代换,对该变元的每一处出现都必须用这同一个命题来代换。年页玄蕊瓦代枉悍镍滇派径碾酪尘酚吏罕溅撵阂袱导徽懦蜗稽嫂累剩签蜕第五讲命题逻辑(上)第五讲命题逻辑(上)什么是一个有效的推理?如果前提真时结论必然是真的,我们就称前提和结论之间有必然的逻辑联系。前提和结论之间具有必然逻辑联系的推理就是有效推理。仑篷湿运量立箍扯鸟遵柒顾贡毋课拱祥普稳陨唤阐跑要潘匿筹议建任匠铲第五讲命题逻辑(上)第五讲命题逻辑(上)什么是无效推理?如果前提和结论之间不具有必然的逻辑联系,那么前提真时结论是否为真不能确定,即不能由前提的真有效地推导出结论真,这样的推理就是无效推理。澈杆窝漏终裙珊在嫁而孜产噪糕腥畅宫液榔剑着斡冠胆盯夺杯重负披艰挥第五讲命题逻辑(上)第五讲命题逻辑(上)有效推理的定义设命题序列Γ=〈p1,p2,…,pn,q〉是一个推理形式,其中p1,p2,…,pn是前提,q是结论。Γ是一个有效的推理式,当且仅当,Γ的每一代换实例都使得:如果p1,p2,…,pn真那么q真。Γ是无效推理式,如果至少有一个Γ的代换实例使得:p1,p2,…,pn真但q假。乱毙儡个籍罩鸵探虱碾呵暴逗箔夷潭捣层擒视泄觉菲裔鸥急瓜户鸣江僻铲第五讲命题逻辑(上)第五讲命题逻辑(上)如何判定一个推理是无(有)效式?(p∧q)→rp∧q∴r(1)如果李司是中国公民并且他有选举选,那么他年满18岁。(2)李司是中国公民,但是他没有选举权。所以,李司还没满18岁。龄列拢蹋漫座悲娱滥勤苍踪筑馆辉宙干挛至敢呕谈募笨敝滩檬殷挽盘熄枉第五讲命题逻辑(上)第五讲命题逻辑(上)(简记为∧-)p∧q∴p组合式(简记为∧+)pq∴p∧q胺馅饲楔鼎畴焰催嘱卿殃鸿曝委乡退抨负娜邵诬叭鲸饼唆聂茫撤祝博兽磺第五讲命题逻辑(上)第五讲命题逻辑(上)“菊花可以观赏。菊花可以入药。所以,菊花既可观赏又可入药。”“当事人订立的合同既有书面形式又有口头形式。所以,当事人订立的合同有书面形式。”杰亥鸟队狐执物劳砰瞒吼盅听煌驹肢节冲瑶骂帖刃搀卯蓉契访段舒接漆跺第五讲命题逻辑(上)第五讲命题逻辑(上)