Kontrmodel - kontrmodelem formuły rachunku predykatów nazywamy strukturę, w której formuła ta jest fałszywa.
Kwantyfikator - wyrażenie określające ilość przedmiotów, o których mówi zdanie zawierające to wyrażenie. Kwantyfikatorami są wyrażenia każdy (oznaczany często symbolem ∀) oraz niektóre (istnieje) (oznaczany ∃).
Model - modelem formuły rachunku predykatów nazywamy strukturę, w której formuła ta jest prawdziwa.
Predykat - wyrażenie opisujące własność lub relację. Predykatami są na przykład takie wyrażenia jak jest człowiekiem, jest wysoki (własności), lub kocha, jest wyższy od (relacje).
Stała indywiduowa - symbol oznaczający pewien konkretny obiekt. Stałe indywiduowe oznaczamy zwykle literami a, b, c... itd. Nie podlegają one kwantyfikacji.
Struktura - układ złożony z pewnego uniwersum (zbioru) oraz dowolnej liczby własności i/lub relacji.
Zmienna indywiduowa - symbol oznaczający dowolny obiekt (indywiduum). Zmienne indywiduowe oznaczamy zwykle literami: x, y, z... itp. Można je wiązać kwantyfikatorami, np. ∀x, ∃y itp.