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: pq¬pq (que no es más que la definición del implicador)

Mismos valores p q pq ¬p ¬pq V V V F V V F F F F F V V V V F F V V V

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).

Práctica de la definición del implicador

Te invitamos a que contestes a las siguientes preguntas para practicar la equivalencia lógica pq¬pq.

	"Si llueve, entonces llevo paraguas"	equivale lógicamente a
	Elije una opción "No llueve aunque llevo paraguas" "Aunque llueva, no llevo paraguas" "O no llueve, o llevo paraguas" "O no llueve, o no llevo paraguas" "No llueve, aunque no llevo paraguas"
	"Si los burros vuelan, entonces soy un psicótico"	equivale lógicamente a
	Elije una opción "O los burros no vuelan, o no soy un psicótico" "O los burros vuelan, o no soy un psicótico" "O los burros no vuelan, o no soy un psicótico" "O los burros no vuelan, o soy un psicótico" "Ni los burros vuelan, ni soy un psicótico"
	"Me emborracho sólo si bebo whisky"	equivale lógicamente a
	Elije una opción "O me emborracho, o bebo whisky" "O no me emborracho, o no bebo whisky" "Ni me emborracho, ni bebo whisky" "O bebo whisky, o no me emborracho" "O no bebo whisky o me emborracho"

Página siguiente