Zum Inhalt springen

Prädikatenlogik/Allgemeingültig/Beispielaussagen/Aufgabe

Aus Wikiversity

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

  1. (wobei ein Ausdruck ist).

  2. wobei die Gruppenaxiome sind und
    ist.