Verwenden Sie Tableaus zum Nachweis, dass 1. (p → q) → ¬q → ¬p eine Tautologie ist

Question

Aufgabe:

Verwenden Sie Tableaus zum Nachweis, dass
1. (p → q) → ¬q → ¬p eine Tautologie ist

Problem/Ansatz:

Ich habe es mit Wahrheitstabelle gemacht und ich habe es gezeigt, dass es eine Tautologie. Aber ich weiß es nicht, wie man mit Tableaus zeigen kann. Ich werde sehr dankbar, wenn jemand mir helfen könnte.

Answer 1

Tableau ist nur ein anderes Wort für Wahrheitswerttabelle.

Comments

Ja aber wir sollen nicht mit wahrheitstabelle zeigen sondern mit einem Baum

---

Hat jemand eine Ahnung :(