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.