0 Daumen
208 Aufrufe

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 ?

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community