Abrir menú principal
Lección 5
La implicación

La implicación es la conectiva lógica más difícil de comprender y de asociar con una construcción del lenguaje natural.[1] Se representa con el símbolo y la expresión se puede leer de múltiples formas:[2]

  • α implica β
  • Si α, entonces β
  • α es suficiente para β
  • α es una condición suficiente para β
  • α solo si β
  • β es necesaria para α
  • β es una condición necesaria para α

En la expresión , la proposición se llama hipótesis o antecedente y la proposición se llama conclusión o consecuente.[2][1] La proposición compuesta es verdadera cuando el antecedente es falso o cuando el antecedente es verdadero y el consecuente es verdadero. Si el antecedente es verdadero y el consecuente es falso el valor de verdad de la implicación es falso ().[3]

La tabla de verdad de la conectiva se muestra a continuación y la forma más sencilla de recordarla es considerando que la proposición compuesta es únicamente falsa si el antecedente es verdadero y el consecuente es falso y que, en los tres demás casos, es verdadera.[1]

Es importante tener en cuenta que esta conectiva no establece una relación de causa entre el antecedente y el consecuente.[2] Si el antecedente es verdadero, el consecuente también debe serlo para que la proposición compuesta sea verdadera. Sin embargo el consecuente puede ser verdadero sin necesidad de que el antecedente también lo sea.[1]

La relación se puede entender de forma más sencilla mediante un ejemplo. El enunciado «si tengo dinero entonces soy feliz» será falso si tengo dinero pero no soy feliz. Sin embargo será verdadero si no tengo dinero y aún así soy feliz. El enunciado no me limita y puedo lograr la felicidad de otras maneras.[1]

La siguiente tabla con ejemplos ilustra aún mejor el funcionamiento de esta conectiva.

Primer enunciado Segundo enunciado La implicación en lenguaje natural Valor de verdad del primer enunciado

()

Valor de verdad del segundo enunciado

()

Valor de verdad de la implicación

()

La tierra es redonda Cristóbal Colón descubrió América Si la tierra es redonda entonces Cristóbal Colón descubrió América
Miguel de Cervantes fue un escritor Cristóbal Colón descubrió África Si Miguel de Cervantes fue un escritor entonces Cristóbal Colón descubrió África
Mario Vargas Llosa escribió «Cien años de soledad» Los triángulos tienen tres lados Si Mario Vargas Llosa escribió «Cien años de soledad» entonces los triángulos tienen tres lados
Júpiter es una estrella El sol es un planeta Si Júpiter es una estrella entonces el Sol es un planeta

Resumen de la lecciónEditar

  • La implicación se representa con el símbolo  .
  • La proposición a la izquierda del símbolo se llama antecedente o hipótesis.
  • La proposición a la derecha del símbolo se llama consecuente o conclusión.
  • La proposición compuesta es verdadera si tanto el antecedente como el consecuente son verdaderos.
  • La proposición compuesta es falsa si el antecedente es verdadero y el consecuente es falso.
  • La proposición compuesta es verdadera si el antecedente es falso.

Términos claveEditar

BibliografíaEditar

  1. 1,0 1,1 1,2 1,3 1,4 Lau, Joe; Chan, Jonathan. «Sentential logic». Critical Thinking Web (en inglés). Consultado el 11 de diciembre de 2015. 
  2. 2,0 2,1 2,2 Grimaldi, Ralph (1998). Matemáticas discreta y combinatoria (3.ª edición). Massachusetts, Estados Unidos: Addison Wesley Longman. p. 1120. ISBN 968-444-324-2. 
  3. Klement, Kevin. «Propositional Logic». The Internet Encyclopedia of Philosophy (en inglés). Massachusetts, Estados Unidos. Consultado el 11 de diciembre de 2015. 


Proyecto: Lógica proposicional
Anterior: Evaluación de la lección 4 — La implicación — Siguiente: Evaluación de la lección 5