Prädikatsausdruck
Prädikat-s-Ausdruck lat.-deu.
Ein Prädikatsausdruck im Sinne der modernen Logik ist „ein Ausdruck, aus dem man durch Einsetzen von Individuennamen für Individuenvariablen einen Satz bilden kann“.[1] Mit anderen Worten: Ein Prädikat ist der Ausdruck, der übrig bleibt, wenn man in einem Satz die in ihm vorkommenden Namen wegstreicht.[2]
- ↑ Eike von Savigny: Grundkurs im logischen Schließen. 2. Auflage. 1984, S. 85.
- ↑ Vgl. (für den einfachen Satz) Franz von Kutschera, Albert Breitkopf: Einführung in die moderne Logik. 8. Auflage. 2007, ISBN 978-3-495-48271-1, S. 84.