задан 1 Июн '17 13:31

10|600 символов нужно символов осталось
0

Формула, которая идёт под квантором существования, имеет вид p -> not(p) V not(not(q)->p). Здесь p и q для краткости использованы для обозначения P(x) и Q(x).

Указанная формула исчисления высказываний допускает упрощение. Прежде всего, отрицание импликации вида x->y есть конъюнкция x&not(y). Поэтому not(not(q)->p) можно заменить на not(p) & not(q). Дизъюнкция с not(p) оставляет только not(p), поскольку a V ab = a.

В итоге получается, что p -> not(p), а это в точности означает, что p ложно, то есть not(p). Таким образом, у нас сказано, что существует x, для которого неверно P(x). По смыслу кванторов, это значит, что P(x) верно не для всех x, то есть всеобщее высказывание (Ax)P(x) ложно.

ссылка

отвечен 1 Июн '17 13:47

10|600 символов нужно символов осталось
Ваш ответ

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

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

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

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

отмечен:

×61

задан
1 Июн '17 13:31

показан
280 раз

обновлен
1 Июн '17 13:47

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

по почте:

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

по RSS:

Ответы

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

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