Внимание: важная информация перед прочтением! Если Вы новичок в теории множеств, ознакомьтесь, пожалуйста, со следующими материалами канала: Введение в математическую топологию Определение множества,

Логические законы усваиваются школьниками часто на интуитивном уровне. При этом применение метода от противного требует четкого умения формулировать отрицание заданного высказывания, которое может быть составным. В качестве примера рассмотрим задачу: «Имеется 101 пуговица одного из 11 цветов. Докажите, что либо среди этих пуговиц найдутся 11 пуговиц одного цвета, либо 11 пуговиц разных цветов». Доказываемое утверждение имеет вид: (А или В), где А – «найдутся 11 пуговиц одного цвета», В – «найдутся 11 пуговиц разных цветов»...