Добрый день. В данный момент изучаю азы интуиционистской логики, нашел хорошую лекцию В.А. Захарова (http://mk.cs.msu.ru/images/8/80/LectLog18.pdf) и не могу понять простейший момент, точнее не могу его увидеть. Как я понимаю, то интуиционистская логика отличается от классической отсутствием закона исключенного третьего (P ∨ ¬P), остальное в ней работает аналогично. На картинке есть все обозначения и определения общезначимой формулыalt text

Вопрос заключается в том, как понять, что то, что мы получили является контрмоделью?

Приведу пример общезначимой формулы и вопрос аналогичен.alt text Где тут противоречие? Вопросы может быть банальны и могут казаться простыми, но, к сожалению, данная тема дается мне не очень просто и хотелось бы услышать более профессиональное мнение и ответы на вопросы. Спасибо!

задан 27 Окт '19 21:51

возвращен 19 Ноя '19 11:15

falcao's gravatar image


267k63751

@Intersection, кто-нибудь из гениев математики - так меня ещё не обзывали... )))

К сожалению я "не логичен" ((( ... то есть я не знаю логику так глубоко, чтобы ответить на этот вопрос...

(28 Окт '19 21:58) all_exist
10|600 символов нужно символов осталось

Вопрос был закрыт. Причина - "Проблема не актуальна". Закрывший - falcao 19 Ноя '19 11:15

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

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

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

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

отмечен:

×1,113

задан
27 Окт '19 21:51

показан
295 раз

обновлен
19 Ноя '19 11:15

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

по почте:

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

по RSS:

Ответы

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

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