Strictly speaking, it is incorrect to say: we understand the proposition p when we know that ‘“p” is true’ p; for this would naturally always be the case if accidentally the propositions to right and left of the symbol “” were both true or both false. We require not only an equivalence, but a formal equivalence, which is bound up with the introduction of the form of p.