Clause-Beweis < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Gegeben seien die folgenden Clausen mit a, b, c und d als Konstanten sowie x, y und z als Variablen:
(1) R(a,b)
(2) M(x,y) [mm] \vee \neg [/mm] L(y,z)
(3) [mm] \neg [/mm] R(c,x) [mm] \vee \neg [/mm] Q(x)
(4) Q(b) [mm] \vee [/mm] L(x,d)
(5) a = c
(6) [mm] \neg [/mm] M(y,a) [mm] \vee [/mm] F(y,z)
Versuchen Sie, die Clause F(c,a) zu beweisen. |
Hallo
ich sehe ja selber, dass das unmoeglich ist, Resolventenbildung von (6) mit (2) verlangt, dass y = x = a = c, wohingegen Resolventenbildung von (3) und (4) verlangt, dass x = b, was ja ein Widerspruch ist. Aber kann mir jemand zeigen, wie man das sauber widerlegt??
Vielen Dank und Gruss
Martin
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 15:50 Fr 07.12.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
