Головна
Українська Радянська Енциклопедія
Енциклопедичний словник-довідник з туризму
Юридична енциклопедія - Шемшученко Ю.С.
 
Головна arrow Українська Радянська Енциклопедія arrow плюш-подол arrow ПОДВІЙНОГО ЗАПЕРЕЧЕННЯ ЗАКОН
   

ПОДВІЙНОГО ЗАПЕРЕЧЕННЯ ЗАКОН

— закон формальної логіки, за яким подвійне заперечення будь-якого судження дає вихідне судження, тобто подвійне заперечення судження рівнозначне його ствердженню. Напр., судження "Планета не є нерухомою" рівнозначне судженню "Планета рухома". П. з. з. символічно записується у вигляді таких формул: А →А, де - — знак заперечення ( =— подвійне заперечення), → — знак імплікації; А ? А, де ? — знак еквівалентності. П. з. з. широко використовується не тільки в логіці, а й у математиці, мовознавстві.

Д. П. Кирик.

 

Схожі за змістом слова та фрази