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

В прошлый раз мы с вами рассмотрели некоторые законы математической логики. Давайте продолжим! Один из самых простых законов логики – закон «отрицания отрицания», или двойного отрицания. Математически он записывается так: A ↔ ¬(¬A) А словами – так: «если неверно то, что неверно некоторое высказывание А, значит высказывание А – верно». Сложно? Вовсе нет: представьте себе, что во втором классе произошло ЧП, разбили стекло в комнате во время перемены. Вбегает учительница, стоит посреди класса хулиган Петров с рогаткой, и плачет: «это не я! это не я!»...