Negation < Folgen und Reihen < eindimensional < reell < Analysis < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) reagiert/warte auf Reaktion  | | Datum: | 18:11 Di 12.04.2011 | | Autor: | PeterSteiner |
[mm] \neg\forall{x} [/mm] : [mm] \neg\forall{y} [/mm] : [mm] \neg [/mm] A(y)
ich muss das negeieren so das das herraus kommt nur leider komme ich nicht drauf :((
[mm] \neg\forall{x} [/mm] : [mm] \exists{y} [/mm] A(y)
Meine Schritte:
[mm] \exists{x} [/mm] : [mm] \neg\forall{y} [/mm] : [mm] \neg [/mm] A(y) und ab hier wird kritisch das ich nur alles falsch mache viell. ist mein erster schritt auch schon falsch
|
|
| |
|
Hallo,
bitte Aufgaben verständlich formulieren!
> [mm]\neg\forall{x}[/mm] : [mm]\neg\forall{y}[/mm] : [mm]\neg[/mm] A(y)
>
> ich muss das negeieren so das das herraus kommt nur leider
> komme ich nicht drauf :((
Was musst du negieren, so dass was herauskommt?
Sollst du die obige Aussage negieren, also [mm]\neg\left(\neg\forall x:\neg\forall y:\neg A(y)\right)[/mm] bilden oder eher [mm]\neg\left(\forall x:\forall y: A(y)\right)[/mm]
>
> [mm]\neg\forall{x}[/mm] : [mm]\exists{y}[/mm] A(y)
Das soll herauskommen oder wie?
>
>
> Meine Schritte:
>
> [mm]\exists{x}[/mm] : [mm]\neg\forall{y}[/mm] : [mm]\neg[/mm] A(y) und ab hier wird
> kritisch das ich nur alles falsch mache viell. ist mein
> erster schritt auch schon falsch
Schreibe bitte nochmal die Aussage auf, die du negieren sollst ...
Gruß
schachuzipus
|
|
|
| |
|
genau das ist meine Aussgae, und diese soll ich negieren komplett
[mm] \neg\forall x:\neg\forall y:\neg [/mm] A(y)
und als ergebnis soll das raus kommen:
[mm] \forall{x}:\exists{y}: [/mm] A(y)
ich komme einfach nicht drauf kann mir einer helfen, oder mir einen link mit andren beispielaufgaben geben.Ich glaube ich habe da ein Grundlegendes Problem :(
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 19:20 Do 14.04.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
