Spørgsmål 1 - Logik.pdf PDF

Title Spørgsmål 1 - Logik.pdf
Course Datalogiens matematiske grundlag
Institution Aalborg Universitet
Pages 3
File Size 388.6 KB
File Type PDF
Total Downloads 66
Total Views 113

Summary

Spørgsmål 1 - Logik.pdf...


Description

Konjunktion Disjunktion

Hypotese

Implikationspil Konklusion

Det sammensatte udsagn: Er falsk hvis hypotesen (p) er sandt, men konklusion (q) er falsk. Det kan ikke lade sig gøre, derfor er det en tautologi

Simplification reglen

Den eneste måde udsagnet er falsk, er hvis hypotesen er sand, samtidig med at konklusionen er falsk. Kan ikke lade sig gøre.

Der findes et x, som opfylder P(x)

Alle x opfylder P(x)

Der findes et x, hvor P(x) ikke gælder Alle x opfylder ikke P(x)

C og D er logisk ækvivalente ift. De morgans lov:

Starter med at skrive udsagnet op

Flytter negationen til den står foran p(x) Bruger de morgans lov nr 2

Starter med at skrive udsagnet op

Når negationen bliver flyttet ind så ændres det logiske konnektiv

Der findes et y og et x, hvor P(x,y) og Q(x,y) ikke gælder....


Similar Free PDFs