Notwendige und hinreichende Be < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Sei G [mm] \subset \IC [/mm] ein Gebiet und f:G [mm] \rightarrow \IC [/mm] holomorph. Zeigen Sie, dass f schon konstant ist, wenn eine der folgenden Bedingungen erfüllt ist.
a) f(G) [mm] \subset \IR
[/mm]
b) ... |
Ich habe eine Frage zur Formulierúng der obigen Aufgabe:
Wie ist das genau aussagenlogisch gemeint:
"f konstant" [mm] \Rightarrow [/mm] a) ( b), usw. )
oder eher a) [mm] \Rightarrow [/mm] "f konstant".
Also ich persönlich bin jetzt grade etwas verwirrt.
Mein erster Eindruck war, dass "f konstant" notwendige Bedingung für die Aussagen a),b) usw. ist, also a) [mm] \Rightarrow [/mm] "f konstant".
Aber nach näherem Hinsehen auf die Aufgabe, scheint mir genau der umgekehrte Fall richtig zu sein.
Drückt das Wort "schon" eine aussagenlogische Beziehung aus? Wenn ja welche?
Wäre nett, wenn mir jemand kurz aus meiner Verwirrung helfen könnte.
Danke
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 14:24 Sa 09.01.2010 | | Autor: | felixf |
Hallo!
> Sei G [mm]\subset \IC[/mm] ein Gebiet und f:G [mm]\rightarrow \IC[/mm]
> holomorph. Zeigen Sie, dass f schon konstant ist, wenn eine
> der folgenden Bedingungen erfüllt ist.
> a) f(G) [mm]\subset \IR[/mm]
> b) ...
> Ich habe eine Frage zur Formulierúng der obigen Aufgabe:
>
> Wie ist das genau aussagenlogisch gemeint:
>
> "f konstant" [mm]\Rightarrow[/mm] a) ( b), usw. )
>
> oder eher a) [mm]\Rightarrow[/mm] "f konstant".
Das zweitere!
> Also ich persönlich bin jetzt grade etwas verwirrt.
> Mein erster Eindruck war, dass "f konstant" notwendige
> Bedingung für die Aussagen a),b) usw. ist, also a)
> [mm]\Rightarrow[/mm] "f konstant".
Ja.
> Aber nach näherem Hinsehen auf die Aufgabe, scheint mir
> genau der umgekehrte Fall richtig zu sein.
>
> Drückt das Wort "schon" eine aussagenlogische Beziehung
> aus? Wenn ja welche?
Die Aussage: "Zeige, dass X schon gilt, wenn Y erfuellt ist" bedeutet einfach $Y [mm] \Rightarrow [/mm] X$.
LG Felix
|
|
|
|
