作者: BBIO (準備研究所考試) 看板: TheLife
標題: Re: 套套邏輯
時間: Sun Dec  1 00:45:21 2002

自然演繹法:
18條推論法則:MP,MT,Contra...等等
三個推論形式:直接證法、間接證法、條件證法

先講幾個推論法則好了:
(1)MP(Modus Ponus, 前項肯定法)
1. p->q
2. p/∴q
為了驗證這個推論法則是有效論證
該論證的對應句為 ((p->q)•p) -> q
p q || ((p->q)•p) -> q
----++------------------
T T ||    T   T    TT F ||    F   F    TF T ||    T   F    TF F ||    T   F    T所以該對應句是套套邏輯,
根據演繹大定理,MP是有效的

(2)MT(Modus Tollens,後項否定法)
1. p->q
2. ~q/∴~p
證明....自己畫畫看吧:)

其他的再說啦~~~

--
    ※ Origin: 信望愛(bbs.fhl.net) ◆ From: nat4.adsl.ntu.edu.tw
    ※ 歡迎來看我們精心製作的信望愛全球資訊網[http://www.fhl.net]