Diskussion:Aussageform
Überarbeiten
[Quelltext bearbeiten]Klare mathematische Definition fehlt. --Enlil2 Diskussion:Aussageform#c-Enlil2-2007-04-13T19:39:00.000Z-Überarbeiten11
- Habe versucht das zu leisten. (Referenzen bei Mathworld, Ebbinghaus-Flum und der englischen Wikipedia-Seite. --132.230.166.76 Diskussion:Aussageform#c-132.230.166.76-2007-05-07T18:50:00.000Z-Enlil2-2007-04-13T19:39:00.000Z11 (Alex)
Hier steht syntaktischer Unsinn
[Quelltext bearbeiten]"aus der Mathematik: die Aussageform „A(x)“ = „x + 5 = 10“ geht durch Einsetzen bestimmter Werte in eine Aussage über"
Das ist Unsinn. Weil ein Gleichheitszeichen Terme verbindet, ein Gleichheitszeichen kann keine Wahrheitswerte verbinden, d.h. Aussagen/Aussageformen kann man nicht sinnvoll durch Gleichheitszeichen verbinden. 2 < 5 ist wahr, (2 < 5) = (3 < 7) ist eine unsinnige Kombination von Symbolen, richtig währe hier statt "=" das "<=>" Symbol. (nicht signierter Beitrag von 93.133.79.183 (Diskussion) Diskussion:Aussageform#c-93.133.79.183-2014-03-07T02:35:00.000Z-Hier steht syntaktischer Unsinn11)
Problem in der Einleitung
[Quelltext bearbeiten]In der Einleitung steht, in erster Linie würde sich der Terminus Aussageform nur auf die Satzlogik beziehen. Ich persönlich kenne ihn nur aus der anderen Abteilung. Außerdem: Ich halte es nicht für richtig, zu sagen, dass die Aussageform P(x) eine Funktion ist, jedenfalls in der Typentheorie ist sie vom Typ t (Aussage); vom Typ der Funktion <e,t> ist nur der Ausdruck P allein oder die Funktion λx.P(x). Dementspreched ist doch wohl nur P selbst das Prädikat, und nur P(x) die Aussageform? – Ich hab den Text, der in der Einleitung nach der Fallunterscheidung folgt, vorsorglich entfernt, da er ja auch unbelegt war. --Alazon (Diskussion) Diskussion:Aussageform#c-Alazon-2021-08-25T11:34:00.000Z-Problem in der Einleitung11 (geändert)