Logik/Modell/Maximal widerspruchsfrei/Beispiele/Ohne Surjektiv/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige durch ein Beispiel, dass Fakt

ohne die Voraussetzung, dass eine surjektive Terminterpretation vorliegt, nicht gelten muss.
Eine Lösung erstellen
Abgerufen von „https://de.wikiversity.org/w/index.php?title=Logik/Modell/Maximal_widerspruchsfrei/Beispiele/Ohne_Surjektiv/Aufgabe&oldid=391511“