Diskussion:Monadische Prädikatenlogik zweiter Stufe
Letzter Kommentar: vor 8 Jahren von FerdiBf in Abschnitt Einstelligkeit der Prädikate in die Einleitung
Fragement 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 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)