Используя атомарные предикаты для обозначения утверждений "x является школьником", "y - это книга" и "x владеет y", выразите формально следующее сложное утверждение: нет таких школьников, у которых не было бы ни одной книги.
пример решения: (∀x: a(∀y: b(y)) p(x,y)
ответ:Покрасим клетки прямоугольника в черный и белый цвета так, как показано на рисунке. В черные клетки запишем число -2 , а в белые – число 1. Заметим, что сумма чисел в клетках, покрываемых любым уголком, неотрицательна, следовательно, если нам удалось покрыть прямоугольник в k слоев, удовлетворяющих условию, то сумма S чисел по всем клеткам, покрытым уголками, неотрицательна. Но если сумма всех чисел в прямоугольнике равна s , то S=ks=k(-2· 12+23· 1)=-k>0 . Получим противоречие.
Аналогично доказывается, что покрытия, удовлетворяющего условию задачи не существует, если прямоугольник имеет размеры 3×(2n+1) и 5×5. Прямоугольник 2×3 можно покрыть в один слой двумя уголками, прямоугольник 5×9 – в один слой пятнадцатью уголками, квадрат 2×2 – в три слоя четырьмя уголками. Комбинируя эти три покрытия, нетрудно доказать, что все остальные прямоугольники m×n ( m,n2 ) можно покрыть уголками, удовлетворяя условию.
Пошаговое объяснение:
Вот там написал
Влажную землю в лесу…
Смело топчу я ногой
Вешнюю леса красу.С холоду щеки горят;
Любо в лесу мне бежать,
Слышать, как сучья трещат,
Листья ногой загребать!Нет мне здесь прежних утех!
Лес с себя тайну совлек:
Сорван последний орех,
Свянул последний цветок;Мох не приподнят, не взрыт
Грудой кудрявых груздей;
Около пня не висит
Пурпур брусничных кистей;Долго на листьях, лежит
Ночи мороз, и сквозь лес
Холодно как-то глядит
Ясность прозрачных небес…Листья шумят под ногой;
Смерть стелет жатву свою…
Только я весел душой
И, как безумный, пою!Знаю, недаром средь мхов
Ранний подснежник я рвал;
Вплоть до осенних цветов
Каждый цветок я встречал.Что им сказала душа,
Что ей сказали они —
Вспомню я, счастьем дыша,
В зимние ночи и дни!Листья шумят под ногой…
Смерть стелет жатву свою!
Только я весел душой —
И, как безумный, пою!