Числення предикатів, розділ математичної логіки — сукупність логіко-математичних числень, що формалізують ті розділи сучасної логіки, в яких відображуються і вивчаються (у зв'язку з розглядом суб'єктно-предикативної структури пропозицій) правила операції з кванторами . Див. Вислів, Логіка предикатів .
