作者somedoubt (人獨立燕雙飛)
看板logic
標題Re: [請益] 有關有效性證明的問題
時間Wed Mar 5 13:32:04 2008
※ 引述《fdsajkl (kkk)》之銘言：
: 全稱例化(UI)為何必須量辨到整個一列。
: 例:1、(X)Fx→(倒Ey)Gy
: 2、Fa→(Ey)Gy
: 是錯的
: 又 1、~(X)(Fx→Gx)
: 2、~(Fa→Ga)
: 也是錯的
: 為什麼?可以舉例說明嗎?以現實中的例子解釋?
我不以現實中的例子來回答你的問題。
以第一題為例。
給定Domain = ｛a,b,c｝
the extention of F = ｛a,b｝
the extention of G = empty set
根據這樣的設定，例一中的命題1為真，命題2為假。
如果2是1經由UI規則而來，顯然UI在此是一個無效推論。
既然我們不被允許使用無效推論，UI就不能這麼用。
至於例二，
給定Domain = ｛a,b,c｝
the extention of F = ｛a,b｝
the extention of G = ｛a,c｝
根據這樣的設定，例二中的命題1為真，命題2為假。
同樣的這也是UI規則使用限制的例子。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.168.163.86
1F：推 fdsajkl:唔，雖然看不太懂，但還是謝謝 03/06 00:13