Если строить противоатомные убежища, то другие государства будут чувствовать себя в опасности, а наш народ получил ложное представление о своей безопасности. Если другие страны будут чувствовать себя в опасности, то они смогут начать превентивную войну. Если наш народ получил ложное представление о своей безопасности, то он ослабит свои усилия, направленные на сохранение мира. Если же не строит противоатомные убежища, то мы рискуем иметь колоссальные потери в случае войны. Следовательно, либо другие страны могут начать превентивную войну, и наш народ ослабит свои усилия, направленные на сохранение мира, либо мы рискуем иметь колоссальные потери в случае войны.

Как такое лучше всего решать? Это вообще рассчитано на вдумчивое размышление или просто прогон по таблице истинности?

задан 4 Дек '15 8:19

изменен 4 Дек '15 8:19

это проверка вывода из гипотез, матлогика. Способ решения можно выбрать, как всегда, любой.

(4 Дек '15 8:51) Trumba
1

@sapere aude: здесь надо прежде всего выделить "атомарные" высказывания (типа: p означает, что убежища строятся), а потом записать всё на символическом языке. Потом надо выписать несколько формул до слова "следовательно". Получится задача типа: следует ли из набора условий Ф1, ... , Фn условие Ф? Это эквивалентно тому, что формула Ф1 & ... Фn -> Ф является тавтологией. Проверить можно по таблице истинности, или через логические уравнения (я сам бы решал вторым путём, так как это надёжнее). Вдумчивое размышление помогает не всегда: иногда в голове начинается путаница, и тогда лучше формулы.

(4 Дек '15 17:33) falcao
1

В данном конкретном случае рассуждение "прозрачно", то есть его можно просто подтвердить или параллельно прокомментировать при помощи импликаций и других формул, сославшись на закон исключённого третьего (либо будем строить, либо не будем).

(4 Дек '15 17:35) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×1,209

задан
4 Дек '15 8:19

показан
896 раз

обновлен
4 Дек '15 17:35

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

по почте:

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

по RSS:

Ответы

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

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