Kapittel 4 – Utsagnslogiske begreper / Sammenhenger mellom begreper

Sammenhenger mellom begreper

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?)

Test deg selv

Hvilke av disse uttrykkene er forskjellige måter å uttrykke at formelen $G$ er en logisk konsekvens av formelen $F$?

Test deg selv

Hvilke av disse symbolene tilhører objektspråket, altså det formelle utsagnslogiske språket? Resten av symbolene tilhører metaspråket og er forkortelser for utsagn vi like gjerne kan uttrykke med naturlig språk.