La lgica proposicional es un sistema formal diseado para analizar ciertos tipos de argumentos.

En lgica proposicional, las frmulas representan proposiciones y las conectivas lgicas son operaciones sobre dichas frmulas, capaces de formar otras frmulas de mayor complejidad.1 Como otros sistemas lgicos, la lgica proposicional intenta esclarecer nuestra comprensin de la nocin de consecuencia lgica para el rango de argumentos que analiza. Conectivas lgicas Expresin en el Ejemplo lenguaje natural no y o si... entonces No est lloviendo. Est lloviendo y est nublado. Est lloviendo o est soleado. Si est soleado, entonces es de da. Est nublado si y slo si hay nubes visibles. Ni est soleado ni est nublado. . Smbolo en este artculo

Conectiva

Smbolos alternativos

Negacin Conjuncin Disyuncin Condicional material Bicondicional Negacin conjunta Disyuncin excluyente

si y slo si

ni... ni

o bien... o O bien est soleado, o bien est bien nublado.

En la lgica proposicional, las conectivas lgicas son tratados como funciones de verdad. Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad. Por ejemplo, la conectiva lgica no es una funcin que si toma el valor de verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si se aplica la funcin no a una letra que represente una proposicin falsa, el resultado ser algo verdadero. Si es falso que est lloviendo, entonces ser verdadero que no est lloviendo.

El significado de las conectivas lgicas no es nada ms que su comportamiento como funciones de verdad. Cada conectiva lgica se distingue de las otras por los valores de verdad que devuelve frente a las distintas combinaciones de valores de verdad que puede recibir. Esto quiere decir que el significado de cada conectiva lgica puede ilustrarse mediante una tabla que despliegue los valores de verdad que la funcin devuelve frente a todas las combinaciones posibles de valores de verdad que puede recibir. Negacin Conjuncin Disyuncin Condicional Bicondicional

Lmites de la lgica proposicional La maquinaria de la lgica proposicional permite formalizar y teorizar sobre la validez de una gran cantidad de argumentos. Sin embargo, tambin existen argumentos que son intuitivamente vlidos, pero cuya validez no puede ser probada por la lgica proposicional. Por ejemplo, considrese el siguiente argumento: Todos los hombres son mortales. Scrates es un hombre. Por lo tanto, Scrates es mortal. Como este argumento no contiene ninguna de las conectivas no, y, o, etc., segn la lgica proposicional, su formalizacin ser la siguiente: p q Por lo tanto, r Pero esta es una forma de argumento invlida, y eso contradice nuestra intuicin de que el argumento es vlido. Para teorizar sobre la validez de este tipo de argumentos, se necesita investigar la estructura interna de las variables proposicionales. De esto se ocupa la lgica de primer orden. Otros sistemas formales permiten teorizar sobre otros tipos de argumentos. Por ejemplo la lgica de segundo orden, la lgica modal y la lgica temporal.