Aussage negieren < Krypt.+Kod.+Compalg. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 16:08 So 05.11.2006 | | Autor: | chief |
| Aufgabe | "Jedermann braucht gelegentlich jemanden."
Negieren Sie diese Aussage. |
Hallo,
ich habe bereits diesen post gelesen: https://matheraum.de/read?t=193292
also ich habe jetzt folgende aussage erstellt:
[mm] \forall [/mm] Menschen [mm] \exists [/mm] Mensch : dieser Mensch wird gelegentlich gebraucht
die negierung sollte dann so aussehen:
[mm] \exists [/mm] Mensch [mm] \forall [/mm] Menschen : ??
ich hoffe dass wenigstens meine aussage stimmt. aber wie bekomme ich die negierung hin? bei dem anderen post war keine zeitangabe enthalten :(.
hoffentlich kann mir einer helfen ....
gruß
thomas
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt
|
|
| |
|
Hallo chief!
> "Jedermann braucht gelegentlich jemanden."
> Negieren Sie diese Aussage.
> Hallo,
>
> ich habe bereits diesen post gelesen:
> https://matheraum.de/read?t=193292
>
> also ich habe jetzt folgende aussage erstellt:
>
> [mm]\forall[/mm] Menschen [mm]\exists[/mm] Mensch : dieser Mensch wird
> gelegentlich gebraucht
Das ist nicht ganz richtig. Es kann ja sein, dass jeder Mensch Person x braucht, aber niemand braucht Person y, aber Person y selbst braucht jemanden anders. Du hast hier also ausgedrückt: Jeder Mensch wird gelegentlich gebraucht. Das war aber nicht das, was du machen sollst.
Richtig ist: [mm] \forall [/mm] Menschen [mm] \exists [/mm] Mensch: x braucht gelegentlich y
> die negierung sollte dann so aussehen:
>
> [mm]\exists[/mm] Mensch [mm]\forall[/mm] Menschen : ??
Logisch ist die Negation einfach folgende: Es gibt einen Menschen, der nie jemanden (anders) braucht. Also:
[mm] \exists [/mm] Mensch x: x braucht nie Mensch y
oder so ähnlich. Ich finde das immer etwas umständlich, so etwas in Formeln zu packen, aber wahrscheinlich ist es schon so die Aufgabenstellung...
Viele Grüße
Bastiane
![[cap]](/images/smileys/cap.gif "[cap]")
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 16:20 Di 07.11.2006 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
