Авторский ответ на логическую задачу о краже подарков совершенно не верен, а решение не представлено. Так решим же её сами. Вначале для краткости обозначим высказывания по авторству и очерёдности Т1, Т2, С1, С2, М1 и М2, истинные высказывания =1, ложные =0. Помним, что если Т1=1, то Т2=0 и наоборот. Т1: Томаса в комнате в момент кражи не было; Т2: Томас знает, что вор — Майкл; М1: вор — не Майкл; М2=Т1; С1: Майкл — вор; С2: У Салли достаточно подарков. Высказывание-пустышка, ни на что не влияет.
1. Опровергаем вывод авторов. Если вор — Салли, тогда С1=0, тогда М1=1, тогда М2=Т1=0, тогда Т2=1. Противоречие. Следовательно, Салли — не вор, и авторы не правы. 2. Решение. Поскольку Т1=М2, то Т2 и М1 также имеют одинаковые значения. Если Т2=М1=1, то, действительно, имеется противоречие. Но если Т2=М1=0, то никакаго противоречия нет. М1=0 означает, что Майкл — вор, а Т2=0 означает не то, что Майкл — не вор, а то, что Томас НЕ ЗНАЕТ, кто вор. Итак, вор — Майкл.
Ой, всё
Ой, все (2)
Так решим же её сами.
Вначале для краткости обозначим высказывания по авторству и очерёдности Т1, Т2, С1, С2, М1 и М2, истинные высказывания =1, ложные =0.
Помним, что если Т1=1, то Т2=0 и наоборот.
Т1: Томаса в комнате в момент кражи не было;
Т2: Томас знает, что вор — Майкл;
М1: вор — не Майкл;
М2=Т1;
С1: Майкл — вор;
С2: У Салли достаточно подарков. Высказывание-пустышка, ни на что не влияет.
1. Опровергаем вывод авторов.
Если вор — Салли, тогда С1=0, тогда М1=1, тогда М2=Т1=0, тогда Т2=1.
Противоречие. Следовательно, Салли — не вор, и авторы не правы.
2. Решение.
Поскольку Т1=М2, то Т2 и М1 также имеют одинаковые значения.
Если Т2=М1=1, то, действительно, имеется противоречие.
Но если Т2=М1=0, то никакаго противоречия нет.
М1=0 означает, что Майкл — вор, а Т2=0 означает не то, что Майкл — не вор, а то, что Томас НЕ ЗНАЕТ, кто вор.
Итак, вор — Майкл.