Поняття предиката

Числення висловлень, є важливою i невiд’ємною складовою частиною всiх числень математичної логiки. Однак воно є занадто бiдним для опису та аналiзу найпростiших логiчних мiркувань науки i практики.
Однiєю з причин цього є те, що у численнi висловлень будь-яке просте висловлення розглядається як вихiдний об’єкт дослiдження, неподiльне цiле, позбавлене частин i внутрiшньої структури, яке має лише одну властивiсть - бути або iстинним, або хибним.

* Вступ
* Поняття предиката
* Логiка предикатiв
* Квантори
* Формули логіки предикатів. Рівносильність формул
* Здійснюваність. Загальнозначущість.
* Література