Erfüllbare Belegungen finden < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 12:34 Mi 24.04.2013 | | Autor: | Naienna |
| Aufgabe | Betrachten Sie die folgenden Formeln:
φ0=X0↔(¬X1∧X1), φ1=¬X1↑X1, φ2=(¬X2∨X1)↮(X2→X1).
Welche dieser Formeln sind erfüllbar? – Begründen Sie Ihre Aussagen jeweils mit Rückgriff auf die Semantik der Aussagenlogik. |
Hallo,
ich setze mich grade mit den aktuellen Logikhausaufgaben auseinander und würde gerne einmal nachfragen, ob ich in die richtige Richtung denke oder ob ichs mir zu leicht vorstelle. Also:
Für φ0 habe ich mir überlegt, dass sie erfülbar ist, weil unter jeder Belegung β, für die β(X0)=1 gilt, wahr ist. Begründung: Jaaa und jetzt hapert es ein wenig. ich würde jetzt denken, dass aufgrund der äquivalenz und der Klammern die rechten Seite automatisch wahr sein muss, wenn ich für x0 1 wähle....stimmt das den so? Und gibt es vielleicht noch eine sinnvollere Erklärung für meine intuitive Meinung?( Vorrausgesetzt, sie ist richtig....)
Bevor ich weiter mache würde mich jetzt erstmal interessieren ob das so passt, vielen Dank im Vorraus! 
Glg Naienna
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 23:20 Mi 24.04.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
