Aussagenlogik/Ableitungskalkül/Konjunktion/Fakt

Für ${}\alpha ,\beta \in L^{V}$ ist

$\vdash \alpha \wedge \beta \rightarrow \alpha$

und

\vdash \alpha \wedge \beta \rightarrow \beta .