Prädikat der ersten Ordnung

Ein Prädikat der ersten Ordnung (hat auch einen monad genannt), ist ein Prädikat, das nur Konstanten der Person (En) oder Variablen als Argument (E) nimmt. Vergleichen Sie Prädikat der zweiten Ordnung und höherwertiges Prädikat.

Siehe auch


Freies Online-Wörterbuch der Computerwissenschaft / Schnappen (Grill-Fußball)
Impressum & Datenschutz