Changes

I am going to revert to my customarily sloppy workshop manners and refer to propositions and proposition expressions on rough analogy with functions and function expressions, which implies that a proposition will be regarded as the chief formal object of discussion, enjoying many proposition expressions, formulas, or sentences that express it, but worst of all I will probably just go ahead and use any and all of these terms as loosely as I see fit, taking a bit of extra care only when I see the need.

I am going to revert to my customarily sloppy workshop manners and refer to propositions and proposition expressions on rough analogy with functions and function expressions, which implies that a proposition will be regarded as the chief formal object of discussion, enjoying many proposition expressions, formulas, or sentences that express it, but worst of all I will probably just go ahead and use any and all of these terms as loosely as I see fit, taking a bit of extra care only when I see the need.

Let ''Q'' be a proposition with an unspecified, but context-appropriate number of variables, say, none, or ''x'', or ''x''₁, … ''x''_''k'', as the case may be.  (To be more precise, I should have said "sentence ''Q''".)

Let <math>Q\!</math> be a proposition with an unspecified, but context-appropriate number of variables, say, none, or <math>x,\!</math> or <math>x_1, \ldots, x_k,\!</math> as the case may be.  (To be more precise, I should have said "sentence <math>Q\;\!</math>".)

:* Strings and graphs sans labels are called ''bare''.

:* Strings and graphs sans labels are called ''bare''.