$%\forall x A(x,y) \Rightarrow \exists y A(x,y)$%

$%A(x,y) - x \vdots y$%

$%x,y \in \mathbb{N}$%

задан 13 Дек '17 10:42

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

Посылка импликации задаёт одноместный предикат от y. Там сказано, что любое натуральное x делится на y. Это значит, что y=1.

В заключении импликации сказано, что x имеет некоторый делитель y. Это всегда так, поскольку все числа делятся на 1.

Таким образом, формула имеет примерно такой смысл: "если y=1, то x=x". Эта импликация всегда истинна, так как истинно её заключение. Я взял x=x в качестве типового примера высказывания, зависящего от x и всегда верного.

ссылка

отвечен 13 Дек '17 15:20

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

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

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

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

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

отмечен:

×1,153
×82
×34

задан
13 Дек '17 10:42

показан
584 раза

обновлен
13 Дек '17 15:20

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

по почте:

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

по RSS:

Ответы

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

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