Diskussion:Mathe für Nicht-Freaks: Quantor

Aussage oder Aussageform?

Letzter Kommentar: vor 12 Jahren3 Kommentare1 Person ist an der Diskussion beteiligt

In der Änderung http://de.wikibooks.org/w/index.php?title=Mathe_f%C3%BCr_Nicht-Freaks:_Logik:_Quantor&oldid=587083 hat 78.94.246.178 bemerkt, dass „ $x$ ist eine gerade Zahl“ und „ $x^{2}\geq 0$ “ keine Aussagen sondern Aussageformen sind. Ich stelle diese Bemerkung hier zur Diskussion. Grüße Stephan Kulla 11:12, 15. Jun. 2011 (CEST)Beantworten

Soweit ich mich in der Wikipedia und den Logik-Skripten informieren konnte, hat der anonyme Benutzer recht. Siehe w:Aussageform und w:Aussage (Logik)#Aussageform. Deswegen sollte der Abschnitt zur Logik korrigiert werden. Ich habe dies in dem Meilenstein zum Projekt mit aufgenommen (habe gerade nicht viel Zeit, mich darum zu kümmern). Grüße Stephan Kulla 18:57, 23. Jun. 2011 (CEST)Beantworten

Um genau zu sein enthält die Aussgenlogik generell keine Quantoren. Sobald

\exists

oder

\forall

ins Spiel kommen sind wir im Bereich der Prädikatenlogik (1. Stufe). Das sollte dringendst erwähnt werden. Evtl werd ich's später selbst korrigieren, wenn ich damit niemandem auf die Füße trete. Gruß, Jazzpirate 15:34, 02.12.2011

Hallo Jazzpirate, vielen Dank für deine Korrekturen. Grüße Stephan Kulla 00:32, 5. Dez. 2011 (CET)Beantworten

Gebundene Variable

Letzter Kommentar: vor 6 Jahren2 Kommentare2 Personen sind an der Diskussion beteiligt

Es ist zwar richtig, dass Quantoren Variable binden, aber "gebundene" und "freie" Variable werden erst im nächsten Kapitel definiert. Ich habe das Wort "gebunden" deshalb hier entfernt. Es trug m.E. auch nichts zum Verständnis bei. Jürgen-Michael Glubrecht 13:39, 22. Sep. 2018 (CEST)Beantworten

Passt -- Stephan Kulla 17:02, 22. Sep. 2018 (CEST)Beantworten