Aussagenlogik (Bildung von Resolventen und Ausnutzung des Resolutionstheorem)

Question

Aufgabe:

Wenn keine Klausur geschrieben wird, sind die Studenten glücklich. Wenn die Studenten glücklich sind, fühlt sich der Dozent wohl. Wenn sich aber der Dozent wohl fühlt, dann hat er keine Lust, Vorlesung zu halten. Wird aber keine Klausur geschrieben, dann hat er Lust, Vorlesung zu halten. Also wird eine Klausur geschrieben.
Formalisieren Sie den vorliegenden Text und untersuchen Sie, ob ein korrekter Schluss vorliegt (z. B. mit einer Wahrheitstafel).

Problem/Ansatz:

Kann mir jemand bei dieser Afgabe helfen?

Aussage 1: Wenn keine Klausur geschrieben wird, sind die Studenten glücklich.

Aussage 2: Wenn die Studenten glücklich sind, fühlt sich der Dozent wohl.

Aussage 3: Wenn sich aber der Dozent wohl fühlt, dann hat er keine Lust, Vorlesung zu halten.

Aussage 4: Wird aber keine Klausur geschrieben, dann hat er Lust, Vorlesung zu halten. Also wird eine Klausur geschrieben.

Kann mir jemand bei dieser Aufgabe helfen?

Löse ich diese Aufgabe mittels Bildung von Resolventen und unter Ausnutzung des Resolutionstheorem?

Gruß

Jan

Answer 1

Formalisieren Sie den vorliegenden Text

Verwende dazu folgende Variablen:

• K: Es wird eine Klausur geschrieben.
• S: Die Studenten sind glücklich.
• D: Der Dozent fühlt sich wohl.
• V: Der Dozent hat Lust, eine Vorlesung zu halten.

Beispiel. "Wenn keine Klausur geschrieben wird, sind die Studenten glücklich"

    ¬K → S

Löse ich diese Aufgabe mittels Bildung von Resolventen und unter Ausnutzung des Resolutionstheorem?

Das könnte sein. Du könntest aber auch eine Wahrheitstafel erstellen. Um ehrlich zu sein weiß ich nicht wie du die Aufgabe löst. Wenn ich die Aufgabe lösen würde, dann würde ich den Tipp des Autors befolgen.