Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion/Axiomatik/Weitere Tautologien/Mit Negation/Fakt
Sprache
Beobachten
Bearbeiten
⊢
(
¬
α
→
α
)
→
α
.
{\displaystyle \vdash (\neg \alpha \rightarrow \alpha )\rightarrow \alpha .}
⊢
(
¬
β
→
¬
α
)
∧
(
¬
β
→
α
)
→
β
{\displaystyle \vdash (\neg \beta \rightarrow \neg \alpha )\wedge (\neg \beta \rightarrow \alpha )\rightarrow \beta }
⊢
α
→
¬
¬
α
.
{\displaystyle \vdash \alpha \rightarrow \neg \neg \alpha .}
⊢
¬
¬
α
→
α
.
{\displaystyle \vdash \neg \neg \alpha \rightarrow \alpha .}
⊢
(
α
→
β
)
→
(
¬
β
→
¬
α
)
.
{\displaystyle \vdash (\alpha \rightarrow \beta )\rightarrow (\neg \beta \rightarrow \neg \alpha ).}
⊢
(
¬
β
→
¬
α
)
→
(
α
→
β
)
.
{\displaystyle \vdash (\neg \beta \rightarrow \neg \alpha )\rightarrow (\alpha \rightarrow \beta ).}
Zum Beweis
,
Alternativen Beweis erstellen