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.
|