Исчисление предикатов, раздел математической логики — совокупность логико-математических исчислений , формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами . См. Высказывание , Логика предикатов .