Re: [問題] 有關邏輯丙的問題.....

看板Philo-04作者bobWerther (,,,;;;:::...)時間19年前 (2005/01/03 00:45)推噓4(4推 0噓 1→)

留言5則, 5人參與討論串2/3 (看更多)

我只能回答你最簡單的部份畢竟好一陣子沒碰邏輯但還是希望能對你有點幫助因為你修的是邏輯丙，我會當作你是考試急需的那樣用課本裡有的東西回答你 ※ 引述《pigpinkhaha (我要你天天開開心心:))》之銘言： : 各位大大好 : 小的今年修了林照田老師的邏輯丙(通識) : 有幾個問題想要請教一下 : 在量化邏輯裡用到了下列幾項法則: : 全稱特例化法則(UI,universal instantiation) : 存在特例化法則(EI,existential instantiation) : 全稱一般化法則(UG,universal generalization) : 存在一般化法則(EG,existential generalization) : 這些法則在使用時都有但書的限制 : 其中提到了"自由的" (自由的個體變項 or 自由的....) : 想請問到底什麼叫做"自由的"? 　　　　如果述詞（A,a,x,y etc.)前面還有量號（全稱量號【倒Α】存在量號【倒Ｅ】則這個述詞是受量號約束且不自由的　　　　消除了量號，則這個述詞是自由的以上這些法則(UI, EI, UG, EG)都是為了消除或增加量號用的（如果你買了林照田老師的課本《邏輯學入門》關於「自由的」解釋，可參考p.160）課本中有十八條演譯法則，這些法則裡都是不包含量號的所以需要以上量化邏輯的演算法則先將量號拿去再用妳手上有的自然演譯法則（十八條）做運算運算完再視情況與否，把量號放回語句中 : 在EI的但書中有一條: 在證明過程中,如果w(代換後的個體變項)已經出現過, : 則w必為約束的(也就是說如果是自由的,本法則便不可引用) : 除非w出現在已關閉的AP證明中如果在證明過程中你已經使用了上述法則，使得某個w不受量號拘束則不能再對w使用EI這個法則除非w是出現在已經關閉的AP證明中什麼叫做已經關閉的AP證明中，我用語句邏輯的自然演譯法舉例 (剛好有個勃太哥拉斯的例子，可參考課本p.109) 1. N v L 2. N → P 3. L → S 4. S → P /∴P ┌→5. ~P AP │ 6. ~N 2,5, MT │ 7. L 1,6, DS │ 8. S 3,7, MP │ 9. P 4,8, MP │ 10. P˙~P 9,5,Conj └─────── 11. P 5-10, IP 黃色的部份（也就是用線段和箭頭封閉起來的部份）就是已經關閉的AP證明則根據EI的但書雖然w已經出現過但是出現在此類"已經關閉"的AP証明中你還是可以放心的對w使用EI法則 : 此條但書敘述到底是什麼意思啊??? : 希望各位大大可以解決小的疑惑 : 感激~~orz 敝人無暇檢查文中的疏漏希望這些還能有點用處 -- 身為一個哲學系的學生，你們對待問哲學問題的學生真不禮貌！ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.248.134

→

eongchemg

140.112.243.211 01/03, , 1^F

140.112.243.211 01/03, 1^F

推

alansher

140.112.242.220 01/03, , 2^F

140.112.242.220 01/03, 2^F

※ 編輯: bobWerther 來自: 140.112.248.134 (01/03 02:24)

推

weipoyen

140.112.239.100 01/03, , 3^F