Философская энциклопедия - контрапозиции закон

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

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

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

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

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.