Se dice convertir una , en referencia a lo que tradicionalmente han sido los juicios aristotélicos, a la sustitución de los términos entre sí. O dicho más claramente cambiar el sujeto por el predicado. S es P queda convertida en P es S. Aristóteles estudió la conversión, aplicándola incluso a los juicios modales, pero en la lógica actual no se acepta la doctrina tradicional al ser considerada la proposición desde otro punto de vista completamente diferente, como función proposicional. Dado que hay cuatro clases de juicios aristotélicos, A, E, I, O, en cada caso la conversión produce diferentes efectos en cada una.

es.wikipedia.org · CC-BY-SA

In logic, the converse of a categorical or implicational statement is the result of reversing its two parts. For the implication P → Q, the converse is Q → P. For the categorical proposition All S is P, the converse is All P is S. In neither case does the converse necessarily follow from the original statement. The categorical converse of a statement is contrasted with the contrapositive and the obverse.

en.wikipedia.org · CC-BY-SA