Beweisen Sie mit Hilfe der Resolution. |
04.12.2014, 20:03 | Auf diesen Beitrag antworten » |
F(x) | Beweisen Sie mit Hilfe der Resolution. Meine Frage: Hallo Leute, ich hoffe ihr könnt mir weiterhelfen, ich komme mit der Aufgabe einfach nicht weiter. Wie der Titel schon sagt: Beweisen Sie mit Hilfe der Resolution: Für alle Elmente x Für alle Elemente y ( P(a) u. (P(x) -> P(y) ) u. (P(y) -> Q(b) ) ) folgt semantisch aus Q(b) [Leider konnte einige Symbole nicht angezeigt werden, daher die Beschreibung in Worten] Lg, F(x) Meine Ideen: Der erste Schritt wäre den Quantor einsetzen oder bzw. ersetzen ... ? |
|
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|