Элементы математической логики задачи Логика первого порядка примеры