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

看板Philo-04作者 (我要你天天開開心心:))時間19年前 (2005/01/02 23:47), 編輯推噓2(2推 0噓 0→)
留言2則, 2人參與, 最新討論串1/3 (看更多)
各位大大好 小的今年修了林照田老師的邏輯丙(通識) 有幾個問題想要請教一下 在量化邏輯裡 用到了下列幾項法則: 全稱特例化法則(UI,universal instantiation) 存在特例化法則(EI,existential instantiation) 全稱一般化法則(UG,universal generalization) 存在一般化法則(EG,existential generalization) 這些法則在使用時都有但書的限制 其中提到了"自由的" (自由的個體變項 or 自由的....) 想請問到底什麼叫做"自由的"? 在EI的但書中 有一條: 在證明過程中,如果w(代換後的個體變項)已經出現過, 則w必為約束的(也就是說如果是自由的,本法則便不可引用) 除非w出現在已關閉的AP證明中 此條但書敘述到底是什麼意思啊??? 希望各位大大可以解決小的疑惑 感激~~orz -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.224.52.100
推
218.167.207.69 01/03, , 1F
十點以後別打到這裡來,因為我睡了
218.167.207.69 01/03, 1F
推
140.112.243.211 01/03, , 2F
睡了還可以推文?高招!高招!
140.112.243.211 01/03, 2F
‣ 更多 pigpinkhaha 的文章
文章代碼(AID): #11s1UWYq (Philo-04)
‣ 更多 pigpinkhaha 的文章
文章代碼(AID): #11s1UWYq (Philo-04)