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