Поставьте соответствующие кванторы так, чтобы получилось истинное высказывание $$ x \geq 0$$

задан 6 Май '14 16:03

1

Если поставить квантор существования, то получится истинное высказывание $%(\exists x)(x\ge0)$%, поскольку неотрицательные числа существуют. Квантор всеобщности приводил бы к ложному высказыванию, так как не все числа неотрицательны.

(6 Май '14 17:45) falcao

получается ответ записывается так: $$ ( \forall \in X) P(x) $$ ?

(12 Май '14 12:10) sasha001
1

@sasha001: почему так? Я же сказал, что с квантором существования оно будет верно, а с квантором всеобщности -- нет. В логике предикатов получится формула $%(\exists x)P(x)$%, где $%P(x)$% интерпретируется как $%x\ge0$%.

(12 Май '14 12:56) falcao

Спасибо!!!!!))))))

(12 Май '14 13:22) sasha001
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×1,699

задан
6 Май '14 16:03

показан
599 раз

обновлен
12 Май '14 13:22

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

по почте:

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

по RSS:

Ответы

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

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