числення предикатів

ЧИСЛЕННЯ ПРЕДИКАТІВ — розділ логіки формальної, в якому логіку предикатів подано як логічне числення. За систему аксіом у Ч. п. приймають усю систему аксіом числення висловлювань, до якої додають аксіоми, що відображають специфіку логіки предикатів. За основні правила виводу, як і в численні висловлювань, в Ч. п. беруть правило відокремлення і правило підстановки з певними уточненнями. Ч. п., таким чином, можна розглядати як розширене числення висловлювань. Розрізняють вузьке Ч. п. (функціональне числення першого порядку), коли кванторами пов'язуються лише предметні змінні, і розширене Ч. п. (функціональне числення вищих порядків), коли кванторами пов'язуються змінні предикатів і змінні висловлювань.