Каждый из жителей острова сказал Раймонду Смаллиану: «Некоторые лжецы на этом острове курят». Что можно узнать из этого?

Пусть предикат L(x) истинен, если островитянин x есть лжец, а предикат S(x) истинен, если x курит. Тогда высказанное утверждение можно записать в виде формулы x(L(x) S(x)). ...