Решение логических задач методом рассуждений

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

Задача 1. Вадим, Сергей и Михаил изучают различныеиностранные языки: китайский, японский и арабский. На вопрос, какой язык изучает каждый из них, один ответил: "Вадим изучает китайский, Сергей не изучает китайский, а Михаил не изучает арабский". Впоследствии выяснилось, что в этом ответе только одно утверждение верно, а два других ложны. Какой язык изучает каждый из молодых людей?

Решение. Имеется три утверждения. Если верно первое утверждение, то верно и второе, так как юноши изучают разные языки. Это противоречит условию задачи, поэтому первое утверждение ложно. Если верно второе утверждение, то первое и третье должны быть ложны. При этом получается, что никто не изучает китайский. Это противоречит условию, поэтому второе утверждение тоже ложно. Остается считать верным третье утверждение, а первое и второе -- ложными. Следовательно, Вадим не изучает китайский, китайский изучает Сергей.

Ответ: Сергей изучает китайский язык, Михаил -- японский, Вадим -- арабский.

Задача 2. В поездке пятеро друзей -- Антон, Борис, Вадим, Дима и Гриша, знакомились с попутчицей. Они предложили ей отгадать их фамилии, причём каждый из них высказал одно истинное и одно ложное утверждение:

Дима сказал: "Моя фамилия -- Мишин, а фамилия Бориса -- Хохлов". Антон сказал: "Мишин -- это моя фамилия, а фамилия Вадима -- Белкин". Борис сказал: "Фамилия Вадима -- Тихонов, а моя фамилия -- Мишин". Вадим сказал: "Моя фамилия -- Белкин, а фамилия Гриши -- Чехов". Гриша сказал: "Да, моя фамилия Чехов, а фамилия Антона -- Тихонов".

Какую фамилию носит каждый из друзей?

• Обозначим высказывательную форму "юноша по имени А носит фамилию Б" как АБ, где буквы А и Б соответствуют начальным буквам имени и фамилии.

• Зафиксируем высказывания каждого из друзей:

• ДМ и БХ;

• АМ и ВБ;

• ВТ и БМ;

• ВБ и ГЧ;

• ГЧ и АТ.

• Допустим сначала, что истинно ДМ. Но, если истинно ДМ, то у Антона и у Бориса должны быть другие фамилии, значит АМ и БМ ложно. Но если АМ и БМ ложны, то должны быть истинны ВБ и ВТ, но ВБ и ВТ одновременно истинными быть не могут.

• Значит остается другой случай: истинно БХ. Этот случай приводит к цепочке умозаключений: БХ истинно БМ ложно ВТ истинно АТ ложно ГЧ истинно ВБ ложно АМ истинно.

• Ответ: Борис -- Хохлов, Вадим -- Тихонов, Гриша -- Чехов, Антон -- Мишин, Дима -- Белкин.