這學期已經快接近尾聲
期末考也即將到來
準備考試的當下 才發現趣味邏輯一科 實在趣味不起來
尤其是證明題的部分
自然演譯法的18條推論原則 對我實在太難記了
(前8條為蘊涵性規則 後10條是等值性規則)
雖然課堂很認真的聽老師講授
老師也盡全力傾囊相授
又因面授時間不夠怕我們還是不懂
主動的為我們加課
借用台大的教室 很用力的講了5個鐘頭的課
他的用心盡力都讓我們每個選讀這科的同學 心中好感動
問題是 老師這麼努力 那我是否都聽懂了 也都會解題了呢
啊~~~~那倒未必呢
我聽是聽懂啦
可是由自己來寫 恐怕還是問題呢
以下面這題證明題來說好了
１.∀ x Ｆx→Ｈa
／∴∃x（Ｆx→Ｈa）
∀x F x → Ha P
2. ～∃x (F x → Ha ) AP
3. ∀x ～ (F x → Ha ) 2 QN
4. ∀x ～ ( ～ F x ｖ Ha ) 3 Impl
5. ∀x ( ～～ F x ‧ ～ Ha) 4 DeM
6. ∀x (F x ‧ ～ Ha) 5 DN
7. Fb ‧ ～ Ha 6 UI
8. ～ Ha 7 Simp
9. ～ ∀x F x 1 , 8 MT
10. ∃x ～ F x 9 QN
11. ～ Fc 10 EI
12. Fc ‧ ～ Ha 6 UI
13. Fc 12 Simp
14. Fc ‧ ～ Fc 11, 13 Conj
15. ∃x (F x →Ha ) 2—14 IP
我就是記不起來那些QN Impl DeM DN UI Simp 等等推論法則
也不知道要用那一條證明哪一個
也許我要多花點時間演練
但是天啊...我已經沒有多少時間可以習作了
看來我這科是凶多吉少了
難道說 這是懲罰我平時不用功的下場
唉唉唉..................
嗚呼哀哉 慘~~~~~~
