Contraposition is a logical operation that forms a new proposition from an original one by negating or contradicting terms. There are two types: partial/simple contraposition changes quality between affirmative and negative but not subject and predicate terms, while complete contraposition changes both quality and subject and predicate terms. Partial contraposition changes an affirmative proposition to a negative one and vice versa. Complete contraposition preserves quality but changes subject and predicate terms such that if the original proposition is affirmative, so is the contraposition.