Logika, kuri apima paprastesnis propositional logika ir atskirų kintamųjų (x, y, z, ir kt.), atskirų konstantos (a, b, c, ir t. t. --tai yra tas pats, kaip pavadinimų), isaiskintas kintamųjų (P, Q, R, S, t) šių diapazono per monadic arba viena-padėti, predicates kaip "yra raudona", "šokinėja," ir t. t. , dyadic, arba dviejų-padėti, predicates, pavyzdžiui, "yra sesuo," "yra kvadratinės šaknies iš"ir t. t. su trijų, keturių, ir t. t. vieta predicates ir universaliųjų ir egzistencinių kvantifikatoriais. Pvz., (x) (Px) priemonės "kas x Px" arba "Kas x p yra tiesa x" (Atkreipkite dėmesį, kad "(x)" reiškia "už kiekvieną x. . . . "--tai universaliųjų quantifier. Panašiai, (x) (Px Qx) reiškia "kas X, jei Px, tada Qx" arba "Visi Ps yra Qs. " egzistencinių quantifier--Ex--tai "kai kurie x", kaip pavyzdys Ex (Px) reiškia "kai kurie x Px" arba "egzistuoja x taip, kad p yra tiesa, ji. "Tarinys logika dažnai parengti papildomą reliacinės konstanta, tapatybės (=). Predikato logika yra pirmoji užsakymo logika, yra kiekybinio įvertinimo per asmenys, bet ne per predicates.