Negation von Quantoren < Lineare Algebra < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) reagiert/warte auf Reaktion  | | Datum: | 15:40 Sa 29.10.2005 | | Autor: | dobermnn |
Hallo ich habe folgende Frage:
Wenn ich folgenden Ausdruck negieren möchte
[mm] \forall [/mm] x ((r(x)) [mm] \wedge [/mm] ( [mm] \neg [/mm] s(x)) [mm] \to [/mm] (q(x)) bleiben dann [mm] \wedge [/mm] und [mm] \to [/mm] so stehen oder werden diese umgekehrt?
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hallo!
> Wenn ich folgenden Ausdruck negieren möchte
> [mm]\forall[/mm] x ((r(x)) [mm]\wedge[/mm] ( [mm]\neg[/mm] s(x)) [mm]\to[/mm] (q(x))
> bleiben dann [mm]\wedge[/mm] und [mm]\to[/mm] so stehen oder werden diese
> umgekehrt?
Kurz gesagt, steht da ja: [mm] \forall [/mm] x gilt [mm] (A\Rightarrow [/mm] B) - die Negation davon ist: [mm] \exists [/mm] x, so dass gilt [mm] (A\not\Rightarrow [/mm] B)
Es ist also im Prinzip total egal, was da in der Klammer steht. Hilft dir das weiter?
Viele Grüße
Bastiane
![[cap]](/images/smileys/cap.gif "[cap]")
|
|
|
|
