An immediate inference made by exchanging the subject and predicate terms of a categorical proposition. Conversion is a valid inference when the resulting proposition is equivalent to the original. As such it is valid only for E- and I-propositions.