Fellestime kapittel 5 og 6
- 00:25 Kapittel 5 - Bevis, formodninger og moteksempler
- 02:35 Oppgave 5.1 - Hvordan motbevise påstander
- 27:45 Bevis ved tilfeller
- 28:30 Kapittel 6 - Relasjoner
- 33:25 Egenskaper ved relasjoner
- 38:45 Hva er forskjellen på en formodning og en antagelse?
- 42:20 Vanskelige spørsmål fra salen
- 48:25 P vs ¬¬P
- 50:00 Forskjellen på A ⇒ B og A → B
- 50:40 Ordet «impliserer»
- 56:30 Måter å uttrykke at en utsagnsvariabel er sann
- 59:25 Hvordan beskrive en valuasjon?
- 1:02:45 ⊨ A → G hvis og bare hvis F ⇒ G
- 1:04:30 Oppgave 5.8 (f)
- 1:06:50 Oppgave 6.10
- 1:09:45 Illustrasjon av alle relasjoner fra en mengde med 4 elementer til en mengde med 4 elementer