Udsagnslogik (færdig) Flashcards
Hvordan kan man bruge De Morgans lov(e) inden for udsagnslogik?
Bevis De Morgans første lov.
De Morgans love siger noget logisk ækvivalens mellem forskellige udsagn.
Negation af konjunktioner og disjunktioner kan f.eks. bevises:
1) ¬( p ∧ q ) ≡ ¬p ∨ ¬q
2) ¬( p ∨ q) ≡ ¬p ∧ ¬q
Den første lov kan bevises via en sandhedstabel.
p q p∧q ¬(p∧q) ¬p ¬q ¬(p∨q)
T T T F F F F
T F F T F T T
F T F T T F T
F F F T T T T
Det er bevist da sandhedsværdierne i fjerde og syvende kolonne er ens og altså LOGISKE ÆKVIVALENTE.
Hvad er en sandhedstabel?
Hvordan kan den bruges?
Kom med et eksempel.
I en sandhedstabel skriver man alle mulige kombinationer af udfald ind.
F.eks. bruges til at bevise en modstrid og en tautologi.
Modstrid: Et udsagn, som aldrig er sandt.
Tautologi: Et udsagn, som altid er sandt.
Sandhedstabellen:
p ¬p p∧¬p p∨¬p
T F F T
F T F T
hvor p∧¬p er en modstrid
og p∨¬p er en tautologi
Hvad er kvantorer?
De betegner hvor mange elementer i en definitionsmængde, der gør et udsagn sandt.
”For alle elementer x er P(x) sand”
er betegnet med: ∀ x P(x)
”Der eksisterer et element x, hvilket gør P(x) sand” er betegnet med: ∃ x P(x)
Hvad er en udsagnsfunktion?
Kom med et eksempel.
Et udsagn bliver til en udsagnsfunktion, når man indsætter en variabel. Sandhedsværdien af udsagnet afhænger så af variablen.
Eksempel:
P(x): “Min cykel er x”, x ∈ {rød, blå, punkteret, hurtig}
Definitionsmængden har fire elementer, hvor x er variablen.
Hvad er et udsagn?
Et udsagn er noget som enten er sandt (T for true) eller falskt (F for false).
Man finder ud af om noget er T eller F ud fra matematiske argumenter - beviser.
Hvad er en negation?
Negationen af et udsagn beskriver det modsatte. Altså også et udsagn, der kan være T eller F.
f.eks. hvis p er et udsagn, så er ¬p dens negation
Hvad er en konjunktion?
En sammenfletning af udsagn via et logisk OG.
Dvs. p ∧ q
Hvad er en disjunktion?
En sammenfletning af udsagn via et logisk ELLER.
Dvs. p V q
Hvad er en implikation?
Det betyder af q er en konsekvens af p. “Hvis p… så q” –> p medfører q.
Dvs. p → q
Hvad er en biimplikation?
Det betyder at q udelukkende er en konsekvens af p (og omvendt, gælder begge retninger). “p hvis og kun hvis q”
Dvs. p ↔ q
Hvad er en modstrid?
Kom med et eksempel.
Et udsagn, som aldrig er sandt.
F.eks. sandhedstabellen.
p ¬p p∧¬p p∨¬p
T F F T
F T F T
hvor p∧¬p er en modstrid
og p∨¬p er en tautologi
Hvad er en tautologi?
Kom med et eksempel.
Et udsagn, som altid er sandt.
F.eks. sandhedstabellen.
p ¬p p∧¬p p∨¬p
T F F T
F T F T
hvor p∨¬p er en tautologi og
p∧¬p er en modstrid
Hvad er p ∧ q?
Det er en konjunktion.
En sammenfletning af udsagn via et logisk OG.
Hvad er p ∨ q?
Det er en disjunktion.
En sammenfletning af udsagn via et logisk ELLER.
Hvad er p → q?
Det er en implikation.
Det betyder af q er en konsekvens af p. “Hvis p… så q” –> p medfører q.
