Условие задачи
На острове все жители были одного типа, и каждый из них сказал: «Если я курю, то все жители этого острова курят».
Что можно узнать из этого?
Ответ
Пусть предикат S(x) истинен, если островитянин x курит. Для каждого жителя x0 острова мы можем записать его утверждение в виде формулы S(x0) xS(x). Если эта формула ложь, то S(x0) истина, а xS(x) ложь. ...
Потяни
