Aufgabe:
Entscheide mit Hilfe der Tableau Methode, ob folgende Aussagen Tau- tologien sind. Falls es keine Tautologie ist, geben Sie bitte eine Belegung an, für die die Aussage die Belegung 0 erhält
(ii) (P −→R)−→(R−→Q)→(P −→Q)
Problem/Ansatz:
P R (P->R) -> (R->Q) -> (P->Q)
1 1 1 1 1
1 0 0 0 0
0 1 1 1 1
0 0 1 1 1
So sieht meine Wahrheitstabelle aus, weiß leider nicht ob die richtig ist aber dann ist ii doch nicht tautologisch da eine Aussage falsch ist oder?
