Beweisen Sie mit Hilfe der Resolution
1 Beiträge gefunden:
0 Dokumente und 1 Forumsbeiträge0 Dokumente zum Thema Beweisen Sie mit Hilfe der Resolution:
1 Forumsbeiträge zum Thema 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)
Lg,
KhiC..