5.1311 When we infer q from p v q and ~p, then the way of symbolizing here veils the relation of the propositional forms of “p v q” and “~p”. But if instead of “p v q”, e.g., we write “p|q .|. p|q” and instead of “~p” “p|p” (p|q = neither p nor q), then the internal connection becomes clear.
(The fact that one can infer fa from (x) . fx shows that generality is present in the symbol “(x) . fx” itself.)
But of course generality is not a metaphysical property of the symbol.