|
Ziele:
Grundbegriff des logischen Schlusses verstehen
in der Vorlesung:
- Beispiele für logische Schlüsse zeigen
- Unterscheiden: logischer Schluss A |= F und
aussagenlogische Formel A -> F
nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 4.1.2
Übungsaufgaben:
Mit logischen Aussagen
Eigenschaften des Getränkeautomaten,
seiner Bedienung und seiner Zustände
beschreiben.
Prüfen, ob die Aussagen erfüllbar
sind.
| 
