Diskussion:Monadische Prädikatenlogik zweiter Stufe
Letzter Kommentar: vor 9 Jahren von FerdiBf in Abschnitt Einstelligkeit der Prädikate in die Einleitung
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)
- Das war ein Tippfehler. Danke für den Hinweis.--FerdiBf (Diskussion) 21:22, 28. Jul. 2015 (CEST)
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)
- Eine sehr gute Idee, die ich sofort umgesetzt habe. Danke! --FerdiBf (Diskussion) 22:42, 29. Jul. 2015 (CEST)