Prädikatenlogik/Allgemeingültig/Beispielaussagen/Aufgabe

Zeige, dass die folgenden prädikatenlogischen Ausdrücke allgemeingültig sind.

1. $\forall x\forall y\forall z((x=y\wedge y=z)\rightarrow x=z).$

2. $(\forall x\alpha )\rightarrow \alpha$

   (wobei ${}\alpha$ ein Ausdruck ist).

3. $\alpha _{1}\wedge \alpha _{2}\wedge \alpha _{3}\rightarrow \beta ,$

   wobei ${}\alpha _{1},\alpha _{2},\alpha _{3}$ die Gruppenaxiome sind und

   $\beta :=\forall z(\forall x(zx=x\wedge xz=x)\rightarrow z=e)$

   ist.

Eine Lösung erstellen