Vektorraum/Untervektorraum/Durchschnitt von zwei Vektorräumen/Prädikatenlogische Charakterisierung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Formalisiere prädikatenlogisch mit einem geeigneten Symbolalphabet den Sachverhalt, dass der Durchschnitt von zwei Untervektorräumen in einem Vektorraum über einem Körper

wieder ein Untervektorraum ist.
Eine Lösung erstellen