lógica matemática

 Lógica proposicional

1.1 El lenguaje de la lógica proposicional

1.1.1 Proposiciones atómicas y proposiciones moleculares

La lógica proposicional trata sobre la verdad o la falsedad de las proposiciones y de cómo la verdad se transmite de unas proposiciones (premisas) a otras (conclusión). Una proposición es la unidad mínima de significado susceptible de ser verdadera o falsa.

Una palabra aislada, por sí misma, no nos dice nada. La palabra "perro" tiene una referencia, pero no nos da ninguna información si no es en el contexto de una proposición como "El perro está haciendo cosas raras". Por ello una palabra, a menos que constituya una proposición, no es verdadera o falsa. Sólo tienen valor de verdad las proposiciones.

Debemos distinguir dos tipos de proposiciones: las proposiciones atómicas y las proposiciones moleculares. Las proposiciones atómicas son aquéllas que no se componen de otras proposiciones. La proposición

La Lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea. También recibe el nombre de Cálculo Proposicional.

Una lógica proposicional, o a veces lógica de orden cero, es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.¹​

Las lógicas proposicionales carecen de cuantificadores o variables de individuo, pero tienen variables proposicionales (es decir, que se pueden interpretar como proposiciones con un valor de verdad definido), de ahí el nombre proposicional. Los sistemas de lógica proposicional incluyen además conectivas lógicas, por lo que dentro de este tipo de lógica se puede analizar la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.²​

Como las lógicas proposicionales no tienen cuantificadores o variables de individuo, cualquier secuencia de signos que constituya una fórmula bien formada admite una valoración en la proposición es verdadera o falsa dependiendo del valor de verdad asignado a las proposiciones que la compongan. Esto implica que cualquier fórmula bien formada define una función proposicional. Por tanto, cualquier sistema lógico basado en la lógica proposicional es decidible y en un número finito de pasos se puede determinar la verdad o falsedad semántica de una proposición. Esto hace que la lógica proposicional sea completa y con una semántica muy sencilla de caracterizar.