Modellierung WS 2010/11 - Folie 406

Ziele:
Sorgfältig formalisieren
in der Vorlesung:
Erläuterungen dazu
- Aussagenlogische Formeln zu den Sätzen entwickeln
- Begründungen dazu.
- Vorsicht beim Übertragen von Umgangssprache in Formeln, insbesondere bei Klammerung und Implikation.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010