Formas de la Condicional

         Formas de la Condicional

• Inversa

Es una de las operaciones que la lógica clásica tradicional admitía como operación lógica válida. Consiste en cambiar el sujeto por su contradictorio como inferencia a partir del juicio original.

• Recíproca 

Se dice convertir , en referencia a lo que tradicionalmente han sido los juicios aristotelicos, a la sustitución de los términos entre sí. O dicho más claramente cambiar el sujeto por el predicado.

S es P ${\displaystyle \rightarrow }$ queda convertida en ${\displaystyle \rightarrow }$ P es S.

• Contrapositiva

 En lógica, la contraposición lógica es una ley que dice que, para cada sentencia condicional, hay una equivalencia lógica entre la misma y su contraposición. En la contraposición de una sentencia, el antecedente y consecuente son invertidos y negados:

por lo tanto, la contraposición de  es, por lo tanto, .