El intercambiador de Fredric W. Brown
En el año 1953, Fredric W. Brown, un escritor norteamericano de ciencia ficción y de novela negra, escribió un relato titulado El intercambiador (The Switcheroo). Esta ingeniosa historia relata la divertida peripecia de un inventor que construye un aparato (el intercambiador), que permite intercambiar mentes. El intercambiador permite seleccionar una persona, pensar intensamente en ella, y conseguir que nuestra mente se traslade a su cuerpo, y que la mente de nuestra víctima se instale en nuestro cuerpo.
La definición del implicador (o el intercambiador)
El intercambiador es el título de un relato de ciencia ficciónde F.W.Brown fue aprovechado por Douglas Hofstadter en su libro Gödel. Escher, Bach: un eterno y grácil bucle, (Barcelona, Ed. Tusquets) para bautizar a la equivalencia lógica de que nos ocupamos en esta sección: p→q≡¬p∨q (que no es más que la definición del implicador)
| p | q | p→q | ¬p | ¬p∨q |
|---|---|---|---|---|
| V | V | V | F | V |
| V | F | F | F | F |
| F | V | V | V | V |
| F | F | V | V | V |
Fíjate en esto
Fíjate que en lenguaje natural esta ley se puede expresar de la siguiente forma: "Una implicación es verdadera cuando p es falsa o cuando q es verdadera" (ya que el único caso en el una implicación es falsa es cuando el antecedente p es falso, y el consecuente q falso).
La definición del implicador
La definición del implicador (intercambiador) se formula de la siguiente manera:
p→q≡¬p∨q
Expresada en palabras, la ley del intercambiador afirma que es equivalente afirmar que "si p es verdad, entonces q también debe ser verdad", y decir que "o p no es verdad, o q debe ser verdad".
Práctica de la definición del implicador
Te invitamos a que contestes a las siguientes preguntas para practicar la equivalencia lógica p→q≡¬p∨q.