Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»
Contenido eliminado Contenido añadido
m Actualizando el formato de las referencias |
|||
Línea 25:
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 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 <math>J</math> como «Júpiter es un planeta» y <math>S</math> como el «Sol es un planeta», podemos interpretar el enunciado como <math>\neg (J \and S)</math> que tiene un valor de verdad <math>V</math> o como <math>\neg J \and S</math>, que tiene un valor de verdad <math>F</math>.kkkkjejejlol
=== Método para crear fórmulas bien formadas ===
| |||