Подозреваются все

В архитектурном бюро прямо посреди рабочего дня убит один из сотрудников, Тадеуш. Посторонних в конторе не было, поэтому подозреваются только сотрудники.

Круг подозреваемых удалось сузить до четырех человек. Убийцей могут быть: Витек, Казик, Збышек или Анджей.

Все четверо дали показания:

Витек: Преступник — Казик.

Казик: Анджей невиновен.

Збышек: То, что сказал Казик, — правда.

Анджей: То, что сказал Витек, — ложь.

Вам доподлинно известно (мы не придумали, откуда), что убийца всегда лжет, а все остальные всегда говорят правду.

Кто убийца Тадеуша?

Посмотреть решение

Убийца — Витек.

Если Витек говорит правду, тогда убийца — Казик. Отсюда следует, что Казик — лжец, а Анджей НЕ невиновен. То есть Анджей — убийца. Двух убийц у нас быть не может, поскольку вопрос явно предполагает, что убийца только один. Значит, мы пришли к противоречию. Следовательно, Витек лжет.

Если Витек лжет, тогда все остальные говорят правду. Это возможно, в их утверждениях нет противоречий. Значит, убийца точно Витек.