La lgica proposicional es la parte de la lgica que estudia la formacin de proposiciones complejas a partir de proposiciones simples, y la inferencia de proposiciones a partir

de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms simples.1 Una lgica proposicional es un sistema formal cuyos elementos ms simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.2

Consiste en abreviar o simbolizar las oraciones o juicios, que en la lgica matemtica se llaman proposiciones. Estas proposiciones se reducen en el lenguaje formal a una sola letra, que llamamos variable, y la simbolizamos con las letras minsculas del alfabeto que van de la hasta el final del abecedario. Si digo por ejemplo: Antonio ama a Piedad, esta proposicin queda simbolizada en el lenguaje formal mediante la variable o , o , o . Adems de estas variables, la lgica proposicional utiliza otros smbolos, llamados constantes, cuyo significado siempre es el mismo, ya que modifican o unen a las variables. Estos smbolos constantes se llaman funtores, juntores, conectivas u operadores lgicos. Cuando el funtor afecta a una sola variable, se llama mondico, como por ejemplo el negador ( ) que se lee en el lenguaje natural no, y se sita encima de la letra variable, , no . Cuando afectan a ms de una variable, son polidicos. Los funtores ms importantes son: Conjuntor , y en el lenguaje natural. Disyuntor , o. Condicional, si... entonces. Bicondiconal, si y slo si... entonces. Disyuncin exclusiva, o... o, una proposicin excluye a la otra. El negador adems de ser un funtor mondico es decir que afecta a una variable, puede ser polidico, cuando afecta a ms de una variable o a una expresin entera. Hay que tener siempre en cuenta, que las variables simbolizan oraciones enteras y no slo palabras o nombres: Ejemplos de simbolizacin de oraciones, del lenguaje natural al lenguaje formal:
1. La conjuncin: 2. La disyuncin: 3. El condicional:

Juan juega y Pedro estudia. Llueve o nieva. Si estudias entonces aprendes.

4. El bicondicional: Si y slo si tienes dieciocho aos puedes votar. 5. La disyuncin exclusiva: O te quedas o te vas. 6. La negacin: Manolo no juega limpio.

A veces el negador puede afectar a ms de una variable o a la conjuncin, o disyuncin de ambas: Es falso que estudies o trabajes. Valores de verdad En la gramtica estamos acostumbrados a ver que las oraciones pueden ser verdaderas o falsas, segn se ajusten o no a la realidad que expresan, por ejemplo si llueve y digo que hace sol, esa oracin es falsa. En cambio la lgica considera que las proposiciones pueden ser verdaderas o falsas con independencia de que en la realidad lo sean; por eso habla de valores de verdad. Una proposicin [ ] puede ser indistintamente verdadera o falsa; cuando es verdadera, le damos valor 1, cuando es falsa, le adjudicamos el valor 0. Segn esto la variable , puede tener los siguientes valores:

1 1 0 0 1 0 1 0 Cuando siempre tiene valor 1, hablamos de tautologa de . Cuando siempre es falsa, contradiccin de . Si p es primero verdadera y luego falsa, afirmacin de . Cuando es primero falsa y luego verdadera, negacin de .

Si consideramos los valores de dos variables conjuntamente, las posibilidades aumentan segn el grfico siguiente:

1 1 0 0

1 0 1 0

1 1 1 1

1 1 1 0

1 1 0 1

1 0 1 1

0 1 1 1

1 1 0 0

0 0 1 1

0 1 1 0

1 0 0 1

1 0 1 0

0 1 0 1

0 0 0 1

0 0 1 0

0 1 0 0

1 0 0 0

0 0 0 0

Las dos primeras columnas indican los cuatro valores posibles que pueden tener dos proposiciones simples, si se consideran sus valores a la vez: las dos verdaderas, la primera verdadera y la segunda falsa, la primera falsa y la segunda verdadera y las dos falsas.

Las restantes diecisis columnas representan los valores de verdad o falsedad, de cada una de las diecisis proposiciones de orden dos. Entre estas proposiciones, hay algunas que tienen especial inters en lgica, segn los valores que adoptan las variables cuando estn afectadas por funtores: Proposicin conjuntiva 1 1 0 0 1 0 0 0 1 0 1 0

La conjuncin es verdadera slo cuando ambas variables lo son y es falsa en los dems casos. Se lee y . Proposicin disyuntiva inclusiva 1 1 0 0 1 1 1 0 1 0 1 0

La disyuncin es verdadera en todos los casos menos cuando vale 0 y vale 0. Se lee . Proposicin disyuntiva exclusiva 1 1 0 0 0 1 1 0 1 0 1 0

La disyuncin exclusiva es verdadera cuando una variable es verdadera y la otra falsa, y es falsa en los dems casos. Se lee excluye a . Proposicin condicional 1 1 0 1 1 0 0 1 1

1 0

El condicional es verdadero en todos los caso menos cuando vale 1 y vale 0. Se lee condiciona a . Proposicin bicondicional 1 1 0 0 1 0 0 1 1 0 1 0

El bicondicional es verdadero cuando ambos son verdaderos o cuando ambos son falsos, y es falso en los dems casos. Se lee bicondiciona a . Proposicin negativa 1 0 0 1

La negacin - que se lee no -, cambia el valor de la variable que se niega: slo es verdadera si es falsa y es falsa si es verdadera. Lgica Proposicional (LP) Proposicin Enunciado del que puede afirmarse si es verdadero o falso Oracin declarativa Cules de las siguientes son proposiciones? 1) Pedro es alto. 2) Juan es estudiante. 3) Ayer llovi. 4) Quin es? 5) Esta mesa es azul. 6) 3 es impar. Ciencias de la Computacin II - Filminas de Clase Mg. Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009 Lgica Proposicional Proposicin Simple Compuesta Mi perro es negro. Juan es estudiante Mara es arquitecta o Juan es msico. Si ayer llovi entonces hoy sale el sol. 2 * 3 = 6 y 7 no es par.

Considrese el siguiente argumento: 1. Maana es mircoles o maana es jueves. 2. Maana no es jueves. 3. Por lo tanto, maana es mircoles. Es un argumento vlido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusin falsa. Esto no quiere decir que la conclusin sea verdadera. Si las premisas son falsas, entonces la conclusin tambin podra serlo. Pero si las premisas son verdaderas, entonces la conclusin tambin lo es. La validez de este argumento no se debe al significado de las expresiones maana es mircoles y maana es jueves, porque stas podran cambiarse por otras y el argumento permanecer vlido. Por ejemplo: 1. Est soleado o est nublado. 2. No est nublado. 3. Por lo tanto, est soleado. En cambio, la validez de estos dos argumentos depende del significado de las expresiones o y no. Si alguna de estas expresiones se cambiara por otra, entonces podra ser que los argumentos dejaran de ser vlidos. Por ejemplo: 1. Ni est soleado ni est nublado. 2. No est nublado. 3. Por lo tanto, est soleado. Las expresiones de las que depende la validez de los argumentos se llaman constantes lgicas. La lgica proposicional estudia el comportamiento de algunas de estas expresiones, llamadas conectivas lgicas. En cuanto a las expresiones como "est nublado" o "maana es jueves", lo nico que importa de ellas es que tengan un valor de verdad. Es por esto que se las reemplaza por simples letras, cuya intencin es simbolizar una expresin con valor de verdad cualquiera. A estas letras se las llama variables proposicionales, y en general se toman del alfabeto latino, empezando por la letra p, luego q, r, s, etc. As, los dos primeros argumentos de esta seccin podran reescribirse as:
1. p o q 2. No q 3. Por lo tanto, p

Y el tercer argumento, a pesar de no ser vlido, puede reescribirse as:

1. Ni p ni q 2. No q 3. Por lo tanto, p

Conectivas lgicas

A continuacin hay una tabla que despliega todas las conectivas lgicas que ocupan a la lgica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los smbolos que se utilizan para representarlas. Expresin en Smbolo el en Smbolos Conectiva Ejemplo lenguaje este alternativos natural artculo Negacin no No est lloviendo. Est lloviendo y est Conjuncin y . nublado. Est lloviendo o est Disyuncin o soleado. Condicional Si est soleado, entonces es si... entonces material de da. Est nublado si y slo si hay Bicondicional si y slo si nubes visibles. Ni est soleado ni est Negacin conjunta ni... ni nublado. Disyuncin O bien est soleado, o bien o bien... o bien excluyente est 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. Creo que todos los hombres son mortales. Creo que Socrates es hombre. Por lo tanto, creo que Socrates es mortal.

Lgica Proposicional

La lgica proposicional es la ms antigua y simple de las formas de lgica. Utilizando una representacin primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea. La lgica proposicional permite el razonamiento, a travs de un mecanismo que primero evala sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo Y (AND), O (OR). Este mecanismo determina la veracidad de una sentencia compleja, analizando los valores de veracidad asignados a las sentencias simples que la conforman. Una proposicin es una sentencia simple que tiene un valor asociado ya sea de verdadero (V), o falso (F). Por ejemplo: Hoy es Viernes Ayer llovi Hace fro La lgica proposicional, permite la asignacin de un valor verdadero o falso para la sentencia completa, no tiene facilidad par analizar las palabras individuales que componen la sentencia. Por este motivo, la representacin de las sentencias del ejemplo, como proposiciones, sera: hoy_es_Viernes ayer_llovi hace_fro La proposiciones pueden combinarse para expresar conceptos ms complejos. Por ejemplo: hoy_es_Viernes y hace_fro. A la proposicin anterior dada como ejemplo, se la denomina frmula bien formada (well-formed formula, wff). Una frmula bien formada puede ser una proposicin simple o compuesta que tiene sentido completo y cuyo valor de veracidad, puede ser determinado. La lgica proposicional proporciona un mecanismo para asignar valores de veracidad a la proposicin compuesta, basado en los valores de veracidad de las proposiciones simples y en la naturaleza de los conectores lgicos involucrados

lgica dialctica 1 Objeto y tareas de la lgica dialctica La lgica dialctica es la ciencia que estudia las leyes ms generales de desarrollo de la naturaleza, la sociedad y el pensamiento humano. Dichas leyes se reflejan en los conceptosespeciales de las categoras lgicas. De ah que la lgica dialctica pueda ser definida como la ciencia de las categoras dialcticas. Es un sistema de categoras dialcticas e investiga sus vnculos recprocos, su orden de sucesin y las transiciones de una categora a otra.

La lgica dialctica parte de la solucin materialista del problema fundamental de la filosofa, considerando el pensamiento como un reflejo de la realidad objetiva. A esta concepcin se oponan y se oponen las interpretaciones idealistas de la lgica dialctica, que entienden el pensamiento como una esfera autnoma, independiente del mundo que nos rodea. La lucha entre estas dos interpretaciones, que se excluyen mutuamente, caracteriza la historia entera de la filosofa y la lgica. Existen la lgica objetiva, que reina en toda la realidad, y la lgica subjetiva que es el reflejo en la mente del movimiento que impera a travs de toda la realidad mediante los contrarios. En este sentido, la lgica dialctica e una lgica subjetiva. Adems, se la puede definir como ciencia de las leyes ms generales de los vnculos y del desarrollo de los fenmenos del mundo objetivo. La lgica i dialctica "es la doctrina no de las formas externas del pensamiento, sino de las leyes de desarrollo de todas las fosas materiales, naturales y espirituales, es decir, del desarrollo de todo el contenido concreto del mundo y de su conocimiento, es decir, el balance, el conjunto, la conclusin de la historia del conocimiento del mundo" (Lenin). La lgica dialctica como ciencia coincide con la dialctica y con la teora del conocimiento:"no hacen falta otras palabras: es lo mismo" (ibdem, pg. 315). La lgica dialctica se suele enfrentar a la lgica formal. Esto se debe a que la lgica formal estudia las formas del pensamiento haciendo abstraccin tanto de su contenido como del desarrollo del pensamiento mismo, mientras que la lgica dialctica investiga las formas lgicas en relacin con el contenido y en su desarrollo histrico. Aun sealando la diferencia entre la lgica formal y la dialctica, no debemos exagerar su oposicin. Mantienen ntimas relaciones en el proceso real del pensamiento y tambin en el estudio del mismo. La lgica dialctica, bajo determinado ngulo de enfoque examina tambin aquello que es materia de estudio de la lgica formal, a saber: la teora de los conceptos, de los juicios, de las conclusiones, del mtodo cientfico; incluye tambin sus bases metodolgicas, filosficas, y sus problemas. La tarea de la lgica dialctica, apoyndose en la generalizacin de la historia de la ciencia, la filosofa, la tcnica y la creacin en general, consiste en investigar las formas y leyes lgicas del conocimiento cientfico, los mtodos de construccin y las leyes de desarrollo de las teoras cientficas; consiste en revelar sus bases prcticas, entre ellas las experimentales, en poner de manifiesto los procedimientos para confrontar el conocimiento con su objeto, etc. Tarea importante de la lgica dialctica es el anlisis de los mtodos de conocimiento cientfico, formados histricamente, y el descubrimiento de la posibilidad heurstica de uno u otro mtodo, los lmites dentro de los cuales puede ser aplicado y la posibilidad de la aparicin de mtodos nuevos. La lgica dialctica, que se desarrolla sobre la base de la generalizacin de la prctica social y de los avances de la ciencia, cumple, a su vez, un papel excepcional en relacin con las ciencias concretas, de las que es base terica general y metodolgica. Un papel particular con relacin a la lgica dialctica cumple la historia de la filosofa como ciencia. Esta ltima, en esencia, es la misma lgica dialctica, con la diferencia de que en ella nos encontramos con el desarrollo consecutivo de los conceptos lgicos abstractos, y en la historia de la filosofa con el desarrollo consecutivo de esos mismos conceptos, pero slo en la forma concreta en que se suceden los sistemas filosficos. La historia de la filosofa seala a la lgica dialctica la continuidad del desarrollo de sus categoras. La continuidad de desarrollo de las categoras dialcticas dentro de la lgica dialctica viene impuesta,

ante todo, por la continuidad objetiva de desarrollo de los conocimientos tericos, los cuales, a su vez, reflejan la continuidad objetiva de desarrollo de los procesos histricos reales depurados de las eventualidades que los turban y de los zig- zags que no tienen significacin esencial. La lgica dialctica es un sistema integral, pero en modo alguno acabado: se desarrolla y enriquece con el desarrollo de los fenmenos del mundo objetivo y con el progreso del conocimiento humano