логіка предикатів

ЛОГІКА ПРЕДИКАТІВ — розділ математичної логіки, що являє собою певне розширення логіки висловлювань. На відміну від логіки висловлювань, де висловлювання розглядають як єдине ціле, в Л. п. береться до уваги їхня суб'єктнопредикативна структура.