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

в традиционной логике обычный способ выражения для одного из четырех ее логических законов (см. Закон логический), а именно – закона тождества. Вхождение в этом выражении буквы А несущественно и обязано, по-видимому, особенности латинского алфавита. Равным образом для выражения того же закона можно было бы писать В = В, С = С и т.д. В современной логике (см. Логика символическая) традиционная нотация не используется. В логике высказываний она заменяется формулами (A ≡ A) или (А ⊃ А), где А – произвольное высказывание, а «≡» и «⊃» – пропозициональные логические связки...