Logik:Klausuren/28.02.2003/2.1 Aufgabe: Unterschied zwischen den Versionen

Aktuelle Version vom 20. November 2004, 15:33 Uhr

1. Aufgabenstellung[Bearbeiten]

a) Bestimmen Sie die Komposition $ (\,\sigma_1\sigma_2)\sigma_3 $ für

$ \sigma_1 = \left\{X \mapsto a, Y \mapsto U, Z \mapsto s(a,U)\right\}, $
$ \sigma_2 = \left\{U \mapsto s(b,W), Y \mapsto X, W \mapsto a \right\}, $
$ \sigma_3 = \left\{W \mapsto b \right\}. $

b) Seien $ \sigma\ , \theta $ und $ \lambda\ $ Substitutionen und bezeichne n die Mengensubtraktion. Beweisen Sie, dass $ (\sigma \ \theta)\lambda) = (\sigma \lambda)(\theta \lambda) $im Allgemeinen falsch ist.

2. Lösung[Bearbeiten]

3. Lösungsweg[Bearbeiten]

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

zur Klausur 28.02.2003