Aufgabe:
Behauptung:
\( \mathrm{F}: \forall x,-c(g, z) \)
Zu zeigen:
\( \mathrm{A} 1 \wedge \mathrm{~A}_{2}=\mathrm{F} \)
Da Resolutionskalkil vollstandig und korrekt, reicht es zu zeigen
\( \text { A1 A } \mathrm{A} 2+\mathrm{F} \)
Also, dass \( \vdash(A 1 \wedge A 2) \rightarrow F \). Eine Tautologie ist. Wir filhren elnen Widerspruchsbeweis und zeigen, dass \( A 1 \wedge A 2 \wedge \neg F \) unerfullbar ist:
Könnte jemand mit erklären, was die Zeichen bedeuten?
Was ist ein Resolutionskalkül?
Was ist etwas erfüllbar und nicht?
Bitte sehr einfach und mit Beispiel erklären.