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

В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром. Математическая логика — это раздел современной формальной логики, в котором логические...