But though a particular proposition “p” or a “not-p” || “p or not-p” has no meaning, a general proposition for all p's, “p” or “not-p” || “for all p's, p or not-p” has a meaning because this does not contain a || the nonsensical function p or not-p but a || the function p or “not-q” || “p or not-q” just as for all “x's xRx contains the function xRy”. || “for all x's xRx” contains the function “xRy”.
4