Weisen Sie die folgende Rechenregeln in Knat nach. {B → A, ¬B → A} ⊢ A.

Question

Aufgabe:

Weisen Sie die folgende Rechenregeln in K_nat nach.

{B → A, ¬B → A} ⊢ A.

Können Sie mir bitte bitte bei dieser Aufgabe helfen? Ich weiß es nicht, wie ich vorgehen kann! Wenn Sie mir die Rechnung zeigen, wie es genau geht, werde ich dankbar.

Comments

Vielleicht muss man die Tautologie

\(\vDash B\vee \lnot B\) in die Prämissenmenge hilfsmäßig aufnehmen.

---

Kannst du es mir vielleich genauer zeigen?

---

Leider kenne ich die Regeln eures Kalküls \(K_{nat}\)

nicht. Aber vielleicht kennt sich da jemand besser aus?

---

Ich hoffe, dass mir jemand helfen kann!