Diskussion:Konvention T

ich verstehe nicht, was das S sein soll in Bedingung (b)

... wenn TR(x) dann S(x)

Es müsste irgendwo erklärt werden. (nicht signierter Beitrag von 95.33.122.27 (Diskussion) 11:53, 10. Dez. 2014 (CET))

S ist anscheinend ein Prädikat im Sinne der Prädikatenlogik. -- UKoch (Diskussion) 17:25, 21. Jan. 2019 (CET)

Tr=S

Im Artikel steht unter (b):

Der Satz für alle x: wenn Tr(x), dann S(x) (mit anderen Worten: Tr=S) kann aus ihr abgeleitet werden.

Müsste es (statt Tr=S) nicht "Tr impliziert S" heißen, also z.B. $Tr\Rightarrow S$? Gleichheit kann doch nicht gemeint sein, denn "wenn, dann" drückt nur eine Implikation aus und keine Äquivalenz. -- UKoch (Diskussion) 17:25, 21. Jan. 2019 (CET)

Mangelhaft

Der Artikel ist leider ziemlich mangelhaft. Der Text deckt sich bei Weitem nicht mit der zitierten Quelle. Begriffe wie "strukturell-deskriptiv" werden nicht erläutert, Sachverhalte stark vereinfacht dargestellt, zum Beispiel ist laut Quelle die Notwendigkeit einer Metasprache nur dann gegeben, wenn die Sprache unendlich ist (was man aus dem Beweis in der Quelle auch einsieht). Und der von UKoch erwähnte Fehler Tr=S ist weiterhin nicht korrigiert, aber man versteht auch nicht, was gemeint sein soll. Es ist schwer zu korrigieren. (nicht signierter Beitrag von LeChambon1940 (Diskussion | Beiträge) 18:33, 20. Jan. 2020 (CET))