Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Implikation

Implikation

Schüler

Tags: Aussagenlogik, Implikation

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Sarah232

Sarah232 aktiv_icon

18:26 Uhr, 03.10.2011

Antworten
Hallo, Ich befasse mich gerade mit der Implikation.
In der Theorie verstehe ich es (glaube ich)

Also die Aussage ist falsch, wenn die erste Aussage wahr ist und die zweite Aussage falsch ist. Ansonsten ist die Aussage wahr

So, nun habe ich folgendes Beispiel:

A:x ist ein Kreis
B:x ist eine Ellpise

Ich verstehe nun irgendwie nicht genau, was ich machen soll bzw. wie eine Musterlösung aussehen soll.
Will man wissen, ob ein Kreis eine Ellpise ist oder wie?
(Der Satz wäre dann doch: Wenn x ein Kreis ist, dann ist x eine Ellipse ,oder?)

Nach der Regel oben, würde ich jetzt fragen, ob A wahr oder falsch. Aber was soll das x?
Irgendwie hänge ich gerade :-)

Vielen Dank

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Online-Nachhilfe in Mathematik
Antwort
CKims

CKims aktiv_icon

01:37 Uhr, 04.10.2011

Antworten
das x steht fuer ein beliebiges objekt... also eine schachtel, ein auto, ein rechteck, eine kugel, eine ellipse...

jetzt hast du den satz ja schon richtig formuliert... wenn x ein kreis ist, dann ist x eine ellipse... oder formal

AB
(A impliziert B)

und wenn wir nun fuer x einen kreis nehmen und sagen, dass das keine ellipse ist, so ist unsere aussage falsch. fuer jeden anderen fall ist unsere aussage wahr...

lg
Antwort
Aurel

Aurel

01:46 Uhr, 04.10.2011

Antworten
Achtung, man muss unterscheiden zwischen Implikation - auch als metasprachliche Implikation bezeichnet und Subjunktion - auch als objektsprachliche oder materiale Implikation bezeichnet.

Eine Subjunktion ist eine aus 2 Aussagen zusammengesetzte Aussage für die das gilt, was du geschrieben hast:
"Also die Aussage ist falsch, wenn die erste Aussage wahr ist und die zweite Aussage falsch ist. Ansonsten ist die Aussage wahr"

Dagegen ist eine Implikation zwar auch eine Subjunktion, aber eine , die immer wahr ist.
Beispiele für Implikationen:

AA

Bsp.: "Wenn die Sonne scheint, scheint die Sonne" .... das ist wahr, unabhängig davon, ob es wahr oder falsch ist, dass die Sonne scheint.

oder

ABA

" " bedeutet "und"

oder

((AB)A)B

etc.

Nun zu deinem Beispiel:

A:x ist ein Kreis
B:x ist eine Ellpise

AB: "Wenn x ein Kreis ist, dann ist x eine Ellipse", .... das ist eine Subjunktion. Dennoch ist dieses Beispiel problematisch, da, wenn man die Bedeutung (Semantik) mit einbezieht und die Ellipsendefinition zu Grunde legt, man noch die Aussage (AB): "Es ist nicht der Fall, dass x ein Kreis und x keine Ellipse ist" hinzunehmen muss. Es gilt also immer "Wenn x ein Kreis ist, dann ist x eine Ellipse". Das kann man auch zeigen, wenn man ((AB)(AB))(AB) mittels Wahrheitstabelle auswertet, zeigt sich die Implikation: ((AB)(AB))(AB)

ein anderes problematisches Beispiel dieser Art:
A:x ist ein Hund
B:x ist eine Katze
AB: Wenn x ein Hund ist, dann ist x eine Katze

Hier ein unproblematisches Beispiel für eine Subjunktion, die keine Implikation ist:

A: Morgen ist schönes Wetter
B: Karl geht schwimmen

"Wenn morgen schönes Wetter ist, geht Karl schwimmen." ... diese Subjunktion kann wahr oder falsch sein , je nachdem, ob A und/ oder B wahr oder falsch ist, und ist somit keine Implikation.

formal: AB

Dagegen ist die Subjunktion : Wenn gilt, dass, wenn morgen schönes Wetter ist, geht Karl schwimmen und morgen ist schönes Wetter, dann geht Karl schwimmen" immer wahr und somit gleichzeitig eine Implikation.

formal geschrieben:

((AB)A)B
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.