Beweisen Sie mit Hilfe der Resolution.
Frage: Beweisen Sie mit Hilfe der Resolution.(keine Antwort)
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, KhiCon3112 |
Frage von KhiCon3112 (ehem. Mitglied) | am 04.12.2014 - 21:11 |
Leider noch keine Antworten vorhanden! |
1 ähnliche Fragen im Forum:
> Du befindest dich hier: Support-Forum - Informatik- Strukturelle Induktion (3 Antworten)
- mehr ...
ÄHNLICHE FRAGEN:
- Strukturelle InduktionBeweisen Sie die folgenden Aussagen für beliebige Funktionen f, beliebige natürliche Zahlen n und beliebige Listen xs. (a) sum ..
- mehr ...