Исчисление предикатов

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, смотри Предикатов исчисление.