Здравствуйте, Курилка, Вы писали:

К>Ещё позанудствую
К>Я, так понимаю, что должна получиться непротиворечивая система?
К>Если так, то где такое предусловие?

Именно так. Обычно в таких задачах подразумевается, что отбрасывая противоречивые системы утверждений мы приходим к единственной непротиворечивой системе (или не приходим ). Считается (почему-то) что противоречивые системы утверждений "хуже", чем возможное враньё.

Пусть на камнях написано "Волга впадает в Каспийское море" и "Ровно одно из утверждений на этих двух камнях истинно". Тогда единственной непротиворечивой системой будет та, в которой Волга не впадает в Каспийское море. Если Иван, как и в исходной задаче, не имеет информации об истинности утверждения на первом камне, он должен теперь пребывать в уверенности, что Каспийское море — это не то место, куда впадает Волга.

Так что остаётся вопрос о том, нужно ли следовать указаниям единственной непротиворечивой системы. Какова была цель того, кто высекал надписи на камнях? Если это фильтрация по интеллекту (только умный мОлодец может сражаться с Кащеем Бессмертным), то ответ — да. А если это происки изощрённогого в чернокнижной логике мага на службе у Кащея? Через год пути по горам и болотам встреченная старушка сообщает измождённому Ивану: "Иии, внучок, ты бы поменьше читал, что на камнях плохие люди пишут!".