Kapittel 3 – Semantikk for utsagnslogikk / Logisk ekvivalens

Skrivemåter

Hva syns du om denne videoen?
(Én stjerne er dårligst, tre stjerner er middels og fem stjerner er best.)
(Hvordan kan denne videoen bli bedre?)

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.