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