APUNTES DE LGICA

Universidad Distrital Francisco Jos de Caldas Profesor Edgar Betancourt Rozo Dos aspectos fundamentales de la matemtica son lenguaje y estructura. En el desarrollo histrico, la falta de un lenguaje matemtico eficaz demor el progreso en el descubrimiento de estructuras y de las relaciones entre ellas. Por ejemplo, en un manuscrito italiano, de alrededor del ao 1460, aparece algo as: lo censo eosue cose cioe o sue r. sono igualj a 39 drae, lo que escribimos ahora: .

Como resultado de una bsqueda, que se extendi durante varios siglos, se encontr un lenguaje lgico matemtico que es el que usamos actualmente, el cual posibilit un avance significativo, especialmente durante los dos siglos anteriores. La lgica o logstica de Aristteles y de los filsofos Estoicos y Escolsticos, como Filn de Megara y Petrus Hispanus y Duns Scotus, perdur durante la Edad Media, hasta el francs Leibniz (1646 1716), quien puede considerarse como el primer lgico matemtico. Sin embargo, los primeros en presentar sistemas como los que conocemos hoy fueron los matemticos ingleses George Boole (1815 1864), y Augustus de Morgan (1806 1878). Los principales continuadores de estos trabajos fueron el cientfico y filsofo estadounidense Charles S. Peirce (1839 1914), el matemtico alemn Gottlob Frege (1848 1925) y el matemtico italiano Giuseppe Peano (1858 1932) y posteriormente, los ingleses Alfred North Whitehead (1867 1947) y Bertrand Russell (1872 1970), con su obra Principia Mathematica, desarrollada entre 1910 y 1913, que puede considerarse un hito en el desarrollo de la matemtica. En general, puede decirse que la lgica es la teora formal del razonamiento. Como bsico se puede tomar el clculo proposicional o lgica proposicional para incluirlo luego dentro del clculo de

predicados, donde destaca el concepto de variable; y con esto estudiar sobre la teora de la deduccin. CLCULO PROPOSICIONAL Acta sobre frases o sentencias generadas a partir de nuestro idioma comn que se puedan clasificar como verdaderas, o si no, como falsas, a las que se les llama proposiciones. Cuando no incluyan conectivos lgicos como no, o, y, si entonces, si y slo si; ni cuantificadores, que se reconocen por la aparicin de palabras como para todo o para algn o existe un, se denominan proposiciones atmicas. El hecho que slo se permitan dos valores alticos, verdadero (o, V, o, , o, 1) o falso (o, F, o, , o, 0), hace que se obtenga una lgica binaria. Como restringimos para que una proposicin tenga nicamente dos valores alticos estamos adoptando el principio del tercio excluido. Otros tipos de lgica trabajan con ms de dos valores alticos. Las proposiciones se simbolizan mediante letras minsculas o letras con subndices. Por ejemplo: p: 2 es nmero par. q: 7 es un mdulo para la suma. r: coseno es funcin lineal. r: coseno es funcin par. s: 7 = 6 + 1 . m: Bogot es la capital de Colombia. Segn la gramtica las proposiciones atmicas corresponden a las oraciones o frases enunciativas afirmativas. Se reconoce en ellas la estructura gramatical: sujeto verbo predicado. No se incluyen como proposiciones las frases imperativas ni las interrogativas ni las exclamativas.

Cuando tomamos una proposicin, como p, no nos interesa tanto su contenido, como su valor de verdad. Se llevar esta idea al extremo de considerar que dos proposiciones son equivalentes cuando tienen el mismo valor de verdad. Este valor de verdad se puede resumir en la tabla de verdad de la proposicin. Para una sola proposicin p, la tabla de verdad es: p V F Muchas veces aparecen proposiciones contingentes, en las que dentro de un contexto el valor de verdad puede ser verdadero, mientras que en otro puede ser falso. Si se suponen las condiciones necesarias para excluir ambigedades, se puede aceptar su uso. r: hoy es mircoles. r: hoy, 5 de febrero de 2014, es mircoles. w: son las 6:45 am. CONECTIVOS LGICOS Y PROPOSICIONES COMPUESTAS En el lenguaje comn una misma palabra puede tener varios significados. Vencer o morir, Simn Bolvar naci en Caracas o en Bogot, El protagonista, o el personaje principal de la fbula, es Hrcules, son tres frases donde la o puede tener un sentido inclusivo, exclusivo o de equivalencia. En la lgica simblica los conectivos lgicos tendrn un solo sentido, fijado por convencin. La negacin de una proposicin p es (p), la cual es falsa cuando p es verdadera y viceversa. Los parntesis que encierran la negacin de p indican el alcance de dicha negacin y se pueden omitir cuando no haya peligro de confusin. La tabla de verdad de p y su negacin es: p p V F F V

Otras notaciones para la negacin de p son: (~p), (p), (p), o, ( ). Como una negacin slo afecta una proposicin, se dice que es un conectivo monario o 1-ario. En ocasiones la negacin se escribe tachando un smbolo, como en el siguiente caso: s: (7 = 6 + 1) . s: 7 6 + 1 . La lectura es no es cierto que 7 es igual a 6 ms uno o tambin 7 es diferente de 6 ms uno. Las dems conectivas lgicas son todas binarias o 2-arias, es decir, afectan a dos proposiciones. Las principales son: disyuncin (o inclusivo), conjuncin, implicacin o implicacin material o condicional, equivalencia, o exclusivo, y, joint denial o flecha de Pierce.

Segn los posibles valores de verdad de las proposiciones p y q, se definen los valores de verdad de las proposiciones (p q), (p q), (p q), (p q), (p q) y (p q), en la siguiente tabla: p V V F F q pq pq pq pq pq pq V V V V V F F F V F F F V F V V F V F V F F F F V V F V

Algunas de estas conectivas se escriben en los libros de matemticas con smbolos distintos, aunque no hay uniformidad total en las interpretaciones: disyuncin: conjuncin: implicacin: equivalencia: (p q), o, (Apq) (p q), (p q), (p & q), (p q), o, (Kpq) (p q), (p q), (p q), o, (Cpq) (p q), (p q), (p q), o, (Epq)

En cada caso, la ltima notacin es la de ukasiewicz, en la que la negacin de p es (Np). Para la lectura de proposiciones hay muchas opciones: (p q): p o q, o, o p o q. (p q): p y q,o, ambas p y q. (p q): si p entonces q, o, p implica q, o, p slo si q, o p es condicin suficiente para q, o, q si p, o, q es condicin necesaria para p. (p q): p si y slo si q, o, p equivale a q, o, p es condicin suficiente y necesaria para q. (p q): p o exclusivo q, o, o p o q, pero no ambas a la vez. Podemos encontrar algunas concordancias del clculo proposicional con el lenguaje corriente, en ejemplos como el siguiente: Adn vive en Bogot y propone las siguientes definiciones: t: es temprano si aun no son las 7 am. f: hace frio si el termmetro marca menos de 5C.

Reloj: 6:30 am. Termmetro: 4C Adn dice es temprano o hace frio es temprano y hace frio si es temprano entonces hace frio es temprano si y slo si hace frio o es temprano o hace frio pero no ambas ni es temprano ni hace frio es tarde Reloj: 6:30 am. Termmetro: 6C Adn dice es temprano o hace frio es temprano y hace frio si es temprano entonces hace frio es temprano si y slo si hace frio o es temprano o hace frio pero no ambas ni es temprano ni hace frio Reloj: 7:15 am. Termmetro: 4C Adn dice es temprano o hace frio es temprano y hace frio si es temprano entonces hace frio es temprano si y slo si hace frio o es temprano o hace frio pero no ambas ni es temprano ni hace frio es tarde es cierto si no si? no? si no si proposicin tf tf tf tf tf tf t valor de verdad V F V F V F V es cierto si no no no si no proposicin tf tf tf tf tf tf valor de verdad V F F F V F es cierto si si si ? no no no proposicin tf tf tf tf tf tf t valor de verdad V V V V F F F

Reloj: 7:15 am. Termmetro: 6C Adn dice es cierto proposicin valor de verdad F F V V

es temprano o hace frio no tf es temprano y hace frio no tf si es temprano entonces hace frio si tf es temprano si y slo si hace frio si tf o es temprano o hace frio pero no no F tf ambas ni es temprano ni hace frio si tf V Generalmente las discordancias se presentan en las casillas donde hay interrogaciones y cada lector puede agregar algunas interrogaciones, en la segunda columna, segn su parecer. En la ltima columna no puede haber dudas puesto que los valores de verdad se fijaron como convencin. Es claro que para poder decidir, en cada tabla, hay que tener el reloj y el termmetro a la vista y esto constituye una caracterstica de la lgica proposicional que puede enunciarse como la lgica no aporta nuevo conocimiento sobre las proposiciones, slo nos dice cmo son las combinaciones de ellas segn los conectivos que las encadenen. TAUTOLOGAS Y CONTRADICCIONES

Las proposiciones que resultan verdaderas, para todos los valores de verdad de las proposiciones que las compongan, se denominan tautologas. Por el contrario, las proposiciones que tienen todos sus valores de verdad falso se llaman falacias. La negacin de una falacia es una tautologa y viceversa. La mayora de proposiciones no son ni tautologa ni falacia. Una tautologa se puede simbolizar con y una falacia con . Entre las tautologas ms sencillas estn: (((p)) p ): ley de doble negacin. (p (p)): propiedad del tercio excluido. (p p): una ley de idempotencia?. (1) (2) (3)

Como demostracin pueden realizarse tablas de verdad, como: p p (p) ((p)) p V F V V F V F V El proceso de llenar la tabla es mecnico, aplicando las definiciones de los valores de verdad de las proposiciones compuestas, segn su conectivo lgico. Por ejemplo, para llenar los valores de verdad de la segunda columna basta invertir los de la primera, por renglones, ya que el conectivo que se agreg fue negacin. Cuando en una proposicin aparecen dos proposiciones atmicas el nmero de posibles valores de verdad a considerar es cuatro, si aparece una tercera se requieren ocho valores de verdad y as sucesivamente. Por cada nueva proposicin se duplica el nmero anterior. En total, si una proposicin consta de n proposiciones atmicas, los valores de verdad a considerar son . ((p q) (q p)) es una tautologa. (Ley conmutativa de la disyuncin). La convencin usual sobre el uso de parntesis para indicar prelacin en las operaciones es desarrollar primero los que estn al interior. p V V F F q pq qp V V V F V V V V V F F F (p q) (q p) V V V V Es tautologa

En cambio, ((p q) (q p)) no es tautologa (ni contradiccin). O en palabras, la implicacin no es conmutativa. p V V F F q pq qp V V V F F V V V F F V V (p q) (q p) V F F V No es tautologa

Las proposiciones constitutivas de una implicacin deben diferenciarse bien, en la implicacin (p q), p se llama antecedente y q se llama consecuente. La mecnica para llenar la tabla anterior puede describirse as: segn la definicin de la tabla de verdad de la implicacin esta es falsa slamente cuando el antecedente es verdadero y el consecuente es falso, lo que est en la tercera columna; y entonces, en la cuarta columna el nico rengln donde la proposicin falsa es el tercero, en los dems es verdadera. Entre las proposiciones que aparecen con frecuencia en aplicaciones de la lgica, casi todas tautologas, estn: Leyes conmutativas: ((p q) (q p)) ((p q) (q p)) ((p q) (q p)) Leyes asociativas: (((p q) r) (p (q r))) (((p q) r) (p (q r))) Leyes distributivas: (((p (q r)) ((p q) (p r))) (((p (q r)) ((p q) (p r))) Leyes de idempotencia: ((p p) p) ((p p) p) (p p) Leyes de De Morgan: ( (p q) (p q)) ( (p q) (p q)) Con implicacin: ((p q) (q p)) ((p q) (p q)) ( (p q) (p q)) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15) (16) (17) (18)

((p q) ((p q) (q p))) ((p (p q)) q) (p (p q)) ((p q) p) ((p ) (p)) (((p q) q) p) (((p q) (q r)) (pr)) (((p q) r) (p(qr))) (((p q) r) (p (q r))) (((p q) (p r) (q t) ) (r t))

(19) (20) (21) (22) (23) (24) (25) (26) (27) (28)

Las leyes asociativas de la disyuncin y de la conjuncin permiten suprimir parntesis escribiendo, por ejemplo, p q r , en vez de (p (q r)) o de ((p q) r) , puesto que no se genera ambigedad. En cambio, resulta que la proposicin ((p (q r)) ((p q) r)) no es una tautologa y entonces p q r es una expresin ambigua y por tanto no tiene un significado sin los parntesis. p V V V V F F F F q V V F F V V F F r qr p(qr) pq V V V V F F V V V F V V F F V V V V V V F F F V V F F F F F F F (pq)r (p(qr)) ((pq)r) V V F F V V F F V V F V F V F V No es tautologa

No todas las tautologas tienen que establecerse mediante su tabla de verdad. Cuando la equivalencia de dos proposiciones es tautologa una de las proposiciones puede reemplazarse por la otra y la proposicin que se obtiene es equivalente a la inicial. Por ejemplo, la proposicin (18), ( (p q) (p q)), puede establecerse como tautologa, con base en las anteriores tautologas de la lista as: ( (p q) ( (p q))) ( (p q) (p q))) ( (p q) ((p) q))) ( (p q) (p q)) las tautologas utilizadas son, en orden: (13) (17) (14) (1) (p p) ((p q) (p q)) ( (p q) (p q)) (((p)) p ) .

SISTEMAS COMPLETOS DE CONECTIVOS LGICOS Al tener todos los conectivos lgicos definidos antes, se obtiene un lenguaje relativamente amplio, sin embargo, no se requieren todos esos smbolos y las mismas proposiciones se pueden expresar con menos conectivos, generndose sistemas completos de conectivos lgicos. Como ((p q) (p q)) , y, ((p q) ((p q) ) (p q))) son tautologas, segn se ve en las siguientes dos tablas, al prescindir de los conectivos joint denial y o exclusivo, el sistema resultante es completo.

p V V F F p V V F F

q p q p q (p q) V F V F F F V F V F V F F V F V

(p q) (p q) V V V V Es tautologa

q p q p q p q (p q) (p q) (p q) V F V V F F V F V V F V V V V V V F V V V F F F F V F V La equivalencia es tautologa

En conclusin, , , , , y, conforman un sistema completo de conectivos lgicos. Como ((p q) ((p q) (q p))) , es la tautologa nmero (19), todas las equivalencias se pueden reemplazar por la conjuncin de dos implicaciones y por tanto, , , , y, tambin conforman un sistema completo de conectivos lgicos. Por otra parte, ((p q) (p q)) , es la tautologa (17) y entonces, las implicaciones se pueden escribir como disyunciones, de modo que, , , y, son un sistema completo de conectivos lgicos. Ahora, por la ley de doble negacin, ((p q) ( (p q))) , y al aplicar la ley de De Morgan para la negacin de la conjuncin, se obtiene ((p q) ( (p q))) , lo que implica que toda conjuncin es la negacin de una disyuncin, en consecuencia, , y, , tambin son un sistema completo de conectivos lgicos. En este punto surge la pregunta si es posible reducir este sistema de modo que con una sola conectiva lgica se tenga un sistema completo. La negacin sola o la disyuncin sola no son un sistema completo de conectivas. Esto se puede justificar diciendo que la negacin es un conectivo monario y entonces, no es posible expresar la disyuncin, que es binaria, con negaciones nicamente. La

tautologa nmero (11) es ((p p) p) , y entonces, no es posible obtener la negacin de p como disyuncin de p y p . A partir de que ((p p) p) , y, (((p q) (p q)) (p q)) son ambas tautologas, se obtiene que el joint denial solo es un sistema completo de conectivos lgicos.

p p p p (p p) p V F F V F V V V Es tautologa p V V F F q p q (p q) (p q) p q V F V V F F V V V F V V F V F F ((p q) (p q)) (p q) V V V V Es tautologa

Hay otros conectivos que solos tambin conforman sistema completo y es fcil verificar que la negacin y la conjuncin, ambas a la vez, tambin lo son. NOTACIN POLACA La notacin de ukasiewicz tiene una particularidad notable, no requiere del uso de parntesis para establecer la prelacin. Notacin con parntesis Notacin de ukasiewicz p Np Apq pq Kpq pq KpAqr p (q r) AKpqr (p q) r ANpq p q NApq (p q) ANpNq p q NApNq (p q)

Para leer la proposicin AKpqr hay que tener en cuenta que la conjuncin, K , es un conectivo binario y entonces, las dos proposiciones que encadena deben estar a su derecha, y en efecto, ellas son p y q, por su parte, la disyuncin A tambin es conectivo binario y las dos proposiciones que se encuentran a su derecha son Kpq , y, r. Para interpretar la negacin se tiene en cuenta que es un conectivo monario y por tanto afecta a la primera proposicin a su derecha y nada ms. Algunos usan la idea de la notacin de ukasiewicz con los smbolos corrientes as: p , pq , pq , El nombre de notacin se da en honor de la Escuela de Lgica Polaca que lider el estudio de la lgica, principalmente desde el principio del siglo XX y en la que destacaron Alfred Tarski, Andrzej Mostowski, Jan Salamucha, Jan ukasiewicz, Kazimierz Adjukiewicz y Adolf Lindenbaum, con trabajos en fundamentacin de la matemtica, lgicas multivaluadas, lgica algebraica, sistemas deductivos y teora de modelos, entre otros; aun despus de la Segunda Guerra Mundial, la que afect dramticamente a toda la comunidad cientfica polaca.

CLCULO DE PREDICADOS Partiendo de la idea gramatical que las frases constan de sujeto y predicado, donde los sujetos son sustantivos, vemos esquemas donde cambia slo el sujeto, como en: Giuseppe Peano naci en Italia, Bertrand Russell naci en Italia, y entonces se puede dejar en blanco el lugar que corresponde al sujeto o reemplazarlo por un smbolo cualquiera o una variable: naci en Italia,

 naci en Italia. Cada vez que se reemplace la variable por uno de los sujetos o trminos que represente, se obtendr una proposicin. El universo de discurso de una variable, generalmente un conjunto, se puede fijar como convencin. En el ejemplo anterior podra tomarse el conjunto de personas u otro ms amplio como el conjunto de personas, personajes literarios y animales y se obtendran dos universos de discurso distintos. En el ejemplo anterior, al admitir ms trminos aparecen otras proposiciones que antes no se tenan, por ejemplo: Julieta naci en Italia, Rocinante naci en Italia. La representacin simblica se puede hacer con un predicado monario, o 1-ario, en la variable , como sigue: P(): naci en Italia, El predicado monario se reconoce porque al reemplazar la variable por un trmino de su universo de discurso se obtiene una proposicin o predicado 0-ario: P(Giuseppe Peano): Giuseppe Peano naci en Italia, (V) , P(Bertrand Russell): Bertrand Russell naci en Italia, (F) . Como en el predicado pueden aparecer sustantivos, con ellos tambin se puede realizar el mismo proceso de simbolizacin y entonces, aparecen predicados binarios o 2-arios: naci en z : Q(,z); donde la variable z tiene universo de discurso los pases. Cada vez que se sustituya una variable por algn trmino de su universo de discurso, se obtiene un predicado monario. Por ejemplo: Q( , Italia) : naci en Italia : P() Q(Bertrand Russell, z) : Bertrand Russell naci en z : R(z) .

Q(Bertrand Russell, Espaa) : Bertrand Russell naci en Espaa : R(Espaa) , (F) . Generalizando, P( , , , ) se llama predicado n-ario, en las variables , ,, , si al reemplazar una de sus variables, en todas partes donde aparezca, por un trmino de su universo de discurso, se obtiene un predicado (n 1) - ario. Este tipo de definicin se llama definicin recursiva, pues en vez de definir directamente es un esquema que permite, paso a paso, ir reduciendo el orden del predicado, hasta llegar al orden cero, que corresponde a las proposiciones, las que ya se tenan. Los universos de discurso que ms se utilizan en matemticas son conjuntos de nmeros, naturales: , enteros: , racionales : , reales : , o, complejos : ; o conjuntos de matrices, de funciones, de vectores, etctera. Una diferencia entre los conjuntos numricos mencionados y el de personas es que ste es finito mientras que los otros son todos infinitos. El nmero de personas que existen o han existido, por muy grande que sea, es finito. CUANTIFICADORES Otra manera de reducir en una unidad el orden de un predicado es cuantificando una de sus variables. Hay dos posibilidades, con el cuantificador universal o con el cuantificador existencial. Cuantificador Smbolo se lee Universal para todo para cada cualquiera sea Existencial existe hay para algn Por ejemplo, con universo de discurso el conjunto de nmeros naturales para la variable x y los predicados monarios:

P(x) : 2x + 1 es nmero primo, y Q(x) : 2x + 1 es nmero par, se forman, por cuantificacin, las proposiciones: (x)(P(x)): para todo x, 2x + 1 es nmero primo, (x)(P(x)): existe x, tal que 2x + 1 es nmero primo, (x)(Q(x)): para todo x, 2x + 1 es nmero par, (x)(Q(x)) :existe x, tal que 2x + 1 es nmero par, de las cuales la segunda es verdadera y las otras falsas. Los parntesis despus de los smbolos (x) y (x) indican el alcance del cuantificador y cuando no haya peligro de confusin, se pueden omitir. Las otras posibilidades de lectura son as: (x)(P(x)): para cada x, 2x + 1 es nmero primo, (x)(P(x)): cualquiera sea x, 2x + 1 es nmero primo, (x)(P(x)): hay x, tales que 2x + 1 es nmero primo, (x)(P(x)): para algn x, 2x + 1 es nmero primo. En ocasiones tambin se incluye el universo de discurso de la variable junto al smbolo de cuantificacin (x)(P(x)) , (x)(P(x)) . Un ejemplo con un predicado binario: R(j, r) : j r < j + 1: (j)(R(j, r)) : T(r) (j)(R(j, r)) : T(r) (r)(R(j, r)) : U(j) (r)(R(j, r)) : U(j)

BIBLIOGRAFIA History of Mathematics David Eugene Smith Dover Publications

Diccionario de la Lengua Espaola Real Academia Espaola Vigsima primera edicin - 1992

Elementos de Lgica y Calculabilidad Xavier Caicedo Departamento de Matemticas Universidad de los Andes - 1990

Compendio de Lgica Matemtica J. M. Bochenski Paraninfo - 1982

Elementos de Lgica Terica D. Hilbert y W. Ackermann Editorial Tecnos 1975

Symbolic Logic, fifht edition Irving M. Copi Macmillan Publishing Co.