作者littleshan (我要加入劍道社!)
看板logic
標題Re: [請益] 量詞
時間Tue May 31 01:19:33 2005
※ 引述《Noelyuan (站起來!!)》之銘言：
: 「凡Ａ皆Ｂ」符示如下：
: Ｖx(Ax→Bx)
: 但為什麼「有些Ａ皆Ｂ」的符示卻是：
: Ｅx(Ax‧Bx)
: 而不是
: Ｅx(Ax→Bx)
Ax -> Bx並不表示x一定是A
所以如果
Ｅx (Ax) 為false
Ｅx (Ax→Bx) 依然為true
但
Ｅx (Ax‧Bx) 就一定會是false了
我們一般說「有些A皆B」
通常也都表示符合A的x是存在的
: 謝謝^^
--
Errors,like straws,upon the surface flow;
He who would search for pearls must dive below.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.244.211