作者Noelyuan (站起来!!)
看板logic
标题Re: [请益] 量词
时间Tue May 31 02:45:47 2005
※ 引述《littleshan (我要加入剑道社!)》之铭言：
: ※ 引述《Noelyuan (站起来!!)》之铭言：
: : 「凡Ａ皆Ｂ」符示如下：
: : Ｖx(Ax→Bx)
: : 但为什麽「有些Ａ皆Ｂ」的符示却是：
: : Ｅx(Ax‧Bx)
: : 而不是
: : Ｅx(Ax→Bx)
: Ax -> Bx并不表示x一定是A
: 所以如果
: Ｅx (Ax) 为false
这句意为Ｖx~(Ax)吗?
: Ｅx (Ax→Bx) 依然为true
: 但
: Ｅx (Ax‧Bx) 就一定会是false了
: 我们一般说「有些A皆B」
: 通常也都表示符合A的x是存在的
但是一般我们说「所有A皆B」
不也表示符合A的x是存在的?
那为什麽「所有A皆B」不是翻成Ｖx(Ax‧Bx)?
: : 谢谢^^
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.240.13
※ 编辑: Noelyuan 来自: 140.112.240.13 (05/31 02:47)