Все жители на острове были одного типа, и каждый из них сказал: «Если я курю, то все жители этого острова курят». Что можно узнать из этого?

Пусть предикат S(x) истинен, если островитянин x курит. Для каждого жителя x0 острова мы можем записать его утверждение в виде формулы S(x0) xS(x). Если эта формула ложь, то S(x0) истина, а xS(x) ложь. ...