Skrivemåter
I denne sammenhengen er det formelle språket, eller objektspråket som ligger til grunn for diskusjonen vår, mengden av utsagnslogiske formler. Et uttrykk i det formelle språket er altså for eksempel formelen $\neg (P \land Q)$.
Et annet uttrykk i det formelle språket er formelen $( \neg P \lor \neg Q )$. Når vi sier at «disse formlene er ekvivalente» har vi gått opp «et hakk» til metaspråket; et språk for å resonnere om uttrykk i objektspråket. Se også kommentaren øverst side 34.