Immediate inference

An inference from one statement to another. In categorical logic, immediate inferences are made “around” the square of opposition. Other immediate inferences in categorical logic are conversion, obversion, and contraposition.