2. (n.) A so-called immediate inference which consists in denying the original subject of the contradictory predicate; e.g.: Every S is P; therefore, no Not-P is S.