«КОНТРАПОЗИЦИИ ЗАКОН»

КОНТРАПОЗИЦИИ ЗАКОН

закон логики, гласящий, что если из нек-рого суждения А следует суждение В, то из отрицания суждения В следует отрицание суждения А. К. з. можно также сформулировать в виде правила для условных суждений: из истинности суждения "Если А, то В" следует истинность суждения "Если не -В, то не -А". К. з. называют также формулы в логических исчислениях, являющиеся аналогом содержат. К. з. Таковы, напр., формулы:

где А и В – переменные для высказываний, А( ) и В( ) – переменные для предикатов, x – предметная переменная, a ⊃, и (∀) - соответственно знаки импликации, отрицания и квантора общности.

Лит.: Тарский Α., Введение в логику и методологию дедуктивных наук, М., 1948, гл. 2.

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

К. з. принимается как классической, так и конструктивной логикой.

С. К. Соболев.