Лекция 5. Классическая логика предикатов