- закон логики, позволяющий отбрасывать двойное отрицание . Его можно сформулировать так: отрицание отрицания дает утверждение , или: повторенное дважды отрицание ведет к утверждению. Напр.: « Если не верно , что Вселенная не является бесконечной, то она бесконечна». 3. д. о. был известен еще в античности. В частности, древнегреческие философы Зенон Элейский и Горгий излагали его так: если из отрицания к.-л. высказывания следует противоречие , то имеет место двойное отрицание исходного высказывания, т. е. оно само. С применением символики логической (р - некоторое высказывание; à - условная связь , «если, то»; ~ - отрицание, «неверно, что») закон записывается так: ~ ~ p à p, если неверно, что неверно р, то верно р. Другой закон логики, говорящий о возможности не снимать , а вводить два отрицания, принято называть обратным 3. д. о.: ут- верждение влечет свое двойное отрицание. Напр.: «Если Шекспир писал сонеты, то неверно, что он не писал сонеты». Символически: pà ~ ~p, если р, то неверно, что не-р. Объединение этих законов дает т. наз. полный 3. д. о.: двойное отрицание равносильно утверждению. Напр.: «Планеты не неподвижны в том и только том случае, если они движутся». Символически (= — эквивалентность , «если и только если»): ~ ~Р = Р, неверно, что не-р, если и только если верно р.
Что такое Закон Двойного Отрицания? Значение Закон Двойного Отрицания в словаре логики
Закон Двойного Отрицания - - закон логики, позволяющий отбрасывать двойное отрицание. Его можно сформулировать так: отрицание отрицания дает утверждение, или: повторенное дважды отрицание ведет к утверждению. Напр.: «Если неверно, что Вселенная не является бесконечной, то она бесконечна». 3. д. о. был известен еще в античности. В частности, древнегреческие философы Зенон Элейский и Горгий излагали его так: если из отрицания к.-л. высказывания следует противоречие, то имеет место двойное отрицание исходного высказывания, т. е. оно само. С применением символики логической (р - некоторое высказывание; à - условная связь, «если, то»; ~ - отрицание, «неверно, что») закон записывается так: ~ ~ p à p, если неверно, что неверно р, то верно р. Другой закон логики, говорящий о возможности не снимать, а вводить два отрицания, принято называть обратным 3. д. о.: ут- верждение влечет свое двойное отрицание. Напр.: «Если Шекспир писал сонеты, то неверно, что он не писал сонеты». Символически: pà ~ ~p, если р, то неверно, что не-р. Объединение этих законов дает т. наз. полный 3. д. о.: двойное отрицание равносильно утверждению. Напр.: «Планеты не неподвижны в том и только том случае, если они движутся». Символически (= — эквивалентность, «если и только если»): ~ ~Р = Р, неверно, что не-р, если и только если верно р.
Узнайте лексическое, прямое, переносное значение следующих слов:
- Индивид - (от лат. individuum неделимое) — единичное как ...
- Импликация Материальная - - импликация в трактовке логики классической. Для установления истинности ...
- Иллюстрация - (от лат. illustratio прояснять) факт или ...
- Идеализация - — процесс мысленного конструирования представлений и понятий об ...
- Знание - — результат процесса познания действительности, получивший подтверждение в ...
- Закон Экспортации - Импортации - (от лат. exportare вывозить, importare — ввозить) — ...
- Закон Мышления - - термин традиционной логики, обозначавший требование к логически совершенному ...
- Доказательство Конструктивное - см.: Конструктивная логика. ...
- Дихотомия - (от греч, dicha и tome рассечение на ...
- Дискуссия - (от лат. discussio — рассмотрение, исследование) — обсуждение ...
- Дилемма - (от греч. di(s) дважды и lemma ...
- Дизъюнктивный Силлогизм - см.: Модус понендо толленс. Модус толлендо поненс. ...
- Диаграммы Венна - геометрическое наглядное представление отношений между классами (объемами ...
- Деонтическая Модальность - (от греч. deon долг, правильность), или: Нормативная ...
- Анализ И Синтез. А. - (от греч. analysis разложение) разделение объекта ...