Una logica che comprende la più semplice logica proposizionale più singole variabili (x, y, z, ecc. ), singole costanti (a, b, c, ecc. -questi sono come i nomi propri), predicati variabili (P, Q, R, S, ecc) queste vanno oltre i monadi o predicati di "un posto", come "è rosso", "salta", ecc. , diadica, o "due posti", predicati come "è la sorella di," "è la radice quadrata di" e così via con tre, quattro, ecc. Predicati di luogo e i quantificatori universali ed esistenziali. Ad esempio, (x) (Px) significa "per ogni x, Px" o "Per ogni x, P è vero di X" (si noti che "(x)" significa "per ogni x...."-Questo è il quantificatore universale. Allo stesso modo, (x) (Px Qx) significa "per ogni x, se Px, quindi Qx" o "tutte le Ps sono Qs". "Il quantificatore esistenziale - Ex - significa "per alcuni x", come per esempio Ex (Px) significa "per alcuni x, Px" o "esiste un x tale che P è vera di esso." "La logica dei predicati è spesso sviluppata con l'aggiunta di una costante relazionale, identità (=). La logica dei predicati è una teoria del primo ordine e in quanto c'è la quantificazione sopra gli individui ma non sopra i predicati.