Professional Documents
Culture Documents
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:
con la proposición:
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éntesis
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 .
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:
1.
2.
3.
4.
4. Ninguna otra cosa es una fórmula bien formada.
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.
Todas las proposiciones atómicas son fórmulas bien formadas según la regla #1.
Todas las proposiciones atómicas son fórmulas bien formadas según la regla #1.
Todas las proposiciones atómicas son fórmulas bien formadas según la regla #1.
Todas las proposiciones atómicas son fórmulas bien formadas según la regla #1.
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ón
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 clave
Fórmula bien formada
Paréntesis
Razonamiento
Bibliografía
1. Klement, Kevin. «Propositional Logic» (http://www.iep.utm.edu/prop-log/). 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» (http://philosophy.hku.hk/think/sl/). Critical Thinking Web (en inglés).
Consultado el 11 de diciembre de 2015.
Obtenido de «https://es.wikiversity.org/w/index.php?
title=Lógica_proposicional/Proposiciones_compuestas&oldid=117545
»
Se editó esta página por última vez el 11 abr 2016 a las 02:50.