Смотреть больше слов в «Словаре по логике»
общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие (антецедент и консеквент) условного в... смотреть
КОНТРАПОЗИЦИИ ЗАКОН закон логики, гласящий, что если из нек-рого суждения А следует суждение В, то из отрицания суждения В следует отрицание суждени... смотреть
закон логики, гласящий, что если из нек-рого суждения А следует суждение В, то из отрицания суждения В следует отрицание суждения А. К. з. можно также сформулировать в виде правила для условных суждений: из истинности суждения "Если А, то В" следует истинность суждения "Если не -В, то не -А". К. з. называют также формулы в логических исчислениях, являющиеся аналогом содержат. К. з. Таковы, напр., формулы: где А и В – переменные для высказываний, А( ) и В( ) – переменные для предикатов, x – предметная переменная, a ?, и (?) - соответственно знаки импликации, отрицания и квантора общности. Лит.: Тарский ?., Введение в логику и методологию дедуктивных наук, М., 1948, гл. 2. ... смотреть
- логический принцип, согласно к-рому если из одного утверждения следует другое, то отрицание последнего влечет отрицание первого: К. з. принимается к... смотреть
лат contrapositio — противопоставление) — закон логики, согласно к-рому если из нек-рого высказывания А следует высказывание 5, то из отрицания высказывания В следует отрицание высказывания А. ... смотреть