Prädikatenlogik/Unterstruktur/Definiere/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet erster Stufe. Definiere eine -„Unterstruktur“ in einer -Struktur

.
Eine Lösung erstellen