|
Ziele:
Syntax der Aussagenlogik
in der Vorlesung:
- Term: nur Struktur;
Formel: Term mit Bedeutung; an Hand von Funktionen ausrechnen
- Signatur bestimmt Struktur der Formeln
- Beispiele
- Präzedenz und Klammerung
nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 4.1.1
| 
