|
Ziele:
Axiome definieren Terme als gleichbedeutend
in der Vorlesung:
- Anwendungen von Axiomen auf Termpaare zeigen (Substitution)
- Beispiel: Kommutativgesetz anwenden
Verständnisfragen:
Erklären Sie Anwendungen des Kommutativgesetzes
präzise in der definierten Terminologie.
| 
