|
Ziele:
Analoge Begriffe wie in der Aussagenlogik
in der Vorlesung:
- gleiche Definition der Begriffe
- Interpretation unterscheidet sich von der in der Aussagenlogik
- Die Menge der Interpretationen kann i.a.
nicht überprüft werden.
nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 4.2
| 
