我有上課，但我現在一題都證不出來ㄟ，
我完全看不懂，也背不起來。
有沒有人能夠指點一下，幫我講解。
謝謝。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.25.144
> -------------------------------------------------------------------------- <
作者: ckmagic (飄緲雲跡孤鴻影) 看板: Logic
標題: Re: [問題] 請教自然演繹法
時間: Fri Nov 28 17:52:46 2003
※ 引述《JDG (qwer)》之銘言：
: 我有上課，但我現在一題都證不出來ㄟ，
: 我完全看不懂，也背不起來。
: 有沒有人能夠指點一下，幫我講解。
: 謝謝。
林照田老師的?? XD
老師上課應該有講過18條的代換法則，
就是用前提跟已知會出現的結論，
用直接證法(就是只用前提，不做假設，運用18條直接證得結論)
條件證法(用於結論有「則」的情況下，假設A，證得B，得到A則B)
間接證法
(假設一個跟結論或是結論一部分相反的語句，
然後想辦法證得任何矛盾，我們就可以說假設錯誤，得結論)
18條的推論法則嘛...""
加油吧XD
這次考試三題只有用到下面幾個啦...
(1)並言(Conj)
1. A
2. B
3. A‧B 1,2,Conj
(2)簡化(Simp)
1. A‧B
2. A 1,Simp
(3)選言三段論(DS)
1. AｖB
2. ~A
3. B 1,2,DS
(4)假言三段論(HS)
1. A=>B
2. B=>C
3. A=>C 1,2,HS
(5)蘊含(Impl)
1. A=>B
2. ~AｖB 1,Impl
(6)雙重否定(DN)
1. ~~A
2. A 1,DN
(7)迪莫根(DeM)
1. ~(AｖB)
2. ~A‧~B 1,DeM
(8)前項肯定(MP)
1. A=>B
2. A
3. B 1,2,MP
(9)結合(Assoc)
1. Aｖ(B‧C)
2. (AｖB)‧C 1,Assoc
等於說只需要用到一半的東西而已啦...
而且這些東西應該除了蘊含其他都是很好記又很明顯的東西:P
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.166.105.99