Контрапозиция

Исчисление высказываний

Закон контрапозиции, который утверждает: если из некой посылки А следует B, то из отрицания этого следствия...
Различают полный закон контрапозиции, прямой и обратный законы контрапозиции....
На основе закона контрапозиции как общезначимого импликативного утверждения строится правило вывода,

Статья от экспертов

Формально-аксиологический закон контрапозиции бинарной операции «Необходимость» в двузначной алгебре метафизики

Изучаются логические следствия гипотезы о том, что, в сущности, метафизика есть формальная аксиология, в частности формальная этика. В двузначной алгебре метафизики как формальной аксиологии дается точное табличное определение але-тических модальностей как морально-правовых ценностных функций от двух ценностных переменных. В исследуемой алгебраической системе строго определяется отношение эквивалентности и генерируется список уравнений. Особое внимание уделяется алетической необходимости. Впервые точно формулируется и обосновывается (вычислением соответствующих ценностных таблиц) формально-аксиологический закон контрапозиции бинарной операции «необходимо» в двузначной алгебре метафизики.

Теория дедуктивных рассуждений

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

Статья от экспертов

От формальной логики эпистемических модальностей к их формальной аксиологии(истина, знание, вера и привычка как ценностные функции от двух переменных в алгебре формальной аксиологии: «Законы контрапозиции» бинарных операций «Истина», «Знание», «Вера» и «Привычка» в этой алгебре)