Vorlesung Modellierung WS 2001/2002 - Folie Nr. 305a

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 301-308 als PDF

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.