|
Если строить противоатомные убежища, то другие государства будут чувствовать себя в опасности, а наш народ получил ложное представление о своей безопасности. Если другие страны будут чувствовать себя в опасности, то они смогут начать превентивную войну. Если наш народ получил ложное представление о своей безопасности, то он ослабит свои усилия, направленные на сохранение мира. Если же не строит противоатомные убежища, то мы рискуем иметь колоссальные потери в случае войны. Следовательно, либо другие страны могут начать превентивную войну, и наш народ ослабит свои усилия, направленные на сохранение мира, либо мы рискуем иметь колоссальные потери в случае войны. Как такое лучше всего решать? Это вообще рассчитано на вдумчивое размышление или просто прогон по таблице истинности? задан 4 Дек '15 8:19 
sapere aude |
Здравствуйте
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
4 Дек '15 8:19
показан
896 раз
обновлен
4 Дек '15 17:35
Связанные вопросы
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
это проверка вывода из гипотез, матлогика. Способ решения можно выбрать, как всегда, любой.
@sapere aude: здесь надо прежде всего выделить "атомарные" высказывания (типа: p означает, что убежища строятся), а потом записать всё на символическом языке. Потом надо выписать несколько формул до слова "следовательно". Получится задача типа: следует ли из набора условий Ф1, ... , Фn условие Ф? Это эквивалентно тому, что формула Ф1 & ... Фn -> Ф является тавтологией. Проверить можно по таблице истинности, или через логические уравнения (я сам бы решал вторым путём, так как это надёжнее). Вдумчивое размышление помогает не всегда: иногда в голове начинается путаница, и тогда лучше формулы.
В данном конкретном случае рассуждение "прозрачно", то есть его можно просто подтвердить или параллельно прокомментировать при помощи импликаций и других формул, сославшись на закон исключённого третьего (либо будем строить, либо не будем).