Vektorraum/Untervektorraum/Prädikatenlogische Charakterisierung/Aufgabe
Formalisiere prädikatenlogisch mit einem geeigneten Symbolalphabet , dass ein Untervektorraum in einem Vektorraum über einem Körper
vorliegt.Formalisiere prädikatenlogisch mit einem geeigneten Symbolalphabet , dass ein Untervektorraum in einem Vektorraum über einem Körper
vorliegt.