Logik:Klausuren/08.02.2003/2.7 Aufgabe: Unterschied zwischen den Versionen

Aktuelle Version vom 5. Dezember 2004, 17:03 Uhr

1. Aufgabenstellung[Bearbeiten]

Sei $ F = (((\forall X)p(a, X) \and (\exists X)p(X,b)) \rightarrow (\forall X)p(g(X), X))\; $ eine prädikatenlogische Formel der Sprache $ L = (\{p/2\}, \{g/1\}, \{a, b\})\; $.

a) Geben Sie eine Interpretation $ I\; $ mit der Domäne der natürlichen Zahlen an, für die $ F^I = f\; $ gilt.

b) Geben Sie eine Interpretation $ I\; $ mit der Domäne $ \mathcal{D} = \{c\}\; $ und $ F^I = w\; $ an.

c) Geben Sie das zugehörige Herbranduniversum sowie eine Herbrandinterpretation an, die Modell für $ F\; $ ist.

2. Lösung[Bearbeiten]

a)

$ a^I = b^I = 0\; $
$ g^I(n) = 1\ (n,1 \in \mathbb{N})\; $
$ p^I = \{(0,0)\}\; $

b)

$ a^I = b^I = c\; $
$ g^I : ( \mathcal{D} \rightarrow \mathcal{D}): c \rightarrow c\; $
$ p^I = \{(c,c)\}\; $

c)

$ \mathcal{D} = \mathcal{U} = \{a,g(a),g(g(a)),...,b,g(b),g(g(b)),...\}\; $
$ p^I = \{(u,u) | u \in \mathcal{U}\}\; $

3. Lösungsweg[Bearbeiten]

4. Alternativen/Diskussion/Hinweise etc.[Bearbeiten]

zur Klausur 08.02.2003
Aufgaben-Kategorie PL - Interpretationen und ModelleAufgaben-Kategorie PL - Herbrand-Interpretationen