Aussagenlogik/Allgemeine Konjunktionstautologie/Aufgabe

Es seien ${}\alpha _{1},\ldots ,\alpha _{n}$ Ausdrücke und es seien ${}i_{1},\ldots ,i_{k}$ Elemente aus ${}\{1,\ldots ,n\}$. Zeige, dass

$\vdash \alpha _{1}\wedge \ldots \wedge \alpha _{n}\rightarrow \alpha _{i_{1}}\wedge \ldots \wedge \alpha _{i_{k}}$

gilt.

Eine Lösung erstellen