Aufgabe:
Aufgabe 14. (9 Punkte) Entscheide mit Hilfe der Tableau Methode, ob folgende Aussagen Tautologien sind. Falls es keine Tautologie ist, geben Sie bitte eine Belegung an, für die die Aussage die Belegung 0 erhält.
(i) \( (\neg(P \longrightarrow Q) \longrightarrow(Q \vee P)) \)
(ii) \( (((P \longrightarrow R) \longrightarrow(R \longrightarrow Q)) \longrightarrow(P \longrightarrow Q)) \)
(iii) \( ((P \longrightarrow(Q \wedge R)) \rightarrow((P \vee Q) \longrightarrow R)) \)
Problem/Ansatz
ich habe keine Ahnung wie das gehen soll
