Contraposition

(redirected from Contrapositives)
Also found in: Dictionary, Thesaurus.
The following article is from The Great Soviet Encyclopedia (1979). It might be outdated or ideologically biased.

Contraposition

 

the law of traditional logic that holds that if from a certain proposition A there follows the proposition B, then from the negation of the proposition B follows the negation of the proposition A (or in the language of conditional propositions: from the truth of the proposition “If A, then B” follows the truth of the proposition “If not B ?, then not- A”).

REFERENCES

Church, A. Vvedenie v matematicheskuiu logiku. Moscow, 1960. (Translated from English.)
Tarski, A. Vvedenie v logiku i metodologiiu deduktivnykh nauk. Moscow, 1948. (Translated from English.)
The Great Soviet Encyclopedia, 3rd Edition (1970-1979). © 2010 The Gale Group, Inc. All rights reserved.