Modellierung WS 2010/11 - Folie 405

Ziele:
Wahrheitswerte zu aussagenlogischen Formeln
in der Vorlesung:
- Belegung erläutern
- Wir gehen davon aus, dass wir passende Belegungen zu der Menge der Formeln wählen, die wir gerade untersuchen.
- logische Verknüpfungen zeigen
- Interpretation: Belegung plus Verknüpfungen
- Beispiele dazu
- Bei n Variablen 2 hoch n verschiedene Belegungen
nachlesen:
Kastens, Kleine Büning: Modellierung, Abschnitt 4.1.1
-
Autor: Prof. Dr. Uwe KastensGeneriert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010