作者Noelyuan (站起来!!)
看板logic
标题[请益] 量词
时间Mon May 30 21:04:41 2005
「凡Ａ皆Ｂ」符示如下：
Ｖx(Ax→Bx)
但为什麽「有些Ａ皆Ｂ」的符示却是：
Ｅx(Ax
‧Bx)
而不是
Ｅx(Ax
→Bx)
谢谢^^
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.240.13
1F：推 gopeterhome:因为Ex不能含空集合140.128.194.151 05/31
2F：推 Noelyuan:什麽意思? 那Vx可以吗? 140.112.240.13 05/31