На главную О проекте Обратная связь Помочь проекту Добавить в "Избранное"

  
Наши слова →  Словарь логики →  А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Закон Двойного Отрицания

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

→ Закон Де Моргана - общее название логических законов, связывающих с помощью отрицания конъюнкцию («и») и дизъюн­кцию («или»). Названы именем англ. логика XIX в. А. де ...
← Закон Гипотетического Силлогизма - закон логики, характеризующий импликацию («если, то»): если первое влечет вто­рое, то если второе влечет третье, то первое влечет третье. Напр.: ...





© nashislova.ru - Все словари 2009 Информация публикуется на сайте исключительно для ознакомительных целей и основана на свободно распостраняемых версиях словарей. Администрация не несет ответственности за любые неточности в текстах.
Rambler's Top100
Выполнено за: 0.068 c.