Задачи на логику. Слет

С условиями задачи можно ознакомиться здесь.

Рассуждаем:
Предположим, что у Иванова первое утверждение правильное, а второе ложное.
Если Иванов из Рославля, то Григорьев не из Демидова.
Если Сидоров из Демидова, то Петров не из Вязьмы.
Если Иванов из Рославля, то Сидоров не из Рославля, а это значит, что Петров из Ельни.
Если Григорьев не из Демидова (см. «ложное» утверждение Иванова), то Данилов из Велижа.
Если Данилов из Велижа, то Иванов живет не в Вязьме.
Григорьев не из Рославля, не из Демидова, не из Ельни или Велижа, то он из Вязьмы.

Ответ:
Иванов из Рославля.
Петров из Ельни.
Сидоров из Демидова.
Григорьев из Вязьмы.
Данилов из Велижа.

Предположим, что первое утверждение Иванова ложное, а второе правильное (правдивое).
Если Иванов не из Рославля, то Григорьев из Демидова.
Если Сидоров не из Демидова, то Петров из Вязьмы.
Если Сидоров из Рославля, то Петров не из Ельни.
Если Григорьев из Демидова, то Данилов не из Велижа.
Если Данилов не из Велижа, то Иванов из Вязьмы. Тогда утверждение не согласуется с цепочкой утверждений Иванова и Сидорова, согласно которым из Вязьмы приехал Петров.

Это означает, что такой вариант рассуждений не подходит.