Utsagnslogikk

Definisjon: Et utsagn (eng. proposition) er en påstand som er enten sann (eng. true) eller usann (eng. false).

Et utsagn kan altså ta en av to verdier: sann (S) eller usann (U).

Dette tilsvarer at et tall kan ta en av uendelig mange mulige verdier, så som -1, 0, ½, 1, 2, 2, e, 3, , ...

Eksempler på ut	sagn:

- Tórshavn er hovedstaden på Færøyene.

- Månen er en gul ost.

- Henrik Ibsen ble født i 1828.

- e er større enn e.

- Hvert primtall større enn 2 er et oddetall.

- Hvert partall større enn 2 kan skrives som en sum av to primtall.

- Det finnes et kart i planet med 5 sammenhengende områder slik at hvert par av områder møtes langs en felles grense.

- Hvert kart i planet kan fargelegges med inntil 4 farger slik at hvert par av områder med en felles grense har forskjellige farger.

2005-01-12T12:08:24