【五術堪輿學苑】

 找回密碼
 【立即註冊】
查看: 124|回復: 0
打印 上一主題 下一主題

【推論規則】

[複製鏈接]
跳轉到指定樓層
作者
發表於 2012-11-22 09:10:41 | 只看該作者 回帖獎勵 |倒序瀏覽 |閱讀模式

推論規則

 

InferenceRule

 

【辭書名稱】教育大辭書

 

科學是一門強調前因後果的學問。

 

科學定理的形成,是經由一系列的敘述論證,經過長久的實驗觀察,才能指出定理真確成立。

 

以先前成立的敘述,當作基礎經推論產生結果的方法稱之為推論規則(inferencerule)。

 

「若p則q」是一個大家耳熟能詳的例子。

 

推論的意義主要是在於事件設定有一組前提,並且伴隨著一個建議結論,並且不管此建議結論是否為邏輯結論。

 

因此出現兩種型式之推論方式,錯誤推論(faultyinferences)與有效推論(validinferences)。

 

每一種推論皆能用以下的式子來表示:(所有的前提)→(結論)當所有的前提為真,且「(所有的前提)→(結論)」為真,則可推論出結論為真。

 

換言之,結論為所有的前提之邏輯結論。

 

除此之外的推論皆屬錯誤推論。

 

接著介紹兩個常用的基本推論法則:法則1:若p之敘述為真,且p→q之敘述亦為真,則承認q之敘述為真。

 

此推論法則又可稱為分離律(ruleofdetachment)。

 

因為「pΛ(p→q)」是一個恆真句。

 

故分離律屬於有效推論。

 

舉例如下:設有兩個敘述句子如下:1.我今天帶了一把傘2.若我今天帶了一把傘,則天空下雨如果以上兩個敘述皆成立,則今天天空下雨。

 

由此可見,當條件句p→q為真時,無法保證p或q的值為真,但是當p與p→q皆為真時,則可保證q的值為真。

 

法則2:當兩個條件句p→q與q→r為真時,則條件句p→r亦為真,此法則稱為遞移律(transitiverule)。

 

因為條件句(p→q)Λ(q→r)→(p→r)是一個恆真句,故遞移律亦屬於有效推論。

 

大部分的數學論證都是引用上述兩個基本推論法則再加上反證律及狄摩根(Demorgan)定理所引申出來。

 

總而言之,進行推論時,引用上列各種定律與基本法則即能成為有效論證或有效推論。

 

然而不幸的是錯誤推論有時候產生的結論,可能出現真的情況。

 

當前提為真時,通常錯誤推論所產生的結論為假。

 

 

轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary

評分

參與人數 1金幣 +500 收起 理由
天梁 值得鼓勵。

查看全部評分

【自由發言誠可貴、言辭水準需更高、若有污衊髒言顯、術龍五術堪輿學苑、不歡迎的喲!】
回復

使用道具 舉報

QQ|【google翻譯】|【手機版】|【Archiver】|【五術堪輿學苑】 ( 皖ICP備11003170號 )

GMT+8, 2025-1-16 21:08 , Processed in 0.093750 second(s), 17 queries , Gzip On.

Powered by Discuz! X3.1

© 2001-2013 Comsenz Inc.

快速回復 返回頂部 返回列表