Из выводимости "Сколемовской нормальной формы", выводимость формулы: (Отметьте один правильный вариант ответа.) Варианты ответа не следует нельзя определить следует(Верный ответ)