Diskussion:Mathe für Nicht-Freaks: Quantor

Aus Wikibooks
Zur Navigation springen Zur Suche springen

Aussage oder Aussageform?[Bearbeiten]

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 „ ist eine gerade Zahl“ und „“ keine Aussagen sondern Aussageformen sind. Ich stelle diese Bemerkung hier zur Diskussion. Grüße Stephan Kulla 11:12, 15. Jun. 2011 (CEST)

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)
Um genau zu sein enthält die Aussgenlogik generell keine Quantoren. Sobald oder 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)

Gebundene Variable[Bearbeiten]

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)

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