Diskussion:Monadische Prädikatenlogik zweiter Stufe

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 9 Jahren von FerdiBf in Abschnitt Einstelligkeit der Prädikate in die Einleitung
Zur Navigation springen Zur Suche springen

Fragement

[Quelltext bearbeiten]

Ist Fragement (in der Einleitung) ein Tippfehler oder gibt es den Begriff wirklich?--Kamsa Hapnida (Diskussion) 21:41, 27. Jul. 2015 (CEST)Beantworten

Das war ein Tippfehler. Danke für den Hinweis.--FerdiBf (Diskussion) 21:22, 28. Jul. 2015 (CEST)Beantworten

Einstelligkeit der Prädikate in die Einleitung

[Quelltext bearbeiten]

Ich würde den in meinen Augen entscheidenden Hinweis, dass monadische Prädikatenlogik die Logik der einstelligen Prädikate ist, mit in die Einleitung aufnehmen; vielleicht ungefähr so:

Es handelt sich um dasjenige Fragment der Prädikatenlogik zweiter Stufe, das nur die einstelligen Prädikate betrachtet.

-- Jan Schreiber (Diskussion) 21:55, 29. Jul. 2015 (CEST)Beantworten

Eine sehr gute Idee, die ich sofort umgesetzt habe. Danke! --FerdiBf (Diskussion) 22:42, 29. Jul. 2015 (CEST)Beantworten