Сборник задач и упражнений по логике. Тоноян Л.Г. - 20 стр.

UptoLike

ВУЗ: 

СПбГУ | Санкт-Петербург

Составители: 

Рубрика: 

7. A B A B 7.
8. A A B B 8. X X
9. B A A B 9. X X
10.B A B A 10.X X X X
Записанный вариант игры может служить моделью некоторого
диалога. Предположим, вам нужно логическим путем выяснить,
спортсмены каких стран заняли 4 первых места в турнире, в котором
участвовали спортсмены из 6 стран. Ваш информированный собеседник
согласен отвечать на ваши вопросы только "да" или "нет". Левая часть
игровых строк соответствует вашим вопросам, правая - ответам
собеседника.
1. Вошли ли в первую четверку спортсмены из стран Е? 1. нет
2. Вошли ли в первую четверку спортсмены из стран F? 2. нет
3. Вошли ли в первую четверку спортсмены из стран D? 3. нет
4. Вошли ли в первую четверку спортсмены из стран C? 4. нет
5. В турнире участвуют два спортсмена из страны В и 5. да
спортсмена из страны А?
6. Спортсмены из страны А заняли 1 и 4 место? 6. нет
7. Спортсмены из страны А заняли 1 и 3 место? 7. нет
8. Спортсмены из страны А заняли 1 и место? 8. нет
9. Спортсмены из страны А заняли и 3 место? 9. нет
10.Спортсмены из страны А заняли и 4 место? 10.да
Конечно, ничто не помешало бы игроку задать сразу 1-й вопрос
вместо 6-го, но ту интуицию, которая позволила бы это сделать
(например, игрок предполагает такое распределение мест, исходя из
какого-либо прогноза) нельзя считать чисто логической.
Впрочем, мы только выиграем, если усилим нашу интуицию
логическим исчислением, которое использует искусственный язык, в
частности, замещает длинные и неоднозначные словесные выражения
буквенными обозначениями. Наш диалог игрока и информатора мог
быть значительно короче, если бы они договорились использовать
вместо высказываний буквенные обозначения. Вот вариант
символического диалога, где нужного ответа достигаем в 5 шагов.
1. F E D C 1. -
2. А А В В 2. 0000
3. В В А А 3. 00ХХ
4. А В А В 4. 0000
5. В А В А 5. X X X X
X и 0 ставятся в произвольном порядке. Заметим, что
буквенные обозначения позволяют записать вместо первых четырех
вопросов один - F E D C.
Неоднозначное "да" или "нет" информатора также уточняется, если
он с помощью Х или 0 будет отмечать, к чему относятся "да" или
"нет".
.
20

Страницы