Контрапозиции Закон

Логический принцип, согласно к-рому если из одного утверждения следует другое, то отрицание последнего влечет отрицание первого: К. з. принимается как классической, так и конструктивной логикой. С. К. Соболев.

Источник: Математическая энциклопедия на Gufo.me