Lógica

Estudiando Lógica, me he acordado de un chiste que contó el profesor un día en clase. Por ahí hay varias versiones, pero me ciño a esta:

El tipo de pueblo que regresa de sus estudios en la ciudad tras licenciarse en igeniería informática. De vuelta al pueblo, se encuentra a su amigo Pepe y se para a hablar con él:

-Hombree! El informático... ¿qué?¿terminaste ya la carrera?
-Sí.
-¿Y que tal?¿cómo fue?¿Te gustó?
-Bueno, no está mal. Hay algunas asignaturas que son muy interesantes. Por ejemplo, Lógica.
-¿Lógica?¿Y qué es eso exactamente?
-Pues verás te voy a poner un ejemplo: ¿Tu tienes pecera?
-Sí, tengo una.
-Entonces, por lógica, te gustan los peces de colores.
-Sí, claro.
-Por lógica puedo deducir que si te gustan los peces, te gusta la belleza en las cosas.
-Si!
-Luego, por lógica, si te gusta la belleza en las cosas, te gustan las mujeres.
-Claro que me gustan las mujeres.
-Pues por lo tanto, si te gustan las mujeres, por lógica, podemos deducir que eres un hombre.
-Por supuesto.
-¿Ves? Pues eso es la lógica.

Más tarde, el amigo Pepe se va de copas por el pueblo y se encuentra a su colega Juan. Mientras se toman una copa, Pepe le cuenta su nuevo descubrimiento:

-Tío, hoy he aprendido qué es la lógica.
-Bueno y ¿qué es?
-A ver, te voy a poner un ejemplo: ¿Tu tienes pecera?
-Pues no.
-TIO, TU ERES MARICON!!!

-Pa quien no lo coja-

Pepe confunde la Ley de Trasposición de la Lógica Clásica:
A->B no es equivalente a ¬A->¬B sino, A->B es equivalente a ¬B->¬A

Es decir, que seas hombre si tienes pecera, no quiere decir que si no la tienes no lo seas.
Si eres hombre si y sólo si tienes pecera, entonces, si no eres hombre no tienes pecera. Esto último si sería lógicamente correcto, suponiendo claro la veracidad de los razonamientos.