Aussagenlogik Flashcards
1
Q
Atomare Aussagen
A
- Grundelemente der Aussagenlogik
- lassen sich nicht weiter in (kleinere) Bestandteile zerlegen
- zu Formeln zusammensetzen (durch Junktoren)
- Wahrheitswert (0/1)
2
Q
Junktoren
A
- Konjunktion - und -
- Disjunktion - oder
- Negation - nicht
3
Q
Belegung
A
Zuweisung von Wahrheitswerten zu Aussagezeichen (= atomare Formeln) mit Belegungsfunktion
4
Q
Zu jeder Formel F ex. eine äquvalente Formel K in KNF und eine äquivalente Formel D in DNF
A
K und D sind nicht eindeutig!
5
Q
a|=F
A
- “a ist Modell von F”
- F ist erfüllt unter Belegung a, gdw. a*(F) = wahr = 1
- F ist erfüllbar, wenn mindestesn eine Belegung a mit a|=F, sonst unerfüllbar
- F Tautoglogie, wenn a|=F für alle Belegungen a: ist Modell von F
6
Q
Gültigkeit
A
