Prädikatenkalkül/Konjunktion der Existenz/Aufgabe

a) Zeige

$\vdash \exists x(\alpha \wedge \beta )\rightarrow \exists x\alpha \wedge \exists x\beta .$

b) Zeige, dass

$\exists x\alpha \wedge \exists x\beta \rightarrow \exists x(\alpha \wedge \beta )$

keine Tautologie ist.

Eine Lösung erstellen