Akademik

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

ЗАКОН">

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

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