ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ
закон логики, позволяющий отбрасывать двойное отрицание. Его можно сформулировать так: отрицание отрицания дает утверждение, или: повторенное дважды отрицание ведет к утверждению. Напр.: "Если неверно, что Вселенная не является бесконечной, то она бесконечна".
3. д. о. был известен еще в античности. В частности, древнегреческие философы Зенон Элейский и Горгий излагали его так: если из отрицания к.-л. высказывания следует противоречие, то имеет место двойное отрицание исходного высказывания, т. е. оно само.
С применением символики логической (р - некоторое высказывание; —> - условная связь, "если, то"; закон двойного отрицания - отрицание, "неверно, что") закон записывается так:
закон двойного отрицания закон двойного отрицания p —> p, если неверно, что неверно р, то верно р.
Другой закон логики, говорящий о возможности не снимать, а вводить два отрицания, принято называть обратным 3. д. о.: ут-верждение влечет свое двойное отрицание. Напр.: "Если Шекспир писал сонеты, то неверно, что он не писал сонеты". Символически:
p—> закон двойного отрицания закон двойного отрицанияp,
если р, то неверно, что не-р.
Объединение этих законов дает т. наз. полный 3. д. о.: двойное отрицание равносильно утверждению. Напр.: "Планеты не неподвижны в том и только том случае, если они движутся". Символически (= - эквивалентность, "если и только если"):
закон двойного отрицания закон двойного отрицанияР = Р, неверно, что не-р, если и только если верно р.
- закон двойного отрицания—ос терстеу заы...Орысша-қазақша «Математика» терминологиялық сөздік
- закон двойного отрицания—law of double negation...Русско-английский политехнический словарь
- закон двойного отрицания—матем. legge della doppia negazione...Русско-итальянский политехнический словарь
- закон двойного отрицания—ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ закон логики позволяющий отбрасывать двойное отрицаниеi. iЕго можно сформулировать так отрицание отрицания дает утверждение или повторенное дваж...Словарь по логике