Abrir menú principal

Lógica proposicional/Proposiciones compuestas

Lección 6
Proposiciones compuestas

Hasta este momento hemos visto que la lógica proposicional trata con enunciados atómicos que llamamos proposiciones y que representamos con letras individuales debido a que no nos interesan sus características internas, solamente su valor de verdad. También nos hemos familiarizado con las principales conectivas lógicas que podemos usar para combinar proposiciones individuales (conjunción, disyunción, implicación) o para cambiar su valor de verdad (negación).

Con lo que sabemos podemos representar en el lenguaje de la lógica proposicional expresiones como «Francia es un país» (), «Los triángulos rectángulos tienen un ángulo de 90° y los cuadrados tienen 4 ángulos de 90°» () o «no es cierto que el sistema solar tiene nueve planetas» (). Sin embargo su verdadero poder como herramienta de razonamiento se vuelve aparente cuando la usamos para representar expresiones más complejas. Por ejemplo, podemos representar el texto:

«Ni el zorro ni el lince pueden atrapar a la libre si está alerta y es rápida»

con la proposición:

si representamos los hechos en el enunciado de la siguiente forma:

  • P: El zorro puede atrapar a la liebre.
  • Q: El lince puede atrapar a la liebre.
  • R: La liebre está alerta.
  • S: La liebre es rápida.

Para construir expresiones como la anterior necesitamos dos elementos adicionales: los paréntesis y un método para combinar las expresiones y garantizar que sean fórmulas lógicas bien formadas que podamos usar posteriormente en los procesos de razonamiento.[1]

Los paréntesisEditar

Los paréntesis nos permiten agrupar expresiones e indicar el orden exacto en el que se deben evaluar.[1] En el lenguaje natural un enunciado se puede interpretar de formas distintas. Las ambigüedades se resuelven usando el contexto o quedan sin dilucidar. En el lenguaje de la lógica proposicional los significados de las expresiones deben comunicarse de forma precisa y sin ambigüedades para poder usarlas para sacar conclusiones sólidas.

Mientras que en el lenguaje natural la expresión «No es cierto que Júpiter es un planeta y el Sol es un planeta» es perfectamente aceptable, en la lógica proposicional es indispensable determinar si la frase «no es cierto que» se aplica a la expresión completa («Júpiter es un planeta y el Sol es un planeta») o solamente a la primera proposición («Júpiter es un planeta») ya que las expresiones resultantes tienen diferentes valores de verdad. Si definimos como «Júpiter es un planeta» y como el «Sol es un planeta», podemos interpretar el enunciado como que tiene un valor de verdad o como , que tiene un valor de verdad .

Método para crear fórmulas bien formadasEditar

Las proposiciones atómicas y las conectivas lógicas son los componentes básicos de la lógica proposicional y a partir de ellas se pueden construir proposiciones complejas que se pueden usar para sacar conclusiones. Sin embargo, no se pueden combinar de forma arbitraria. Es necesario que tengan una estructura que se ajuste a la gramática de este tipo de lógica. Para garantizar que una expresión sea una fórmula bien formada debemos seguir estas reglas:[2]

  1. Todas las proposiciones atómicas (letras individuales) son fórmulas bien formadas.
  2. Si es una fórmula bien formada, también es una fórmula bien formada.
  3. Si y son fórmulas bien formadas, las siguientes expresiones también son fórmulas bien formadas:
  4. Ninguna otra cosa es una fórmula bien formada.


comentario El símbolo corresponde a la conectiva lógica de equivalencia que estudiaremos en la lección 8.


Como una conveniencia se suelen omitir los paréntesis más externos, de forma que y se consideran la misma expresión. Sin embargo es necesario colocarlos en su lugar si la fórmula se va a combinar como parte de otra fórmula más compleja como .

Para facilitar la comprensión de este procedimiento, la siguiente tabla muestra varias proposiciones y las razones por las cuales se consideran fórmulas bien formadas.

Fórmula Explicación
  • Todas las proposiciones atómicas son fórmulas bien formadas según la regla #1.
    • es una proposición atómica y por tanto una fórmula bien formada.
  • Todas las proposiciones atómicas son fórmulas bien formadas según la regla #1.
    • es una proposición atómica y por tanto una fórmula bien formada.
  • La negación de una fórmula bien formada también es una fórmula bien formada según la regla #2
    • Dado que es una fórmula bien formada, su negación también es una fórmula bien formada.
  • Todas las proposiciones atómicas son fórmulas bien formadas según la regla #1.
    • es una proposición atómica y por tanto una fórmula bien formada.
    • es una proposición atómica y por tanto una fórmula bien formada.
  • La conjunción de dos fórmulas bien formadas rodeada por paréntesis es una fórmula bien formada según la regla #3.1
    • Dado que y son fórmulas bien formadas, su conjunción también es una fórmula bien formada.
  • Todas las proposiciones atómicas son fórmulas bien formadas según la regla #1.
    • es una proposición atómica y por tanto una fórmula bien formada.
    • es una proposición atómica y por tanto una fórmula bien formada.
    • es una proposición atómica y por tanto una fórmula bien formada.
  • La negación de una fórmula bien formada también es una fórmula bien formada según la regla #2
    • Dado que es una fórmula bien formada, su negación también es una fórmula bien formada.
  • La conjunción de dos fórmulas bien formadas rodeada por paréntesis es una fórmula bien formada según la regla #3.1
    • Dado que y son fórmulas bien formadas, su conjunción también es una fórmula bien formada.
  • La negación de una fórmula bien formada también es una fórmula bien formada según la regla #2
    • Dado que es una fórmula bien formada, su negación también es una fórmula bien formada.
  • La disyunción de dos fórmulas bien formadas rodeada por paréntesis es una fórmula bien formada según la regla #3.2
    • Dado que y son fórmulas bien formadas, su disyunción también es una fórmula bien formada.
  • Todas las proposiciones atómicas son fórmulas bien formadas según la regla #1.
    • es una proposición atómica y por tanto una fórmula bien formada.
    • es una proposición atómica y por tanto una fórmula bien formada.
    • es una proposición atómica y por tanto una fórmula bien formada.
    • es una proposición atómica y por tanto una fórmula bien formada.
  • La negación de una fórmula bien formada también es una fórmula bien formada según la regla #2
    • Dado que es una fórmula bien formada, su negación también es una fórmula bien formada.
    • Dado que es una fórmula bien formada, su negación también es una fórmula bien formada.
  • La conjunción de dos fórmulas bien formadas rodeada por paréntesis es una fórmula bien formada según la regla #3.1
    • Dado que y son fórmulas bien formadas, su conjunción también es una fórmula bien formada.
    • Dado que y son fórmulas bien formadas, su conjunción también es una fórmula bien formada.
  • La implicación de dos fórmulas bien formadas rodeada por paréntesis es una fórmula bien formada según la regla #3.3
    • Dado que y son fórmulas bien formadas, su implicación también es una fórmula bien formada.

En todos los casos anteriores es posible eliminar los paréntesis de la fórmula más externa ya que eso no cambia el significado de la expresión.

Resumen de la lecciónEditar

  • El lenguaje de la lógica proposicional permite construir expresiones complejas.
  • Las expresiones construidas con los elementos de la lógica proposicional deben ser fórmulas bien formadas.
  • Los paréntesis permiten indicar sin ambigüedades el significado de las expresiones con múltiples conectivas lógicas.
  • Las fórmulas bien formadas son proposiciones atómicas, la negación de otras fórmulas bien formadas o la combinación de dos fórmulas bien formadas mediante las conectivas lógicas de conjunción, disyunción o implicación y su agrupación con paréntesis.

Términos claveEditar

BibliografíaEditar

  1. 1,0 1,1 Klement, Kevin. «Propositional Logic». The Internet Encyclopedia of Philosophy (en inglés). Massachusetts, Estados Unidos. Consultado el 11 de diciembre de 2015. 
  2. Lau, Joe; Chan, Jonathan. «Sentential logic». Critical Thinking Web (en inglés). Consultado el 11 de diciembre de 2015. 


Proyecto: Lógica proposicional
Anterior: Segunda evaluación parcial — Proposiciones compuestas — Siguiente: Evaluación de la lección 6