>>410
＞両者は異なる命題であることは、∀と∃で記述しなくてもすぐ分かる
∀と∃で記述することにより人間なら誰でもわかる
わからないのは∀と∃も読めない🐒

＞述語論理が本格的に必要になるのは、公理的集合論などの数理論理をする人
いつどこでだれがそんなウソをあなたに吹き込んだんですか？