>>466
>(∀x)P(x) を x→P(x)
>(∃x)P(x) を x∧P(x)
>とすれば

xて、いつ論理式になったん?