Помогите, пожалуйста, записать на языке математической логики: "Уравнение K имеет не меньше трех корней при q=1"

задан 22 Июн '19 18:21

Снова неудачный пример задачи для перевода, потому что не задана сигнатура, то есть не сказано, в каких терминах и обозначениях следует писать. Придётся фиксировать их самим. Уравнение здесь зависит от параметра $%q$% и от переменной $%x$%. Будем также считать, что у нас есть знак равенства, а уравнение запишем как условие $%K(x,q)=0$%, или даже для краткости как $%K(x,q)$%. Тогда надо написать, что оно имеет по крайней мере три попарно различных корня.

$%(q=1)\to(\exists x_1)(\exists x_2)(\exists x_3)(K(x_1,q)\&K(x_2,q)\&K(x_3,q)\&\neg(x_1=x_2)\&\neg(x_1=x_3)\&\neg(x_2=x_3))$%

(22 Июн '19 21:58) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×823
×397
×52

задан
22 Июн '19 18:21

показан
79 раз

обновлен
22 Июн '19 21:59

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru