intercambiador (definición de la implicación en términos de la disyunción)

En Aprende Lógica nos hemos referido a la tautología (AB)(¬AB) como "intercambiador", siguiendo la propuesta de Douglas Hofstadter en su libro Gödel. Escher, Bach: un eterno y grácil bucle, (Barcelona, Ed. Tusquets). El intercambiador es el título de un ingenioso relato de Fredric W. Brown que se puede conseguir siguiendo este enlace.

El argumento correspondiente de (AB)(¬AB) es:

AB
¬AB

y es una regla de interdefinición que define el implicador en términos del disyuntor.

Ir al texto: el intercambiador desde el punto de vista semántico
El intercambiador como regla de inferencia