Mengen,Aussage formalisieren < Sonstiges < Lineare Algebra < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 16:47 Sa 25.10.2008 | | Autor: | Misole |
| Aufgabe | Formalisieren Sie folgende Aussage:"Zu beliebigen reellen Zahlen a und b existiert eine natürliche Zahl n so, dass na größer ist als b und nb größer als a,falls ab < 0".
Bilden Sie weiterhin die formale Negation dieser Aussage, ohne dabei das Symbol [mm] \neg [/mm] zu benutzen. Überprüfen Sie den Wahrheitswert dieser Negation. |
Erstmal Hallo,
Ich komm mit den Zeichen nicht wirklich zurecht.
(Mathe war nicht mein Wunschstudiengang,eher eine 3.Wahl)
Ich habe mich mal an der Aufgabe versucht:
Formalisiert:
[mm] \forall [/mm] a,b [mm] \in \IR \exists [/mm] n [mm] \in \IN \Rightarrow [/mm] na > b [mm] \wedge [/mm] nb > a [mm] \gdw [/mm] ab < 0
Negation:
Da weiß ich nich weiter. Ich würd da einfach die > in < umwandeln?
Und wie überprüfe ich dann den Wahrheitswert?
Bitte um Hilfe.
Danke im Voraus
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 02:43 So 26.10.2008 | | Autor: | leduart |
hallo
es muss sicher heissen a*b>0 nicht kleiner 0.
das falls ab>0 hast du mit dem implikations oder Aequivalenzpfeil falsch uebersetzt. Das gehoert noch zu den Bedingungen fuer a, b.
Das mit der negation musst du noch mal ueberlegen.
z. Bsp ist die Aussage : zu jedem n gibt es eine Zahl m mit m>n
verneint durch: Es existiert (mindestens) ein n zu dem es keine Zahl m gibt mit m>n , bzw fuer alle Zahlen m gilt n>m
Gruss leduart
|
|
|
|
