Логика первого порядка — Википедия

Логика первого порядка, называемая иногда логикой или исчислением предикатов — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний.

Логика предикатов | Гуманитарная энциклопедия

Логика предикатов — это раздел символической логики, изучающий рассуждения и другие языковые контексты с учётом внутренней структуры входящих в них простых высказываний...

Логика предикатов – MathHelpPlanet

Логика предикатов - Логика

Логика предикатов - Логика - доступно для всех

Логика предикатов

Тема 3 . Логика предикатов

Логика предикатов