青塚教室というページで、
「全称命題∀x,(p(x)→q(x))をp(x)⇒q(x)と書く」と説明されているんだけど
これは数学記号的に正しい表記法？