Seite parallel anzeigen
Widerlegbarkeit
(Logik Einführung Kapitel 6.4.2)Diese Seite nimmt Bezug auf
(Seite parallel anzeigen)
- Logik Einführung: Die Wumpus-Welt
- Logik Einführung: Formeln & Interpretationen
Eine Formel ist widerlegbar, wenn es zumindest eine Interpretation gibt, die die Formel nicht erfüllt.
Eine Formelmenge ist widerlegbar, wenn es zumindest eine Interpretation gibt, die keine Formel der Menge erfüllt.
Eine Formelmenge ist widerlegbar, wenn es zumindest eine Interpretation gibt, die keine Formel der Menge erfüllt.
Beispiel - Eine Formel ist widerlegbar
Betrachten wir wieder die Wumpus-Welt.
Die Formelist widerlegbar, da es Welten gibt, in denen entweder
- Luftzug(B,1) UND Gestank(A,2)
wahrnehmbar ist, und alle Interpretationen die diese Welten beschreiben die Formel nicht erfüllen.
- auf Feld [B,1] kein Luftzug, oder
- auf Feld [A,2] kein Gestank
- zurück zu Erfüllbarkeit
- zum Seitenanfang
- weiter zu
