Logik:Klausuren/28.02.2003/2.1 Aufgabe

1. Aufgabenstellung

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.

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 28.02.2003