Формализуйте языком исчисления высказываний следующие суждения. Определите вид каждого сложного суждения

3) Интернет произошел из смелой схемы, родившейся в воображении технологических бойцов Advanced Research Project Agency Министерства обороны США, стремившихся помешать советскому захвату или разрушению американской системы коммуникаций в случае ядерной войны (М. Кастельс. Информационная эпоха: экономика, общество и культура);


4) Перед первой мировой войной каждый из генеральных штабов предполагал, что либо Германия одержит быструю и полную победу, либо, если Франция удержится, война быстро завершится поражением Германии (Д. Белл. Грядущее постиндустриальное общество. Опыт социального прогнозирования);


5) ...Не мог он ямба от хорея,

Как мы ни бились, отличить.

Бранил Гомера, Феокрита;

Зато читал Адама Смита

И был глубокий эконом…

(А.С. Пушкин. Евгений Онегин).

задан 8 Июн '17 0:29

помогите пожалуйста, не могу разобраться, в особенности из отрывка из Евгения Онегина

(8 Июн '17 0:42) Koval

@Koval: там надо игнорировать всякие оттенки и нюансы, оставляя только абстрактную суть. Сказано, что Е.О. чего-то не мог, бранил одного, бранил другого, читал третьего, и был эконом. Форма высказывания not(A) & B & C & D & E. То есть это просто неинтересный для рассмотрения пример.

(8 Июн '17 0:47) falcao

@falcao не могли бы вы помчь разобраться с первыми двумя?

(8 Июн '17 0:53) Koval

@Koval: есть случаи, когда перевод на язык исчисления высказываний происходит естественно, а бывает так, что надо ломать голову и угадывать, что имелось в виду. Первая фраза, с моей точки зрения, вообще непригодна для перевода. В ней нет ясной логической структуры, а если она и есть, то там использованы отношения между объектами, и тогда уместен был бы язык исчисления предикатов. С фразой из пункта 4 дело обстоит чуть лучше, но там есть слово "каждый", которое неявно указывает на квантор всеобщности. Если это игнорировать, то всё выходит просто: A V (B -> not(A)).

(8 Июн '17 1:00) falcao

все таки помогите пожалуйста хоть приблизительно как можно из пункта 3 сделать?

(8 Июн '17 11:12) Koval

@Koval: не буду даже пытаться. Это очень неудачный пример, и его надо взять и выбросить.

(8 Июн '17 13:35) falcao
показано 5 из 6 показать еще 1
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×888

задан
8 Июн '17 0:29

показан
980 раз

обновлен
8 Июн '17 13:35

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

по почте:

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

по RSS:

Ответы

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

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