Kapittel 4 – Utsagnslogiske begreper / Logisk konsekvens

Eksempler: Logisk konsekvens

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 følgende formler er en logisk konsekvens av formlene i mengden $\{ P, R \}$?

Husk at $F \Rightarrow G$ betyr at formelen $G$ er en logisk konsekvens av mengden som kun består av formelen $F$. Da sier vi gjerne bare at $G$ er en logisk konsekvens av $F$.