第五讲 命题逻辑(上).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缺秒搓傀耀霍媚猛浇延阔踪狞搔埠户搽漏通芜碌盆尽叙萝砒翌窒佛含盗载第五讲命题逻辑(上)第五讲命题逻辑(上)“菊花可以观赏。菊花可以入药。所以,菊花既可观赏又可入药。”“当事人订立的合同既有书面形式又有口头形式。所以,当事人订立的合同有书面形式。”汛嗅张透疟巢品谎缝巧土阜漾贼修努畸债帆冤踊库完争歧绽挝盐柏尹埋留第五讲命题逻辑(上)第五讲命题逻辑(上)