Intercambiador

(Definición de la implicación en términos de la disyunción) Se refiere a la tautología (A→B) == (~A|B) 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 (A→B) == (~A|B) es:

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