Conectivas lgicas Conectiva Expresin en el lenguaje natural Ejemplo Smbolo en este artculo Smbolos alternativos Negacin no No est lloviendo.

Conjuncin y Est lloviendo y est nublado. Disyuncin o Est lloviendo o est soleado. Condicional material si... entonces Si est soleado, entonces es de da. Bicondicional si y slo si Est nublado si y slo si hay nubes visibles. Negacin conjunta ni... ni Ni est soleado ni est nublado. Disyuncin excluyente o bien... o bien O bien est soleado, o bien est nublado. Negacin

Conjuncin

Disyuncin

Condicional

Bicondicional

Dos sistemas formales de lgica proposicional Sistema axiomtico Alfabeto Una cantidad finita pero arbitrariamente grande de variables proposicionales. En general se las toma del alfabeto latino, empezando por la letra p, luego q, r, etc., y utilizando subndices cuando es necesario o conveniente. Las variables proposicionales representan proposiciones como "est lloviendo" o "los metales se expanden con el calor".

Un conjunto de operadores lgicos:

Dos signos de puntuacin: los parntesis izquierdo y derecho. Su nica funcin es desambiguar ciertas expresiones ambiguas, en exactamente el mismo sentido en que desambiguan la expresin 2 + 2 2, que puede significar tanto (2 + 2) 2, como 2 + (2 2).

Gramtica Una vez definido el alfabeto, el siguiente paso es determinar qu combinaciones de smbolos pertenecen al lenguaje del sistema. Esto se logra mediante una gramtica formal. La misma consiste en un conjunto de reglas que definen recursivamente las cadenas de caracteres que pertenecen al lenguaje. A las cadenas de caracteres construidas segn estas reglas se las llama frmulas bien formadas. Las reglas del sistema L son: 1. Las variables proposicionales del alfabeto de L son frmulas bien formadas.

2. Si 3. Si

es una frmula bien formada de L, entonces

tambin lo es.

y son frmulas bien formadas de L, entonces , , y tambin lo son. 4. Slo las expresiones que pueden ser generadas mediante las clusulas 1 a 3 en un nmero finito de pasos son frmulas bien formadas de L. Segn estas reglas, las siguientes cadenas de caracteres son ejemplos de frmulas bien formadas:

Y los siguientes son ejempos de frmulas mal formadas Frmula Error Sobran parntesis Sobran parntesis Sobran parntesis Faltan parntesis Faltan parntesis Por otra parte, dado que la nica funcin de los parntesis es desambiguar las frmulas, en general se acostumbra omitir los parntesis externos de cada frmula, ya que estos no cumplen ninguna funcin. As por ejemplo, las siguientes frmulas generalmente se consideran bien formadas: Correccin

Otra convencin acerca del uso de los parntesis es que las conjunciones y las disyunciones tienen menor jerarqua que los condicionales materiales y los bicondicionales. Esto significa que dada una frmula sin parntesis, las conjunciones y las disyunciones deben agruparse antes que los condicionales materiales y los bicondicionales. Por ejemplo: Frmula Lectura correcta Lectura incorrecta

Estas convenciones son anlogas a las que existen en el lgebra elemental, donde la multiplicacin y la divisin siempre deben resolverse antes que la suma y la resta. As por ejemplo, la ecuacin 2 + 2 2 podra interpretarse como (2 + 2) 2 o como 2 + (2 2). En el primer caso el resultado sera 8, y en el segundo caso sera 6. Pero como la multiplicacin siempre debe resolverse antes que la suma, el resultado correcto en este caso es 6, no 8. Axiomas Los axiomas de un sistema formal son un conjunto de frmulas bien formadas que se toman como punto de partida para demostraciones ulteriores. Un conjunto de axiomas estndar es el que descubri Jan ukasiewicz:

Reglas de inferencia Una regla de inferencia es una funcin que va de conjuntos de frmulas a frmulas. Al conjunto de frmulas que la funcin toma como argumento se lo llama premisas, mientras que a la frmula que devuelve como valor se la llama conclusin. En general se busca que las reglas de inferencia transmitan la verdad de las premisas a la conclusin. Es decir, que sea imposible que las premisas sean verdaderas y la conclusin falsa. En el caso de L, la nica regla de inferencia es el modus ponens, el cual dice:

Recordando que y frmula bien formada.

no son frmulas, sino metavariables que pueden ser reemplazadas por cualquier

Ejemplo de una demostracin A demostrar: Paso Frmula 1 2 3 4 5

Razn Instancia del primer axioma. Instancia del primer axioma. Instancia del segundo axioma. Desde (2) y (3) por modus ponens. Desde (1) y (4) por modus ponens. QED

Deduccin natural Un sistema de lgica proposicional tambin puede construirse a partir de un conjunto vaco de axiomas. Para ello se especifican una serie de reglas de inferencia que intentan capturar el modo en que naturalmente razonamos acerca de las conectivas lgicas. Introduccin de la negacin: Si suponer lleva a una contradiccin, entonces se puede inferir que (reduccin al absurdo).

Eliminacin de la negacin:

Introduccin de la conjuncin:

Eliminacin de la conjuncin:

Introduccin de la disyuncin:

Eliminacin de la disyuncin:

Introduccin del condicional (vase el teorema de la deduccin):

Si suponer lleva a una prueba de , entonces se puede inferir que .

Eliminacin del condicional (modus ponens):

Introduccin del bicondicional:

Eliminacin del bicondicional:

Ejemplo de una demostracin A demostrar: Paso Frmula 1 2 3 4 5 6

Razn Supuesto. Desde (1) por introduccin de la disyuncin. Desde (1) y (2) por introduccin de la conjuncin. Desde (3) por eliminacin de la conjuncin. Resumen de (1) hasta (4). Desde (5) por introduccin del condicional. QED

Lenguaje formal en la notacin BNF El lenguaje formal de la lgica proposicional se puede generar con la gramtica formal descrita usando la notacin BNF como sigue:

La gramtica anterior define la precedencia de operadores de la siguiente manera:

1. 2. 3. 4. 5.

Negacin ( ) Conjuncin ( ) Disyuncin ( ) Condicional material ( Bicondicional ( )

Semntica Una interpretacin para un sistema de lgica proposicional es una asignacin de valores de verdad para cada variable proposicional, sumada a la asignacin usual de significados para los operadores lgicos. A cada variable proposicional se le asigna uno de dos posibles valores de verdad: o V (verdadero) o F (falso). Esto quiere decir que si hay n variables proposicionales en el sistema, el nmero de interpretaciones distintas es de 2n.

Partiendo de esto es posible definir una cantidad de nociones semnticas. Si A y B son frmulas cualquiera de un

lenguaje L, es un conjunto de frmulas de L, y M es una interpretacin de L, entonces: A es verdadera bajo la interpretacin M si y slo si M asigna el valor de verdad V a A. A es falsa bajo la interpretacin M si y slo si M asigna el valor de verdad F a A. A es una tautologa (o una verdad lgica) si y slo si para toda interpretacin M, M asigna el valor de verdad V a A. A es una contradiccin si y slo si para toda interpretacin M, M asigna el valor de verdad F a A. A es consistente (o satisfacible) si y slo si existe al menos una interpretacin M que asigne el valor de verdad V a A. es consistente si y slo si existe al menos una interpretacin que haga verdaderas a todas las frmulas en . A es una consecuencia semntica de un conjunto de frmulas si y slo si para toda frmula B que pertenezca a , no hay ninguna interpretacin en que B sea verdadera y A falsa. Cuando A es una consecuencia semntica de en un lenguaje L, se escribe: . A es una frmula lgicamente vlida si y slo si A es una consecuencia semntica del conjunto vaco. Cuando A es una frmula lgicamente vlida de un lenguaje L, se escribe: . Tablas de verdad La tabla de verdad de una frmula es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituye la frmula y el valor de verdad de la frmula completa para cada interpretacin. Por ejemplo, la tabla de verdad para la frmula sera:

Como se ve, esta frmula tiene 2n interpretaciones posibles una por cada lnea de la tabla, donde n es el nmero de variables proposicionales (en este caso 3, es decir p, q, r) , y resulta ser una tautologa, es decir que bajo todas las interpretaciones posibles de las variables proposicionales, el valor de verdad de la frmula completa termina siendo V.

Formas normales

A menudo es necesario transformar una frmula en otra, sobre todo transformar una frmula a su forma normal. Esto se consigue transformando la frmula en otra equivalente y repitiendo el proceso hasta conseguir una frmula que slo use los conectivos bsicos ( ) . Para lograr esto se utilizan las equivalencias lgicas:

Por ejemplo, considrese la siguiente frmula:

La misma puede desarrollarse as:

Se dice que una frmula est en forma normal disyuntiva (FND) si y slo si tiene la siguiente forma:

donde cada A es una conjuncin de frmulas. Por ejemplo, la siguiente frmula est en forma normal disyuntiva:

Se dice que una frmula est en forma normal conjuntiva (FNC) si y slo si tiene la siguiente forma:

donde cada A es una disjuncin de frmulas. Por ejemplo, la siguiente frmula est en forma normal conjuntiva:

Por las leyes de De Morgan, es posible pasar de una forma normal disyuntiva a una forma normal conjuntiva y viceversa:

Las FNC y FND son mutuamente duales. La demostracin hace uso de las leyes de De Morgan y de la propiedad distributiva de la conjuncin y la disyuncin. Se debe cumplir que:

Y viceversa:

Nao E Ou Seentao Se e somente se Tal que Implica Equivalente Existe Existe e somente um Qualque que seja

NO Y O SIENTONCES SI Y SOLO SI DE TAL MANERA QUE IMPLICA EQUIVALENTE HAY,EXISTE UNO Y SOLO UNO LO QUE

Clases de enunciados. - Atmicos: Constan de una sola proposicin, no se puede descomponer ms. Ejemplo: " El gato sonri la ver al ratn". Se simboliza por letras minsculas a partir de la p., como son la p,q,r,s,t,etc. (y si es necesario p1,q1,r1, p2,q2, etc.). - Molecular: Compuesta por dos o ms proposiciones, consta de varios enunciados atmicos, se pueden descomponer. Ejemplo: "El gato sonri al ver al ratn y el ratn huy". - Conectivas: Son trminos que conectan los enunciados atmicos, formando as los enunciados moleculares. Podemos distinguir las siguientes conectivas: No, y, o, si, entonces, si y slo si. Clases de conectivas: * Conjuncin o conjuntor: ( ). Significa y/e, tambin en lugar de este smbolo puede aparecer (,). Es un conector que hace que la proposicin molecular resultante sea verdadera nicamente si las proposiciones unidas a este tambin los son. Sern falsa los dems casos. La tabla de verdad es la siguiente: O bien, si se unen tres proposiciones: Ejemplo: "Com y beb" p q Esto se lee (pe y qu) "Cantaban, bailaban, jugaban y rean" p q r s "Lleg, vio y venci" p q r * Disyuncin o Disyuntor: (v) Conector que hace que la proposicin molecular resultante sea verdadera simplemente si lo es una de la proposiciones unidas por dicho conector. Este conector tiene como significado: o / u, oo, o tambin bien. La tabla de verdad: Ejemplo: "Como o bebo" p v q "O se quedan o se marchan" p v q " La sopa se servir fra o caliente" p v q "O estudia y trabaja o sers un parado" p q v r * Condicional: (-- ) Conector que hace que la proposicin molecular resultante sea verdadera salvo en el caso de que el antecedente sea verdadero y el consecuente falso. Esto tiene como significado: Si entonces Tabla de verdad: Ejemplo: "Si llueve entonces me mojo" p - q * Bicondicional: ( <-> ) Conector que hace que la proposicin molecular resultante sea verdadera siempre que las proposiciones unidas por dicho conector sean al mismo tiempo verdaderas o falsas. El significado de este conector es: si y slo si, equivale a, es igual a, es lo mismo que, etc.

Tabla de verdad: Ejemplo: "El agua equivale a H2O" p <-> q "La democracia slo existe si y slo si hay elecciones" p <-> q * Negador: ( ) Conector que convierte una proposicin verdadera en falsa o viceversa. Es decir: Si p es verdadera, no -p ser falsa. El negador no es un conector, ya que une dos proposiciones, sino simplemente niega una proposicin. Este smbolo significa: No, no es el caso, es imposible, no ocurre. Tabla de verdad: O ms sencillamente: - Puede afectar a la primera ( p v q). Ejemplo: "No es cierto que no coma o beba" ( p v q) - Puede afectar a la segunda (p v q) Ejemplo: "Como o no bebo" (p v q). - Puede afectar a todas [ (p v q )] Ejemplo: "No es cierto que comas" (p v q) - Cuando hay doble negacin esto es igual a una afirmacin. Ejemplo: "No es cierto que no dijiste aquello" ( p) = p Uso de parntesis y corchetes. Se utiliza para evitar ambigedades y detectar la forma del enunciado. Las formas del enunciado. Las formas del enunciado se determina por la forma de las conectiva que est fuera del parntesis. [(p -> q) (q r)] -> (p -> r) Slo sern aceptables los esquemas que expresen formas vlidas de inferencia. Para probar su validez procederemos a elaborar sus tablas de verdad. Esta tabla se ha construido de la siguiente forma: 1.- Se construye la columna (a) con toda las variables de la frmula (2 ) 2.- Las columnas (b) y (c) se construyen aplicando la definicin del condicional a las variables correspondiente de la columna (a). 3.- La columna (d) se construye aplicando la definicin de la conjuncin o conjuntor a las columnas (b) y (c). 4.- La columna (e) se construye igual que las columnas (b) y (c), pero tomando las variables p y r de la columna (a). 5.- La columna (f) se construye aplicando la definicin del condicional a las columnas (d) y (e).

Mtodo para detectar la validez. Cualquier razonamiento puede ser traducido a un enunciado condicional donde el antecedente, son las primicias (unidas por la conjuncin) y el consecuente la conclusin. Ejemplo: 1.- "Si llueve me mojo" 2.- "Llueve" -----------------------------------Conclusin: "Me mojo" O bien: 1.- p -> q 2.- p ------------------------Conclusin: q Hay, pues, tres tipos de proposiciones: Tautologa ( o "identidades") en donde el resultado final debe ser que todos los valores sean verdaderos. Contradicciones (o "expresiones inconsistentes"): en ningn caso son verdaderas, o sea, son todas falsas. Indeterminaciones (o "contingencia"): cuando estn mezcladas, o sea, cuando hay falsas y verdaderas.