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