Klausur des letzen Jahres

Wahrheitstafel (leere Spalte geeignet unterteilen):
ℑ(C) ℑ(E) ℑ(M) ℑ(α)
w w w
w w f
w f w
w f f
f w w
f w f
f f w
f f f
Welche Wahrheitswerte müssen in der letzten Spalte der Wahrheitstafel stehen, damit
der logische Schluss korrekt ist?
2. Prädikatenlogik
(a) Formen Sie die folgende prädikatenlogische Formel in pränexe Normalform um. 2 P
Geben Sie mindestens 2 Zwischenschritte und das Ergebnis an.
∀z( (∀y∃zP (x, y, z)) → R(x, z) )
(b) Bestimmen Sie die Interpretation der prädikatenlogischen Formel 4 P
∀x∃y (P (y) ∧ Q(x, y))
für das Universum U := {1, 2, 3}, wobei die Prädikatsymbole interpretiert werden
sollen durch ℑ(P ) = {1, 3} und ℑ(Q) = {(a, b) | a, b ∈ U und a = b}.
16