Однажды следователю пришлось допрашивать трех свидетелей ограбления : джона уайта , сэма грэя и боба блэка.джон уверял, что все показания сэма – сплошная ложь, а сэм только и делал, что твердил, будто боб говорит неправду. боб же всё это время уговаривал следователя не верить ни уайту, ни, тем более, грэю. следователь, будучи человеком сообразительным и умным, попросил всех троих замолчать и, не задав более ни одного вопроса, быстро определил, с кем из них стоит иметь дело, а с кем – нет. кто же из свидетелей не лгал?
ошибка ответ будет будет Сэм
Рассмотрим высказывания:{1 говорит правду};{2 говорит правду};{3 говорит правду}.Нам не известно, какие из них верны, но известно следующее:1) либо 1 сказал правду, и тогда 2 солгал, либо 1 солгал, и тогда 2 сказал правду;2) либо 2 сказал правду, и тогда 3 солгал, либо 2 солгал, и тогда 3 сказал правду;3) либо 3 сказал правду, и тогда 1 и 2солгали, либо 2 солгал, и тогда неверно, что оба других свидетеля солгали (т.е. хотя бы один из этих свидетелей сказал правду).Выразим эти высказывания в виде системы уравнений:Условие задачи будет выполнено, если одновременно истинны эти три высказывания, а значит истинна их конъюнкция(умнажение). Перемножим эти равенства (т.е. возьмем их коньюнкцию).Но в том и только том случае, если, а. Следовательно, 2 говорит правду, а 1 и 3 лгут.