Menu schließen

Beweisen Sie mit Hilfe der Resolution.

Frage: Beweisen Sie mit Hilfe der Resolution.
(keine Antwort)


Autor
Beiträge 0
13
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!



Verstoß melden
Hast Du eine eigene Frage an unsere Informatik-Experten?

1 ähnliche Fragen im Forum: 0 passende Dokumente zum Thema:
> Du befindest dich hier: Support-Forum - Informatik
ÄHNLICHE FRAGEN:
  • Strukturelle Induktion
    Beweisen Sie die folgenden Aussagen für beliebige Funktionen f, beliebige natürliche Zahlen n und beliebige Listen xs. (a) sum ..
  • mehr ...