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