Предикатна логіка — це розділ логіки, який розширює класичну логіку, включаючи предикати та квантори. Вона дозволяє формулювати висловлювання про об'єкти та їх властивості, що робить її потужним інструментом для формалізації аргументів і доведень. У предикатній логіці використовуються символи для представлення об'єктів, а також предикати, які описують властивості цих об'єктів. Наприклад, у виразі P(x) "x є людиною", P — це предикат, а x — змінна, що представляє об'єкт.