> > ∀は∀ｶﾞﾝﾀﾞﾑの時のみ使ってもいいことにする
> 論理式の証明するときとかどうするんだよ

∃

参考：2005/03/15(火)23時01分48秒