Modellierung WS 2011/12 - Folie 404

Ziele:
Syntax der Aussagenlogik
in der Vorlesung:
- Term: nur Struktur;
- Formel: Term plus Bedeutung durch Regeln der Interpretation
- Signatur bestimmt Struktur der Terme und Formeln
- Beispiele
- Präzedenz und Klammerung
nachlesen:
Kastens, Kleine Büning: Modellierung, Abschnitt 4.1.1
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 17.11.2011