Prädikat • Quantor • Existenzaussage • Allaussage • Identität • Satz von Herbrand • Freie Variable und gebundene Variable • Individuenvariable • Prädikatenlogik höherer Stufe • PROLOG • Pränexform • Skolemform • Unifikation
