Title | Spørgsmål 1 - Logik.pdf |
---|---|
Course | Datalogiens matematiske grundlag |
Institution | Aalborg Universitet |
Pages | 3 |
File Size | 388.6 KB |
File Type | |
Total Downloads | 66 |
Total Views | 113 |
Spørgsmål 1 - Logik.pdf...
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....