2 Definition Flashcards
1
Q
1
A
2
Q
2
A
3
Q
Was versteht man unter einer Belegung?
A
4
Q
Definiere und erläutere die WAhrheitsfunktion!
A
5
Q
5
A
6
Q
6
A
7
Q
Wann schreibt man für zwei aussagenlogische Formeln \phi ⇒ \psi
A
8
Q
Wann nennt man zwei Formeln äquivalent?
A
9
Q
9
A
10
Q
Wie definiert man die Bedeutung einer Formel?
A
11
Q
Wann nennt man eine Formel eine Tautologie?
A
12
Q
Benenne einige äquivalente Aussagen zu \phi ist eine Tautologie!
A
13
Q
Benenne einige äquivalente Aussagen zu nicht \phi ist eine Tautologie!
A
14
Q
Bespreche die Begriffe Erfüllbarkeit und Kontradiktion!
A
15
Q
Was versteht man unter einem Formelhomomorphismus?
A
16
Q
A
17
Q
Was versteht man unter einem Literal?
A
18
Q
Was versteht man unter einer Klausel?
A
19
Q
Was versteht man unter einer Konjunktiven Normalform?
A
20
Q
Was versteht man unter einer disjunktiven Normalform?
A
21
Q
Benenne einige wichtige Tautologien
A
