Prädikatenlogik/Allgemeingültig/Beispielaussagen/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

  1. (wobei ein Ausdruck ist).

  2. wobei die Gruppenaxiome sind und
    ist.
Eine Lösung erstellen