Prädikatenlogik, bedeutung im formalismus

Question

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.

Comments

https://de.wikipedia.org/wiki/Resolution_(Logik)

⊢: Dieses Zeichen bedeutet „beweist“.

---

Hast du keine Unterlagen? In der Regel ist sowas dort immer erklärt. Und das Internet und Fachliteratur gibt es ja auch noch.

---

Leider finde ich diese zu kompliziert erklärt.

Ich hätte gedacht, wenn jemand sich auskennt, könnte er zumindestens in zwei Sätzen das in eigenen Worten erklären...

---

Und da bist du noch nicht auf die Idee gekommen, einfach mal selbstständig zu recherchieren?

Es ist nicht ungewöhnlich, dass man Dinge aus den Unterlagen nicht sofort versteht. Dann sollte man aber die Initiative ergreifen und erst einmal selbstständig nach weiteren Erklärungen suchen und verschiedene Erklärungen abgleichen.

Googlet man nach "Resolutionskalkül", findet man erstes einen Link zur Wikipedia zum Begriff Resolution (Logik). Dort liest man dann - wie von dir gewünscht in wenigen Sätzen:

Die Resolution ist ein Verfahren der formalen Logik, um eine logische Formel auf Gültigkeit zu testen.

Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein Widerlegungsverfahren: Statt direkt die Allgemeingültigkeit einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren Verneinung ab.

Da kann man sich nun die Frage stellen, ob dir das ausreicht oder eben nicht. Etwas mehr Eigeninitiative solltest du schon in deinem eigenen Interesse zeigen, denn es studiert sich immerhin nicht von alleine. Es ist grundsätzlich mit Arbeit verbunden.