[問題] 有關邏輯丙的問題.....
※ [本文轉錄自 Philo-04 看板]
作者: pigpinkhaha (我要你天天開開心心:)) 看板: Philo-04
標題: [問題] 有關邏輯丙的問題.....
時間: Mon Jan 3 00:06:06 2005
各位大大好
小的今年修了林照田老師的邏輯丙(通識)
有幾個問題想要請教一下
在量化邏輯裡 用到了下列幾項法則:
全稱特例化法則(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
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.224.52.100
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 2 篇)：