|
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:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 4.1.1
|
