布林邏輯的推論方法

邏輯推論 簡介 布林邏輯 皮諾公設系統 一階邏輯 完備定理 不完備定理 程式實作 布林推論 一階推論 相關訊息 相關網站 相關書籍 參考文獻 最新修改 訊息 相關網站 參考文獻 最新修改 簡體版 English

文章 要用布林邏輯來進行推論，必須依靠所謂的推理方法，亞里斯多德 (Aristotle)、希爾伯特 (Hilbert)、洪氏 (Horn)、簡森 (Gentzen) 與羅賓遜 (Robinson) 前後對這些推論方法進行了關鍵性的研究，其中、最簡單且功能強大的莫過於羅氏 (Robinson) 的解析法 (Resolution) 了。 關於布林邏輯的進一步訊息，請參看下列兩份投影片。 LogicIntroduction.ppt — http://www.scribd.com/doc/20974598/Logic-Introduction LogicReasoning.ppt — http://www.scribd.com/doc/20974606/Logical-Reasoning 然而，純粹的解析法並不完備，要利用羅氏的解析法證明任意問題，必須使用反證法 (Refutation)，其方法是將待證明語句 P 的反向句 -P 加入到規則庫當中，如果可以導出矛盾 (假值)，則代表該語句 P 被證實。 Facebook 留言 Facebook Wikidot Post preview: Close preview or Sign in as Wikidot user (will not be published) - + Help: wiki text quick reference 授權 本網頁的作者、授權與引用方式 作者 陳鍾誠，於金門大學資訊工程系，電子郵件：wt.ude.uqn|ccc#wt.ude.uqn|ccc，網站：http://ccckmit.wikidot.com。 授權 本文採用創作共用 (Creative Common) 3.0 版的 姓名標示─非商業性─相同方式分享 授權條款，歡迎轉載或修改使用，但若做為商業使用時必須取得授權，引用本文時請參考下列格式。 中文版 (APA格式) 陳鍾誠 (07 Sep 2010 02:44)，(網頁標題) 布林邏輯的推論方法，(網站標題) 陳鍾誠的網站，取自 http://ccckmit.wikidot.com/lr:booleanreasoning ，網頁修改第 0 版。 英文版 (APA格式) Chung-Chen Chen (07 Sep 2010 02:44), Retrieved from http://ccckmit.wikidot.com/lr:booleanreasoning , Page Revision 0.