Beweis von einer Tautologie.

Question

Beweisen Sie, dass die folgende Aussage eine Tautologie ist:
$$ ((A \wedge B) \Longrightarrow A) \Longleftrightarrow(A \Longrightarrow(A \vee B)) $$

 Habe ich ein fehler gemacht? Weil bei mir ergibt es sich keine Tautologie.

Answer 1

Mach lieber Schritt für Schritt, wenn es dir zu unübersichtlich ist:

A	B	A ∧ B	A ∨ B	(A ∧ B) -->A	A → (A ∨ B)	((A ∧ B) -->A) <=> (A → (A ∨ B))
w	w	w	w	w	w	w
w	f	f	w	w	w	w
f	w	f	w	w	w	w
f	f	f	f	w	w	w

                                                                        

=> Tautologie

Comments

Ich habe mein fehler gefunden!