論理学を、“命題論理”と“述語論理”とに分けるのがそもそもの間違いだ。

例えば、ｐ⊃（ＰｖＱ）は恒真式（tautology）だと言うが、それは取りも
直さず∀p,q{ｐ⊃（ＰｖＱ）} ってことであって、“命題論理”の段階で、
全称概念を「密輸入」しているからだ。