> > ∃は存在でターンＡが任意だな
> 全称命題じゃなかったか？

http://www.sdi-net.co.jp/sdi_096.htm
記号の読み方とはまた別だがな

参考：2003/06/26(木)00時30分29秒