Aussagenlogik/Ableitungskalkül/Konjunktion/Fakt
Für
α
,
β
∈
L
V
{\displaystyle {}\alpha ,\beta \in L^{V}}
ist
⊢
α
∧
β
→
α
{\displaystyle \vdash \alpha \wedge \beta \rightarrow \alpha }
und
⊢
α
∧
β
→
β
.
{\displaystyle \vdash \alpha \wedge \beta \rightarrow \beta .}
Zum Beweis
,
Alternativen Beweis erstellen
ist
