[請益] 量詞

[Noelyuan (站起來!!)]

「凡Ａ皆Ｂ」符示如下：
Ｖx(Ax→Bx)

但為什麼「有些Ａ皆Ｂ」的符示卻是：
Ｅx(Ax‧Bx)

而不是
Ｅx(Ax→Bx)

謝謝^^

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.240.13
推 gopeterhome:因為Ex不能含空集合
推 Noelyuan:什麼意思? 那Vx可以嗎?