Aufgabe:
Seien P, Q und R aussagenlogische Formeln. Nutzen Sie die Tableaumethode um zu überprüfen,
ob folgende zwei Aussagen Tautologien sind:
(i) ¬(P → Q) → (Q ∨ P)
(ii) (P → (Q ∧ R)) → ((P ∨ Q) → R)
Problem/Ansatz:
Hallo dies ist die Aufgabe die ich momentan löse und wir sollen es anhand eines Baumes darstellen lassen meine frage ist bei (i) ich habe dort raus mit dem Baum dass es eine Tautologie ist da P-> Q negiert werden müssen aber weiss nicht ob es richtig ist kann mir einer helfen ?
