Type of conditional sentence which is an immediate inference made from another conditional sentence.
Opposite in nature or effect or relation to another quantity.
Mathematical operation or function which undoes the effect of another entity of the same type.