LA LGICA PROPOSICIONAL

La lgica proposicional o lgica de orden cero trata con sistemas lgicos que carecen de cuantificadores, o variables interpretables como entidades. En lgica proposicional si bien no hay signos para variables de tipo entidad, s existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ah el nombre proposicional. La lgica proposicional incluye adems de variables interpretables como proposiciones simples signos para conectivas lgicas, por lo que dentro de este tipo de lgica puede analizarse la inferencia lgica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms simples. Una lgica proposicional es un sistema formal cuyos elementos ms simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas, representando sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. Notacin De Proposiciones Proposiciones Una proposicin es una afirmacin, una expresin que puede ser verdadera o falsa. Por ejemplo: 2 es impar es una proposicin (falsa). Por lo general se utilizan las letras P, Q y R para referirse a proposiciones. En el contexto matemtico. Los lemas, teoremas y corolarios son proposiciones. En general, un teorema es una proposicin importante o central; un lema es una proposicin que se utiliza para probar un teorema; un corolario es una consecuencia de un teorema. Naturalmente no hay distincin precisa entre los conceptos anteriores. Smbolos Lgicos Mediante los smbolos lgicos expresamos proposiciones complicadas a partir de proposiciones ms simples. 1. 2. 3. 4. 5. : Para todo (cuantificador universal). : Existe (cuantificador existencial). : No (operador unario de negacin). : (operador binario de disyuncin). : Y (operador binario de conjuncin).

6. 7.

: Implica, si...entonces (operador binario de implicacin). : S y slo s (operador binario de equivalencia).

Proposicin lgica y valores de verdad El valor de verdad de una proposicin lgica atmica (o variable proposicional) es, por definicin, verdadero o falso (podemos representarlo como V o F). As el enunciado llueve es verdadero si y slo si est lloviendo en ese momento. Pero si dicho enunciado se considera como proposicin lgica atmica, p, entonces puede ser tanto verdadera como falsa. Es una verdad de hecho o contingente, porque tiene los dos posibles valores de verdad, por la propia definicin de proposicin lgica. El contenido de la relacin de un enunciado con lo real no es objeto de la lgica sino de otras ciencias. Verdad de hecho o contingente, contradiccin y tautologa El valor de verdad de una proposicin molecular puede ofrecer los siguientes casos:

Que su valor dependa del valor de verdad de las proposiciones que la integran, segn las conexiones lgicas que las unen. En ese caso dicha proposicin tiene un valor de Verdad o contingente. Puede ser unas veces verdadera y otras veces falsa segn la verdad o falsedad de cada una de las proposiciones atmicas que la integran.

El valor lgico V (verdad) de la proposicin llueve y hace calor, slo se dar en el caso de que las dos proposiciones llueve (p) y hace calor (q) sean tomadas en su valor de V; en los dems casos ser falsa. Sin embargo en la proposicin llueve o hace calor basta que una de las dos sea considerada en su valor de verdad V para que la proposicin molecular sea verdadera. La funcin y conjuntiva y la funcin o disyuntiva se definen en tablas de verdad, como funciones de verdad, functores o conectivas. Las dos proposiciones moleculares enunciadas ms arriba pueden ser verdaderas o falsas segn sean los valores que tomemos en consideracin en cada una de las proposiciones que la integran. Por eso ambas son contingentes.

Que su valor de verdad no dependa del valor de verdad de las proposiciones que la forman, sino que, por la forma en que se establecen sus conexiones, como relaciones lgicas, siempre y necesariamente es falsa. Entonces esa proposicin es una contradiccin.

El valor de verdad de la proposicin llueve y no llueve es una contradiccin y siempre ser falsa, con independencia del valor que consideremos V o F de llueve (p) y de no llueve (p). La funcin de verdad no se define mediante una tabla de verdad.

Que su valor de verdad no dependa del valor de verdad de las proposiciones que la forman, sino que, por la forma en que se establecen sus conexiones, siempre y necesariamente es verdadera. Entonces esa proposicin es una tautologa.