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 que se puede conseguir siguiendo este enlace
.
El argumento correspondiente de (A
B)≡(¬A
B)
es:
|
A→B
|
 |
|
¬A∨B
|
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
