Vektorraum/Untervektorraum/Prädikatenlogische Charakterisierung/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Wir gehen davon aus, dass wir für und schon eine prädikatenlogische Beschreibung wie in Beispiel gefunden haben. Zur prädikatenlogischen Beschreibung eines Untervektorraumes führen wir ein weiteres einstelliges Relationssysmbol ein. Die folgenden Axiome charakterisieren dann einen Untervektorraum.

Zur gelösten Aufgabe