Давайте проанализируем ответы четырех жителей острова.
Если первый говорит правду и "все мы лжецы", то это противоречит самому утверждению, потому что он не мог бы сказать правду. Таким образом, первый житель не может быть правдолюбом (первый — лжец).
Если второй говорит правду (т.е. "Среди нас 1 лжец"), это значит, что первый должен быть лжецом (что мы уже установили). Тогда второго жителя можно считать правдолюбом.
Если третий говорит правду (т.е. "Среди нас 2 лжеца"), то это также подразумевает, что первый и еще кто-то — лжецы. Но если второй житель говорит правду, это делает третий лжецом (и это будет противоречие).
Если четвертый говорит правду (т.е. "Я ни разу не соврал и сейчас не вру"), и если это так, то он также является правдолюбом.
Теперь рассмотрим ситуацию:
- Если второй говорит правду (1 лжец), то это совпадает с нашими выводами: первый — лжец, второй — правдолюб, третий — лжец (ибо 1 лжец), а четвертый — правдолюб (если бы он был лжецом, это создаст еще больше противоречий).
Таким образом, можем сделать следующие выводы:
- Житель 1 — лжец.
- Житель 2 — правдолюб.
- Житель 3 — лжец.
- Житель 4 — правдолюб.
Ответ: 1 — лжец, 2 — правдолюб, 3 — лжец, 4 — правдолюб.