作者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