En Aprende Lógica nos hemos referido
a la tautología (AB)
(¬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 (AB)
(¬A
B)
es:
A
![]() |
![]() |
¬A
![]() |
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
![]() |
|
![]() |
![]() |
![]() |