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