Истинные и ложные высказывания

Сначала построим отрицание к утверждению Мисс Барашкис. Она считает, что никакое число, больше 1000, и т. д. Значит, это общее высказывание (оно про ВСЕ числа, большие 1000), поэтому отрицанием будет служить высказывание о существовании.

Таким образом, начать надо, например, так: существует число, большее 1000, которое…Которое что? Которое не подходит под утверждение Мисс Барашкис, то есть делится на каждую из своих цифр. Целиком отрицание звучит так: “Существует число, большее 1000, которое делится на каждую из своих цифр”.

И оно действительно существует: например, подходит число 1111. Таким образом, верно отрицание утверждения Мисс Барашкис, значит, само утверждение Барашкис неверно. И чтобы это доказать, Джуди достаточно привести контрпример, скажем, число 1111.

Комментарий. При желании можно составить и число из разных цифр. Например, подходит также 1236.