Aussagenlogik < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 21:00 Di 10.07.2007 | | Autor: | ArDa |
| Aufgabe | Wie heißt die Verneinung der Aussage "Alle Kreter lügen" ?
( ) Alle Kreter lügen nicht.
( ) Es gibt einen Lügner, der kein Kreter ist.
( ) Es gibt einen Kreter, der nicht lügt. |
Was würdet Ihr ankreuzen ?
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hi,
die Frage ist doch eher, was DU ankreuzen würdest?
Hast du eine Idee? Oder ne Überlegung.
Wenn du uns die mitteilst, beraten uns diskutieren wir die gerne 
Aber ohne Ansatz oder Idee nicht so gerne, also... mal ran
Gruß
schachuzipus
|
|
|
| |
|
| Status: |
(Frage) beantwortet | | Datum: | 21:10 Di 10.07.2007 | | Autor: | ArDa |
Ja gut danke erstmal, ich würde da die mitte auslassen und die beiden anderen ankreuzen ?
|
|
|
| |
|
Hallo nochmal,
na schon besser
Gegenfrage: warum?
Versuchen wir zu formalisieren:
Nennen wir die Menge aller Kreter K und die Eigenschaft zu lügen nennen wir L
Dann ist doch die Aussage des Satzes: [mm] $\forall k\in [/mm] K$ : $L(k)$
Also für jeden Kreter aus der Menge aller Kreter gilt: der Kreter lügt
Nun müssen wir das verneinen, also formal:
[mm] $\neg \left(\forall k\in K : L(k) \right)$
[/mm]
Und das gibt formal....
Und dann übersetzt in Umgangssprache....
Kann dann (1) und (3) richtig sein?
Kommste damit weiter?
Gruß
schachuzipus
|
|
|
| |
|
Hallo ArDa!
> Wie heißt die Verneinung der Aussage "Alle Kreter lügen" ?
> ( ) Alle Kreter lügen nicht.
> ( ) Es gibt einen Lügner, der kein Kreter ist.
> ( ) Es gibt einen Kreter, der nicht lügt.
> Was würdet Ihr ankreuzen ?
Hier haben wir wieder das Gleiche. Die Aussage ist - in Kurzform:
[mm] \forall [/mm] x gilt y.
Die Verneingung ist:
[mm] \neg(\forall [/mm] x gilt y)
Und wie funktioniert das nach den Regeln der Aussagenlogik? Das ergibt dann: [mm] \exists [/mm] x so dass [mm] \neg [/mm] y.
Bekommst du das jetzt hin?
Viele Grüße
Bastiane
![[cap]](/images/smileys/cap.gif "[cap]")
|
|
|
| |
|
> Wie heißt die Verneinung der Aussage "Alle Kreter lügen" ?
> ( ) Alle Kreter lügen nicht.
> ( ) Es gibt einen Lügner, der kein Kreter ist.
> ( ) Es gibt einen Kreter, der nicht lügt.
Ich würde sagen die Verneinung der Aussage "Alle Kreter lügen"
ist: "Es gibt mind. einen Kreter der nicht lügt"
|
|
|
|
![[daumenhoch]](/images/smileys/daumenhoch.gif "[daumenhoch]"){kind=small}
