«Закон контрапозиции» — это общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие условного высказывания.
Один из этих законов, называемый иногда законом простой контрапозиции, звучит так:
если первое влечет второе, то отрицание второго влечет отрицание первого.
Например: «Если верно, что число, делящееся на шесть, делится на три, то верно, что число, не делящееся на три, не делится на шесть».
Другой закон контрапозиции говорит:
если верно, что если не-первое, то не-второе, то верно, что если второе, то первое.
Например: «Если верно, что рукопись, не получившая положительного отзыва, не публикуется, то верно, что публикуемая рукопись имеет положительный отзыв». Или другой пример: «Если нет дыма, когда нет огня, то если есть огонь, есть и дым».
Еще два закона конрапозиции:
если дело обстоит так, что если А, то не-В, то если В, то не-А; например: «Если квадрат не является треугольником, то треугольник не квадрат»;
если верно, что если не-А, то В, то если не-В, то А; например: «Если не являющееся очевидным сомнительно, то не являющееся сомнительным очевидно».