|
1
|
|
|
2
|
- Utdrag blir pensum.
- Obs:? F?rste opplag inneholder mange
feil, andre opplag inneholder noen feil.?
Har du kj?pt boken p? Akademika, er den antakelig fra andre
opplag. Da inneholder den feilene merket [1,2] her. Rettelsene er
pensum; det er ditt ansvar ? sjekke.
- og annet opplag inneholder en del feil,
|
|
3
|
- Logikk
- Spr?k:
- Uttrykke betingelser p? en helt presis m?te
- Kalkyle
- Gjennomf?re gyldige slutninger
- Beregninger
- Hva er beregnbart?
- Hva betyr dette?
- Ikke alt kan beregnes
- Modeller for beregnbarhet
- Endelige automater
- Stakkautomater
- Turingmaskiner
|
|
4
|
- Premisser
- Grevinnen d?de av forgiftet te
- Bare greven var til stede den siste timen f?r d?dsfallet
- Grevinnen drakk aldri kald te
- Konklusjon
|
|
5
|
- Vi skal ikke se p? bare en type logikk, men p? flere.? Logikker kan ofte graderes etter en
skala, der de svakeste svarer til argumenter som kan gjennomf?res n?r
man bare vet betydningen av noen f?, enkle ord.
|
|
6
|
- Premisser:
- Alle mennesker puster
- Sokrates er et menneske
- Konklusjon:
|
|
7
|
- Utsagnslogikk
- Resonnmenter som kan gjennomf?res bare ved ? vite betydningen av
(utsagnslogiske) konnektiver
- Konnektiver:
- Sm?ord som knytter sammen hele setninger/utsagn til nye hele
setninger/utsagn. (dette er ikke hele sannheten?)
|
|
8
|
- Norsk
- Hvis det regner, s? er himmelen gr?
- Det regner
- Himmelen er gr?
- Logikkspr?k
- (A => B)
- A
- B
|
|
9
|
|
|
10
|
- En sannhetsverditabell er en oversikt over hvilke sannhetsverdier et
utsagn vil ha i alle mulige tilfeller.
- I utgangspunktet har vi
- en tabell for hvert konnektiv,
- og ut fra disse kan man s? avlede
- tabeller for alle sammensatte utsagn.
|
? Notater
