High Quality Content by WIKIPEDIA articles! Conversion is a concept in traditional logic referring to a "type of immediate inference in which from a given proposition, another proposition is inferred which has as its subject the predicate of the original proposition and as its predicate the subject of the original proposition (the quality of the proposition being retained)". The immediately inferred proposition is termed the converse of the original proposition. Conversion has distinctive applications in philosophical logic and mathematical logic. This article concerns its philosophical application distinct from the other traditional inference processes of contraposition and obversion where equivocation varies with different proposition types.