Контрапозиции Закон - это...

Контрапозиции Закон - общее название для ряда логи­ческих законов, позволяющих с помощью отрицания менять мес­тами основание и следствие (антецедент и консеквент) условного высказывания. Один из этих законов, называемый иногда законом про­стой контрапозиции, звучит так: если первое влечет вто­рое, то отрицание второго влечет отрицание первого. Напр.: «Если верно, что число, делящееся на шесть, делится на три, то верно, что число, не делящееся на три, не делится также на шесть». С использованием символики логической (р, q — некоторые высказывания; -> — импликация, «если, то»;