Rachunek predykatów pierwszego rzędu – (
ang. first order predicate calculus) to system
logiczny, w którym zmienna, na której oparty jest
kwantyfikator, może być elementem pewnej wybranej dziedziny (zbioru), nie może natomiast być
zbiorem takich elementów. Tak więc nie mogą występować kwantyfikatory typu "dla każdej
funkcji z X na Y ..." (gdyż funkcja jest podzbiorem X × Y), "istnieje własność p, taka że ..." czy "dla każdego podzbioru X zbioru Z ...". Rachunek ten nazywa się też krótko
rachunkiem kwantyfikatorów, ale często używa się też nazwy
logika pierwszego rzędu (szczególnie wśród matematyków zajmujących się
logiką matematyczną).