iLogic 2.3 Three Categorical Operations

Conversion, Obversion, and Contraposition for logical equivalence and immediate inference