LA LGICA FORMAL La lgica simblica surge como resultado de la matematizacin de la lgica tradicional.

El primer sistematizador fue el filsofo Aristteles (IV a.C.) su tratado constituye un modelo de referencia hasta el siglo XIX. Los enunciados o proposiciones afirman o niegan hechos; en la medida que stas se ajusten o no a la realidad, podemos considerar que stas son verdaderas o falsas. La lgica deductiva pretende ser una ciencia que posibilite el clculo, que permita establecer con rigor si en un proceso deductivo las consecuencias se siguen necesariamente o no de los antecedentes o premisas presentadas; esto requiere del uso de un lenguaje artificial que determine cul es el empleo de los trminos y las reglas que rigen la formacin de enunciados. Este lenguaje artificial ser un lenguaje formal o simblico. SMBOLOS EMPLEADOS EN LA LGICA PROPOSICIONAL: Sus expresiones bsicas, son proposiciones simples o atmicas. p, q, r, se denominan en la lgica simblica variables proposicionales. Cuando enlazamos proposiciones simples con partculas tipo y, o, "si, entonces", etc., tenemos como resultado proposiciones compuestas. Una proposicin cualquiera puede tener tan solo dos valores de verdad posible: verdadero o falso. Siguiendo con el modo en que por convencin se simboliza la posible verdad de un enunciado, marcaremos con el smbolo 1 a la proposicin verdadera y con 0 a la falsa. n el caso las proposiciones compuestas stas no aparecen aisladas como en los ejemplos anteriores, sino conectadas entre s por partculas tales como y, o, si entonces, si y slo si, o no. A estas partculas que sirven para conectar unas proposiciones con otras las denominaremos conectivas. Estos smbolos tambin se denominan constantes lgicas. Conjuntor (y): Disyuntor (o) V Condicional (si entonces) Bicondicional (si y slo si) Negador (no) De este modo, las proposiciones compuestas o moleculares estn formadas por dos o ms proposiciones simples unidas por los operadores lgicos: p q, r s, etc. Para evitar confusiones en los casos de expresiones que combinan diversos conectores, mediante el uso de parntesis y corchetes, por ejemplo: (p q) r Si de dan p y q, entonces tiene que ocurrir r. p (q r) Se da p y tambin que cuando ocurre q se sigue r. FORMALIZACIN DEL LENGUAJE: Juan dedica su tiempo libre a hacer deporte e ir al cine": p = Juan dedica su tiempo libre a hacer deporte. q = Juan dedica su tiempo libre a ir al cine pq "Esta maana no hace fro": p = Hacer fro p LA CONJUNCIN suele expresarse con la expresin y, sin embargo, la podemos decir de modos muy distintos ya sea por estilo o por denotar matices psicolgicos: (comas, pero, sin embargo), la conjuncin la utilizamos para aadir enunciados, por ejemplo: Vino, cogi el dinero, se larg: p q r Dice que es vegetariana, pero le encanta el pescado: p q Aunque dice que le gusta leer, no tiene ningn libro en casa: p q LA DISYUNCIN en el lenguaje natural puede ser dbil o fuerte, inclusiva o exclusiva, esto es, puede indicar que cualquiera de las dos opciones vale o que vale slo una de las dos. El smbolo V representa una disyuncin inclusiva, de este tipo: Se requiere una persona con conocimientos en ingls o en francs: p V q La disyuncin exclusiva es representada en algunos casos con smbolos como V o W. En nuestro caso, sin hacer uso de ellos, tendramos que reflejar el sentido exclusivo de la disyuncin mediante una expresin

explcita: Entras o sales: (p V q) (p q) (Entras o sales, pero no ambas cosas a la vez) EL CONDICIONAL expresa oraciones tipo si entonces, sin embargo esa misma implicacin entre dos elementos, uno antecedente y otro consecuente, se puede expresar de maneras distintas. p q: Si haces los ejercicios, lo dominars Siempre que queda con sus amigos vuelve de madrugada Ensame la entrada, entonces te acompaar Pica sobre el icono del altavoz y sonar la cancin Debe tenerse en cuenta que no siempre situamos el antecedente antes del consecuente, por lo que hay que valorar el sentido lgico de la expresin: La expresin Si me demuestras que la lgica vale para algo, la estudiar equivale a esta otra: Estudiar lgica si me demuestras que vale para algo. p = demostrar la utilidad q = estudiar lgica pq En uso del bicondicional hemos de tener en cuenta que ambos extremos se condicionan mutuamente, lo emplearemos para expresiones del tipo slo si, por ejemplo: Sobrevivir slo si se somete a tratamiento quirrgico. El negador deberemos emplearlo tanto cuando nos encontremos con negaciones explcitas como implcitas. Si en un argumento p representa ser simptico, su negacin se podra presentar de estas dos formas: p = no es simptico p = es antiptico Tambin hemos de valorar la extensin de la negacin en una oracin, por ejemplo: No luce el sol ni hace calor p q No es cierto que luzca el sol y haga calor (p q) No luce el sol, pero hace calor p q Piensa que en ocasiones un solo verbo puede servir para expresar varios enunciados: La miel y las verduras frescas son alimentos alcalinos: p = la miel es alcalina q = las verduras frescas son alcalinas pq

VALORES DE VERDAD

p p decir que dicho enunciado es falso. 1 0 La negacin invierte el valor de verdad de la proposicin sobre la que se aplica: si una proposicin
es verdadera, su negacin ser falsa, si es falsa, su negacin verdadera. Si pensamos en el enunciado: llueve, comprendemos que si eso ocurre, su negacin ser falsa, pero si es falso que llueva, su negacin ser lo verdadero.

EL NEGADOR: La aplicacin de este smbolo a una proposicin significa su negacin, pretendemos

0 1

p q pq EL CONJUNTOR: La conjuncin afirma la verdad de sus componentes. Ser verdadera cuando 1 1 1 1 0 0 0 1 0 0 0 0

sus dos componentes as lo sea y falsa en el caso de que lo sea al menos uno de ellos. Si afirmo que vi a un personaje de la televisin y me dio su nmero de telfono, esto slo ser cierto cuando lo sean las dos afirmaciones, y falsa en cualquier otro supuesto.

EL DISYUNTOR: el smbolo anterior tiene un sentido inclusivo, afirma al menos uno de los dos p q pVq extremos; por ejemplo, para explicar la razn de una bronquitis, un mdico puede afirmar: La enfermedad la provoc el tabaco o los productos qumicos con los que trabaja, con ello quiere 1 1 1 decir que una de las circunstancias, o las dos, hicieron que el paciente enfermara. As, la 1 0 1 disyuncin de dos proposiciones ser verdadera cuando lo sea al menos una de las proposiciones. 0 1 1 0 0 0 EL CONDICIONAL: La unin de dos enunciados mediante un condicional p q puede leerse

p q p q como si p, entonces q, o p implica q. En este caso la proposicin anterior al condicional, p, es el antecedente y la posterior, q, el consecuente. 1 11 1 00

La regla que rige la validez de una implicacin es la siguiente: sta ser verdadera siempre que no se de el caso de que el antecedente sea verdadero y el consecuente falso. La implicacin establece que de darse el primer caso, debe seguirse necesariamente el 0 11 segundo. 0 01 "siempre que llueve la terraza se moja", esto slo sera incompatible con que tras llover, la terraza permaneciera seca, ningn otro caso afectara a la validez de la implicacin; de no llover, ni el caso de que la terraza estuviese seca o hmeda seran incompatibles con la afirmacin anterior: si est seca sera coherente porque no ha llovido, si est mojada tampoco es contradictorio, ya que lo podra estar por una razn distinta, por ejemplo, por haber sido regada.

p q pq 1 11 1 00 0 10 0 01

EL BICONDICIONAL: expresa la equivalencia entre dos proposiciones y se puede leer como si y solo si o cuando y solamente cuando. Una implicacin es verdadera cuando sus dos extremos comparten el mismo valor de verdad y falsa en el caso contrario. Si digo solo cuando pulso el interruptor se pone en funcionamiento el sistema elctrico, esta expresin indica que ambas cosas deben darse siempre a la vez.