Prädikatenlogik

In der Mathematik und auch in anderen Wissenschaften wie z.B. der Informatik, hat man häufig mit Individuenbereichen zu tun, in denen gewisse Relationen und Operationen ausgezeichnet sind. Über Eigenschaften solcher Relationen und Funktionen kann man in der Sprache der Aussagenlogik nur teilweise reden. Man muß daher die sprachlichen Ausdrucksmittel verfeinern und diese der mathematischen Umgangssprache in der erwünschten Weise anpassen. Dafür benötigt man außer logischen Symbolen auch Variable für die Individuen des betreffenden Bereichs, sowie Symbole für die in Rede stehenden Relationen und Operationen.