试论假言连锁推理的完善体系.pdfVIP

i!Q!盟：垫 Sc=enceandTechnolozyInnovationHerald 学术论坛 试论假言连锁推理的完善体系 顾达峰 741 (甘肃广播电视大学天水分校 陕西甘肃 000) 摘要：对现行高等院校形式逻辑学的饭言连蕾推理体摹傲了进一步具有撂索性的研完．补充完善了饭言连馈推理体曩。 关键词：饭言连馈推理 充分条件饭言连馈推理 必要条件假言连蕾推理 充分越要条件蕾吉连蚺推理 混合条件饭吉连馈推理 642 中图分类号：G 文献标识码：A 文章编号11674—098X(2009)09(-)一0254—03 1假言连锁推理的概述 球离开地球的平均速度为每年94．5厘米。 形式。在对。猫——田鼠叫蜂——红三叶 。假言连锁推理”更进一步反映了事物 假言连锁推理就是用来反映宇宙事物 草。的论述中，达尔文也恰恰是运用了一个 现象之间因果联系的普遍性和隐密性。达 现象之间这种千丝万缕的内在联系的思维 充分条件假言连锁推理肯定前件式。 尔文对不同的生物物种经过长期的研究发 现，在英国的某些地区，如果该地区。猫”的 如果猫多，那么田鼠就会少l 如果p，那么q’ 哕·。 如果田鼠少。土蜂就会多· 数量比较多，则“红三叶草”的数量也就比 如果q，那么r’已≯·’ 较多；反之“红三叶草”就比较少。那么。猫” 熏乜墨上坚垒，红三吐蔓藏会垒。 女目墨￡，iE叁SI．一 ￡：墨。 和“红三叶草”这两种事物之间又有什么瓜 所以，如果描多，那幺红三叶草就会多． 所以．如果P。那么r． ．‘．．p—r． 葛呢?或许有人则认为：这似乎完全是偶然 共推理形式用公式表示为：【(p—q)A (q—r)A(r—S)卜(p—S)．， 的现象．因为。猫”和“红三叶草”这两种生 物表面上实在是没有必然联系。但是，达尔 2假言连锁推理的种类 分必要条件、混合假言连锁推理四类。每一 文经过长期地研究发现：“红三叶草”的繁 假言连锁推理依据其假言前提的种类 类中又可以分为肯定和否定两种。如下图 殖必须通过“土蜂”来授粉，因为其它的蜂 不同，可以划分为充分条件、必要条件、充 所示。 类无法触到红三叶草的蜜腺，所以如果一 个地区的土蜂灭绝了，那么由于失去了传 I|r‘一)·允分条件推理1’2I．否定武f(T)一q)^(q—r)}．．(，r-+，D)。 播花粉的媒介，红三叶草也会灭绝。而土蜂 的数量又是由该地区的。田鼠”数量决定 f(二)、必婪条件摊理r虮肯定式{(P—q)A(q—r)}一(r--P)。 的，因为田鼠会破坏土蜂的蜂房。据统计， l L．2J、否定武{(P—q)A(q—r)I一(一p一，r)。 l 全英格兰三分之二的土蜂都是被田鼠毁灭 的。而田鼠的数量是由“猫”决定的。所以． 假I 如果一个地区的猫层出不穷，那么田鼠自 芸I I前什式 、．结论为必要条件：l(P一一a)^(q．一r)}-．(P—r)。 然就销声匿迹，田鼠对土蜂威胁就会减少， 曩I l 所以红三叶草的数量就会增加。这样形成 了一个比较复杂的生物链：“猫——田鼠一 锁l(-二)、充分112 —土蜂——红三叶卓。。