Докажем, что А — рыцарь. Предположим А — лжец. Тогда его высказывание «если А р, то Б р» ложно. Импликация ложна только когда посылка истинна, а следствие ложно. Значит, А — рыцарь (истинная посылка) и Б — лжец. Но мы предположили А — лжец — противоречие. Значит А — рыцарь. Раз А — рыцарь, его слова истинны: «если А р, то Б р». Посылка истинна (А — рыцарь), поэтому следствие тоже истинно: Б — рыцарь. Таким образом, оба А и Б являются рыцарями. Единственность: иное распределение приводит к противоречию, как показано выше.

💡 Авторизуйтесь, чтобы получить помощь AI-тьютора с подсказками и решениями!