Durch Resolutionsbeweis zeigen oder widerlegen, dass die Formel eine Tautologie ist

Question

Aufgabe:

Gegeben Sei die Formel H = (x1 → x2) ∧ (¬x1 → x2) → x2. Zeigen oder widerlegen
Sie durch einen Resultionsbeweis, dass die Formel eine Tautologie ist.

Problem/Ansatz:

Hallo Leute,ich habe eine Frage,wie ich das endliche Ergebnis so wie X2 -> X2 nicht Tautogie beweisen?
Also ich habe schon im Wahrheitstabelle bewiesen ist 0000,nämlich nicht Tautologie.

So vielen Dank für Ihre Hilfe!

:)

Comments

Resultionsbeweis

Was ist damit gemeint?

---

Hi :)

ich meine,wie kann ich die Formel H beweisen,ob sie Tautologie oder nicht ist

---

Das würde man dann Resolutionsbeweis nennen tun.

---

genau ist ja Resolutionsbeweis,habt ihr eine Idee?

Answer 1

Also meine Wahrheitstafel- Auswertung hat ergeben, dass die letzte Implikation

für allw w-f-Paare für \(x_1,x_2\) den Wert w hat.

Daher ist es (für mich) eine Tautologie.

Comments

Text erkannt:

\( \rightarrow 1.0 \Rightarrow 0 \)
\( 11.1 \Rightarrow 1 \)
unerficubenper7

das ist meine WHT

---

doch,ich hab selber verwirrt,das ist ja bestimmt eine Tautologie

---

Überprüfe nochmal die letzte Spalte.

Ich meine, hier müsste überall 1 stehen.