Diskussion:Monadische Prädikatenlogik zweiter Stufe

Fragement

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

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

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

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

Abschnitt hinzufügen