noun - A logical term referring to a statement derived from another through the interchange of affirmation and denial as well as the subjects and predicates.