En Aprende Lógica nos hemos referido 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.
El argumento correspondiente de (A→B)≡(¬A∨B) es:
- Intercambiador (definición del implicador en términos de la disyunción)
-
- A→B
- ¬A∨B
y es una regla de interdefinición que define el implicador en términos del disyuntor.
Referencias en el texto: