Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Aussagenlogik/Ableitungskalkül/p impliziert (q impliziert p und q)/Aufgabe
Sprache
Beobachten
Bearbeiten
Beweise die aussagenlogische Tautologie
⊢
α
→
(
β
→
α
∧
β
)
{\displaystyle \vdash \alpha \rightarrow (\beta \rightarrow \alpha \wedge \beta )}
aus den aussagenlogischen
Axiomen
.
Zur Lösung
,
Alternative Lösung erstellen