Logik:Klausuren/07.02.2004/1.7 Aufgabe: Unterschied zwischen den Versionen

Aktuelle Version vom 17. November 2004, 19:48 Uhr

1. Aufgabenstellung[Bearbeiten]

Gegeben seien die Substitutionen
$ \sigma = \{ X \mapsto b \} $,
$ \theta = \{ W \mapsto a, Y \mapsto U, Z\mapsto f(a,U) \} $,
$ \lambda = \{ U \mapsto f(b,X), Y \mapsto W \} $

sowie die prädikatenlogische Formel
$ F = (\forall X) ((\forall Y) (p(X,Y,Z) \rightarrow (\exists Y) q(Y,W)) \rightarrow r(X,Y)) $

a) Geben Sie die Komposition $ (\sigma\theta)\lambda\; $ an.

b) Geben Sie $ F\theta\; $ an.

c) Geben Sie die Vorkommen der freien Variablen in $ F\; $ an.

2. Lösung[Bearbeiten]

a)

$ (\sigma\theta)\lambda\; $
$ = (\{ X \mapsto b \}\{ W \mapsto a, Y \mapsto U, Z\mapsto f(a,U) \})\{ U \mapsto f(b,X), Y \mapsto W \} $
$ = \{ X \mapsto b, W \mapsto a, Y \mapsto U, Z \mapsto f(a,U)\}\{ U \mapsto f(b,X), Y \mapsto W \} $
$ = \{ X \mapsto b, W \mapsto a, Y \mapsto f(b,X), Z \mapsto f(a,f(b,X), U \mapsto f(b,X) \} $

b)

$ F\theta\; $
$ = (\forall X) ((\forall Y) (p(X,Y,Z) \rightarrow (\exists Y) q(Y,W))\theta _x \rightarrow r(X,Y)\theta _x) $
$ = (\forall X) ((\forall Y) (p(X,Y,Z)\theta_{xy} \rightarrow (\exists Y) q(Y,W)\theta_{xy}) \rightarrow r(X,Y)\theta _x) $
$ = (\forall X) ((\forall Y) (p(X,Y,f(a,U)) \rightarrow (\exists Y) q(Y,a)) \rightarrow r(X,U)) $

c)

Jeweils das letze Argument der Relationen in F:

$ F = (\forall X) ((\forall Y) (p(X,Y,\underline{Z}) \rightarrow (\exists Y) q(Y,\underline{W})) \rightarrow r(X,\underline{Y})) $

3. Lösungsweg[Bearbeiten]

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

zur Klausur 07.02.2004
Aufgaben-Kategorie PL - Substitutionen