 |
 |
 |
 |
 |
 |
Startseite » Forum » Aussagenlogik Pfeile
Aussagenlogik Pfeile
Schüler Gymnasium,
Tags: Aussagenlogik, Pfeile, wahrheitstafeln
 
|
anonymous 10:21 Uhr, 19.10.2015  |
|
|---|---|
|
Morgen, ich lese mir gerade ein Vorlesungsskript durch und bin bei der Aussagenlogik. Es verwirrt mich sehr, was der Unterschied zwischen zum Beispiel und sein soll. Im Anhang habe ich euch mal zwei Bilder gesendet. :-)   Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
|
| |
 |
|
|
In der Aussagelogik steht für die IMPLIKATION bzw. werden bei Funktionen ( Zuordnungen ) verwendet. Allerdings verwendet man auch manchmal für die Implikation. Gibt es Beispiele ?  |
|
anonymous 10:39 Uhr, 19.10.2015 |
|
|
Hallo Respon, ich habe eben gerade meine Frage bearbeitet, d.h. Bilder hinzugefügt. :-) |
|
anonymous 14:22 Uhr, 19.10.2015 |
|
|
Könntet ihr mir bitte weiterhelfen? :-) |
|
|
|
|
|
Ich habe es so verstanden: Bei der Implikation A folgt B hast Du ja immer den Vordersatz und den Hintersatz. Wenn Dein Vordersatz aus weiteren Teilaussagen besteht, dann benutzt man in diesen nur den dünnen Implikationspfeil und auch nur den dünnen Äquivalenzpfeil. Genau so bei einem komplexeren Hintersatz. Bei A <=> B das Gleiche. Ist A und B komplex aufgebaut, dann werden in A und B nur die dünnen Pfeile benutzt. Durch diese dickeren Pfeile kann man quasi zwischen der linken und rechten Seite unterscheiden.  |
|
|
|
|
|
Hallo, oder steht in der Aussagenlogik zwischen Termen mit Aussagevariablen und bilden so neue aussagenlogische Terme. Diese werden erst durch eine Belegung mit Wahrheitswerten für diese Variablen zu Aussagen. oder steht zwischen Aussageformen. Diese haben Lösungsmengen, über deren Zusammnhang die Zeichen etwas festlegen: . und werden aber - hat sich so "eingebürgert" - auch zwischen Aussagen benutzt ( im Sinn von also:, deshalb:, und daher: usw.) |
|
anonymous 18:32 Uhr, 19.10.2015 |
|
|
Grüß dich Wolfgang, hast du ein Beispiel für eine Aussageform? :-) Und ist das, was tommy geschrieben hat, richtig? So habe ich es auch als Erstes verstanden. |
|
|
|
|
|
Das ist eine nicht ganz so leicht beantwortbare Frage, da zB auch die Notation der Implikation nicht immer einheitlich ist. Mal wird dafür der Subjunktionspfeil verwendet, dann doch der Implikationspfeil dann wieder die Hufeisennotation oder ein ander Mal die polnische Notation mit dem C. Generell geht es hier wohl um die Unterscheidung zwischen Subjunktion und Implikation, die aufgrund großer Ähnlichkeit von vielen Autoren nicht oder nur unzureichend vorgenommen wird. Formal ist eine Subjunktion ist eine Funktion, bei der drei Aussagen beteiligt sind, eine Implikation aber eine Relation zwischen zwei Aussagen. Siehe auch zB www.free-education-resources.com/www.mathematik.net//logik/11k4s8.htm Nett drückt es auch Herr Dinges auf der letzten Seite von http://www.math.uni-frankfurt.de/~ismi/dinges/lecturenotes/MathePhysIAnhang.pdf aus und wie es im Grunde sein sollte, und das beantwortet auch am ehesten deine Frage, beschreibt Herr Brachwitz auf Folie hier: http//didaktik.mathematik.hu-berlin.de/files/junktoren.pdf Dort findest du auch ein paar Beispiele für den gemischten Gebrauch von und EDIT: Was tommy geschrieben hat, würde ich nicht unterschreiben. Wenn es Probleme zu erwarten gibt, die zusammengehörigen Teile zuzuordnen, kann man ja auf Klammersetzung zurückgreifen. |
|
anonymous 22:17 Uhr, 20.10.2015 |
|
|
Hallo Roman-22, danke erst einmal für die Quellen! Ich werde sie mir angucken und mich bei Fragen melden. :-) Vorab eine Frage: Weißt du, was Wolfgang mit ,,Aussageformen" meint? |
|
|
|
|
|
Die Frage wird dir sicher Wolfgang gerne beantworten, wenn er wieder online ist. in der Zwischenzeit könntest du ja eine Suchmaschine deines Vertrauens anwerfen duckduckgo.com/?q=Aussageform und vielleicht de.wikipedia.org/wiki/Aussageform oder http//brinkmann-du.de/mathe/fos/fos01_01.htm finden. |
|
anonymous 17:25 Uhr, 22.10.2015 |
|
|
Ein herzliches Dankeschön, Roman-22! |
1260981
1260115