Une logique qui comprend la logique propositionnelle plus simple plus les variables individuelles (x, y, z, etc. ), constantes individuelles (a, b, c, etc. --ce sont les mêmes que les noms propres), prédicats variables (P, Q, R, S, etc.) ils parcourent monadique ou prédicats « one-place », comme « est rouge », « saute, » etc , les prédicats dyadiques, ou « deux places », comme « est la sœur de, » "est la racine carrée de"et ainsi de suite avec trois, quatre, etc. lieu de prédicats et les quantificateurs existentiels et universels. Parexemple, (x) (Px) signifie « pour chaque x Px"ou « Pour tout x, P est vrai de X » (Notez que « (x) » signifie" pour chaque x. . . . "--c'est le quantificateur universel. De la même façon, (x) (Px Qx) signifie « pour tout x, si Px, puis Qx "ou « Tous les Ps sont Qs. » le quantificateur existentiel--Ex--signifie"pour un x", comme pour exemple Ex (Px): « pour certains x Px" ou "il existe un x tel que P est vrai de celui-ci. "Prédicat logique est souvent mis au point avec les autres d'une identité constante, relationnelle (=). Prédicat logique est une logique d'ordre premier qu'il n'y a quantification parmi la population, mais pas sur les prédicats.