A so-called immediate inference which consists in denying the original subject of the contradictory predicate
The act of immediate inference, by which we deny the opposite of anything which has been affirmed
This is also described as "immediate inference by privative conception."