Что такое Закон Двойного Отрицания? Значение и толкование слова zakon dvojnogo otritsanija, определение термина
Закон Двойного Отрицания - - закон логики, позволяющий отбрасывать двойное отрицание. Его можно сформулировать так: отрицание отрицания дает утверждение, или: повторенное дважды отрицание ведет к утверждению. Напр.: «Если неверно, что Вселенная не является бесконечной, то она бесконечна». 3. д. о. был известен еще в античности. В частности, древнегреческие философы Зенон Элейский и Горгий излагали его так: если из отрицания к.-л. высказывания следует противоречие, то имеет место двойное отрицание исходного высказывания, т. е. оно само. С применением символики логической (р - некоторое высказывание; à - условная связь, «если, то»; ~ - отрицание, «неверно, что») закон записывается так: ~ ~ p à p, если неверно, что неверно р, то верно р. Другой закон логики, говорящий о возможности не снимать, а вводить два отрицания, принято называть обратным 3. д. о.: ут- верждение влечет свое двойное отрицание. Напр.: «Если Шекспир писал сонеты, то неверно, что он не писал сонеты». Символически: pà ~ ~p, если р, то неверно, что не-р. Объединение этих законов дает т. наз. полный 3. д. о.: двойное отрицание равносильно утверждению. Напр.: «Планеты не неподвижны в том и только том случае, если они движутся». Символически (= — эквивалентность, «если и только если»): ~ ~Р = Р, неверно, что не-р, если и только если верно р.
Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:
Закон Де Моргана - - общее название логических законов, связывающих с помощью отрицания конъюнкцию («и») и...Закон Дунса Скота - - закон логики классической, характеризующий логическое противоречие и импликацию материальную....Закон Импортации - см.: Закон экспортации — импортации.Закон Исключенного Третьего - - логический закон, согласно которому истинно или само высказывание, или его отрицание. Закон...Закон Клавия - — логический закон, характеризующий связь импликации («если, то») и отрицания. Его можно...Закон Коммутативности - (от лат. commutatio - изменение, перемена) — общее название логических законов, позволяющих...Закон Коммутации - (от лат. commutatio - изменение, перемена) — логический закон, говорящий о возможности...Закон Композиции - (от лат. compositio — сочинение, составление) - общее название ряда логических законов,...Закон Косвенного Доказательства - - логический закон, позволяющий делать заключения об истинности какого-то высказывания на...Закон Логики - см.: Логический закон.