Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»
Contenido eliminado Contenido añadido
m +contenido |
+contenido |
||
Línea 21:
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.<ref name="klement" />
Los paréntesis nos permiten agrupar expresiones e indicar el orden exacto en el que se deben evaluar.<ref name="klement" /> 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 el Sol es un planeta y Júpiter 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 («el Sol es un planeta y Júpiter es un planeta») o solamente a la primera proposición («el Sol es un planeta») ya que las expresiones resultantes tienen diferentes valores de verdad. Si definimos <math>S</math> como el «Sol es un planeta» y <math>J</math> como «Júpiter es un planeta», podemos interpretar el enunciado como <math>\neg (S \and J)</math> que tiene un valor de verdad <math>V</math> o como <math>\neg S \and J</math>, que tiene un valor de verdad <math>F</math>.
=== Tipos de proposiciones ===
| |||