> ∀は∀ｶﾞﾝﾀﾞﾑの時のみ使ってもいいことにする

論理式の証明するときとかどうするんだよ

参考：2005/03/15(火)23時00分31秒