>>146
その命題と条件の使い分けは、何だろう？
述語の意味で条件と呼んでいるのなら、
論理式から∀を省略してしまうことは
全くお勧めできない。
文字が表すものを命題と述語を区別して
同じ文字列で別々の論理式を表してしまうより、
述語の変項を明示して∀や∃を記入したほうが、
ミスや勘違いが入り込みにくい。