Vektorraum/Untervektorraum/Durchschnitt von zwei Vektorräumen/Prädikatenlogische Charakterisierung/Aufgabe
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.