作者theyangist (theyangist)
看板logic
标题Re: [请益] 量词逻辑问题
时间Thu Dec 20 22:02:02 2012
※ 引述《teves (teves)》之铭言：
: 请问一个问题
: ((Ex) ~P(x)) v ((Ex) P(x))
: 可以视为True吗 (消掉) ?
: 用了EI规则只能写成 ~P(A) v P(B), 因为两个量限词范围不同?
: 还是写成这样也是错的?
: 好像如果x是空集合就会有问题
: 但是如果x是空集合那理论上也不能用EI规则?
(ex)(~Px v Px) 在经典逻辑就是个套套逻辑(tautology)。
(ex)(~Px) v (ex)(Px) 是不一样的意思。
例如：
1|| (ex)(~Px) (假设)
2|| (ex)(~Px) v (ex)(Px) (以1,Add)
3| (ex)(~Px) -> ((ex)(~Px) v (ex)(Px)) (以1-2,CP)
1| ~Pa v Pa (假设)
2| (ex)(~Px v Px) (1,EI)
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 115.80.129.209
1F：→ kaifrankwind:(ex)(~PxvPx)不是个恒真句 若domain为空集合 它为假 12/21 01:28
2F：→ kaifrankwind:(Vx)(~PxvPX)才是吧 12/21 01:30
3F：推 teves:意思是不一样啊,我又没提到你说的这句,不知道你想表达什麽? 12/21 09:00
4F：→ teves:另外,你把EI的意思搞反了. 12/21 09:06
5F：→ theyangist:我应该说以EG规则到到第二行。 12/21 14:30
6F：→ theyangist:可是(ax)(Px)->Pa->(ex)(Px) 12/21 14:34
7F：→ theyangist:若domain为空集合，(ex)(~Px v Px)还是恒真句。 12/21 14:56
9F：→ kaifrankwind:"空集合里的某些东西是P"恒假 少了空集合这条件是 12/21 19:04
10F：→ kaifrankwind:可能为假 12/21 19:05
11F：→ theyangist:应该寻找vacuous truth。 12/21 19:15
12F：→ kaifrankwind:不好意思 看过wiki又搜寻一下 还是没看到有人指出 12/21 21:16
13F：→ kaifrankwind:单(ex) 左边没有~的vacuous truth 12/21 21:18