Informatiker Board | Theoretische Informatik | Beweisen Sie mit Hilfe der Resolution.

Informatiker Board » Themengebiete » Theoretische Informatik » Beweisen Sie mit Hilfe der Resolution.

» Hallo Gast [Anmelden|Registrieren]

Letzter Beitrag | Erster ungelesener Beitrag

Druckvorschau | An Freund senden | Thema zu Favoriten hinzufügen

Beweisen Sie mit Hilfe der Resolution.

Autor

Beitrag

« Vorheriges Thema | Nächstes Thema »

F(x)
Grünschnabel

Dabei seit: 04.12.2014
Beiträge: 1

Beweisen Sie mit Hilfe der Resolution.

Zitatantwort auf diesen Beitrag erstellen

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 ... ?

Dieser Beitrag wurde 1 mal editiert, zum letzten Mal von F(x): 04.12.2014 20:09.

04.12.2014 20:03

Nehmen Sie F(x) in Ihre Freundesliste auf

Baumstruktur | Brettstruktur

Informatiker Board » Themengebiete » Theoretische Informatik » Beweisen Sie mit Hilfe der Resolution.