Метод резолюций в логике предикатов Логика первого порядка примеры