Рассмотрим вариант решения задания из учебника Макарычев, Миндюк, Нешков 9 класс, Просвещение: 1086. На острове живут рыцари, говорящие всегда правду, и лжецы, которые всегда лгут, и среди них есть Уильям и Джон. Известно, что если Джон — рыцарь, то и Уильям — рыцарь. Какие из утверждений заведомо истинны: а) Джон — рыцарь; б) Джон и Уильям принадлежат одному клану; в) Если Джон — лжец, то и Уильям — лжец; г) Если Уильям — рыцарь, то и Джон — рыцарь; д) Если Уильям — лжец, то и Джон — лжец?
