En la lógica, el inverso es una declaración formada invirtiendo la expresión. En lógica tradicional, lo contrario puede tomar dos formas posibles. Lo contrario de un " de la declaración; Todo el P es Q" podía ser el " Todo no P es Q" o " Todo no P no es Q". El primer de éstos es la separación de las declaraciones P y Q, escrita tradicionalmente P v Q. El segundo de éstos es el inverso (lógica) Contrapositive, o el contrapositive del inverso, del " original de la declaración; Todo el P es Q." La negación de una declaración no implica la verdad de lo contrario. Para ver esto, observar que no es el caso que " todas las mujeres son " de Virginia Woolf ; (el cf. Bell engancha ) solamente no es también el caso que primer lo contrario de la declaración, " todas las no-mujeres son Virginia Woolf, " asimientos (cf. (Comparar esto con el contrapositive, " Si algo no es una mujer, después no es Virginia Woolf.")

Ver también

.