Beweis eine Implikation < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Beweisen Sie folgende Implikation:
[mm] \exists [/mm] a [mm] \in [/mm] A [mm] \forall [/mm] b [mm] \in [/mm] B : p(a,b) [mm] \Rightarrow \forall [/mm] b [mm] \in [/mm] B [mm] \exists [/mm] a [mm] \in [/mm] A : p(a,b) |
Ich weiß nicht wo ich anfangen soll. Wie soll ich beginnen?
Wäre nett wenn mir jemand helfen könnte.
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hiho,
nehmen wir uns mal den ersten Teil der Implikation:
[mm]\exists a \in A \forall b \in B : p(a,b)[/mm]
D.h. es existiert ein [mm]a \in A[/mm] (nennen wir es [mm] a_1), [/mm] so daß für alle [mm]b \in B p(a,b)[/mm] gilt.
Betrachten wir uns nun den zweiten Teil der Implikation:
[mm]\forall b \in B \exists a \in A : p(a,b)[/mm]
Hier ist nun die Frage, ob für jedes [mm]b \in B[/mm] ein [mm]a \in A[/mm] existiert, so daß [mm]p(a,b)[/mm] gilt. D.h. du musst zu jedem b nur ein a finden. Findest du so ein a? Wähle dir zu jedem b einfach [mm] a_1 [/mm] 
Gruß,
Gono.
|
|
|
|
