Известный тип логических задач под условным названием «Про лжецов и молодцов»: лжецы всегда врут (без этого просто не могут), молодцы всегда говорят правду (ложь им омерзительна). Стоят двое, первый произносит фразу «По крайней мере один из нас лжец». Кто же лжец, а кто молодец?

1. Первый лжец, второй молодец.

2. Второй лжец, первый молодец.

3. Оба одновременно или лжецы, или молодцы, но вот кто именно – не установить.

Вообще, автор находит эти задачки «про лжецов и молодцов» довольно занудными – многие из них, как и предложенная задача, решаются простым перебором вариантов. Предположим, что первый – лжец, но это невозможно, потому что тогда выходит, что лжец высказал истинное утверждение («По крайней мере один из нас лжец» – истинно, если один из них или оба разом – лжецы). Значит, это не лжец, а молодец, утверждение (как у всех молодцов) – истинное, из чего с необходимостью следует, что второй персонаж – лжец.