C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 1
LGICA PROPOSICIONAL AUTORA SILVIA BORREGO DEL PINO TEMTICA MATEMTICAS. LGICA ETAPA UNIVERSITARIA
Resumen La lgica forma parte de la filosofa, en la que se distinguen dos dimensiones, la dimensin terica y la prctica, la lgica pertenece a la dimensin prctica, que se ocupa del conocimiento de la realidad. La lgica es la ciencia que estudia los principios y mtodos para distinguir un razonamiento correcto de otro incorrecto. La lgica investiga la relacin de consecuencia que se da entre una serie de premisas y la conclusin de un argumento correcto. Se dice que un argumento es correcto (vlido) si su conclusin se sigue o es consecuencia de sus premisas; de otra forma es incorrecto. La lgica proposicional es una rama de la lgica clsica que estudia las proposiciones o sentencias lgicas, sus posibles evaluaciones de verdad y en el caso ideal, su nivel absoluto de verdad. Palabras clave Lgica proposicional Proposiciones Conectores Tablas de verdad 1. INTRODUCCIN Para resolver multitud de problemas en la vida diaria y para sacar conclusiones o realizar demostraciones en la cientfica, aplicamos continuamente el razonamiento lgico. El primer estudio sistemtico del razonamiento lgico se encuentra en Aristteles. En el Organon, Aristteles trata las reglas del razonamiento silogstico. La lgica aristotlica enuncia las frmulas lgicas con palabras del lenguaje ordinario. Ms tarde, se abstrajo del lenguaje ordinario, caracterizndose por unas reglas sintcticas diferenciadas y unas funciones semnticas especiales.
ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009 C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 2 Posteriormente, se impuso el uso de un lenguaje artificial en el que los signos y palabras estaban regidos por una sintaxis exacta y tenan semntica estrechamente delimitada y definida tambin exactamente. Durante la Edad Media, los escolsticos trabajaron con este tipo de lgica, que sera posteriormente simplificada por matemticos como Anauld, Leibnitz o Euler. Ya en el siglo XIX, Boole y De Morgan hicieron aportaciones decisivas relacionadas con esta disciplina. George Boole cre un sistema de lgica matemtica en su obra The Mathematical Analisis of Logic. Boole aproxim la lgica en una nueva direccin reducindola a un lgebra simple, incorporando la lgica en las matemticas. Agudiz la analoga entre los smbolos algebraicos y aquellos que representan formas lgicas. Su lgebra consiste en un mtodo para resolver problemas de lgica que recurre solamente a los valores binarios 1 y 0 y a tres operadores: AND (y), OR (o) y NOT (no). Tras la importante obra de Boole, Peano, Cantor y Hilbert hicieron diversas aportaciones que motivaron el inters por la lgica matemtica de Russel y Whitehead, que entre 1910 y 1913 publicaron los Principia Mathematica, formalizando de este modo refinadas tcnicas de la lgica matemtica contempornea. En su obra, intentaron trasladar las matemticas al rea de la filosofa lgica y dotarlas de un marco cientfico preciso. Russel y Whitehead muestran que la lgica tradicional, que se apoya en el Organon de Aristteles, no es ms que un simple fragmento de todo un conjunto y que, definiendo los nmeros en trminos de clases (nocin eminentemente lgica), resulta posible deducir las matemticas de la lgica formal de tal manera que entre las dos no hay solucin de continuidad, sino todo un sistema. Por ltimo, hay que destacar las aportaciones de Kart Gdel a esta disciplina, demostrando la consistencia de la hiptesis del continuo de Cantor y enunciando el teorema que establece la existencia de enunciados y teoremas indecidibles en cualquier sistema lgico. El tradicional desarrollo de la lgica enfatizaba su centro de inters en la forma de argumentar, mientras que la actual lgica matemtica lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a nivel sintctico (por ejemplo, el envo de una cadena de smbolos perteneciente a un lenguaje formal a un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una mquina), como a un nivel semntico, construyendo modelos apropiados (teora de modelos). La lgica proposicional es una rama de la lgica clsica que estudia las proposiciones o sentencias lgicas, sus posibles evaluaciones de verdad y en el caso ideal, su nivel absoluto de verdad. 2. LGEBRA DE BOOLE DE LAS PROPOSICIONES 2.1. Definiciones y operaciones Comencemos en primer lugar definiendo los siguientes conceptos: Trmino es cada parte constitutiva de una expresin, enunciado o discurso. Podemos clasificarlos en categoremticos, que son aquellos que tienen significado propio e independiente, y en
ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009 C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 3 sincategoremticos, que son aquellos que no tienen significado propio y se utilizan para modificar o enlazar trminos categoremticos. Proposicin lgica es toda agrupacin de trminos de la que se pueda afirmar si su contenido es cierto o falso. Podemos clasificarlas en atmicas, que son aquellas que no se pueden descomponer en partes que sean a su vez proposiciones, y carecen del trmino no, y moleculares, si estn formadas por proposiciones atmicas enlazadas o modificadas por determinados trminos sincategoremticos. Las proposiciones atmicas se pueden sustituir por smbolos que suelen ser letras minsculas comenzando por la p; p, q, r, s Dichos smbolos reciben el nombre de variables proposicionales. Conectores proposicionales son trminos sincategoremticos que se usan para modificar o enlazar proposiciones. Los ms utilizados son: Negacin: representa la partcula lingstica no o cualquier otra partcula que incluya la idea de negacin. Este conector cambia el valor de la verdad de la proposicin que conecta. Conjuncin: Representa la partcula lingstica y o cualquier otra que indique la idea de unin, como tambin, igualmente, pero. Este conector da lugar a una proposicin verdadera si las proposiciones que enlaza son verdaderas y falsa en los restantes casos. Disyuncin no exclusiva: Equivale a y/o, o sea, que incluye la verdad de los dos enunciados de la disyuncin o bien slo la de uno de los dos. Al componer dos proposiciones da lugar a una proposicin falsa si ambas son falsas, y verdadera en los restantes casos. Disyuncin exclusiva: Expresa la idea que la verdad de un miembro es incompatible con la verdad del otro: o uno o el otro, pero no los dos. Al componer dos proposiciones da lugar a una proposicin falsa si ambas tienen igual valoracin y a una proposicin verdadera en caso contrario. Se le llama tambin adicin booleana. Condicional: Representa las partculas lingsticas si entonces... o cualquiera otros que indiquen la idea de condicin, como cuando entonces..., entonces o una simple "coma". La partcula entonces o equivalente separa el antecedente del consecuente. Al componer dos proposiciones, llamadas antecedente y consecuente, da lugar a una proposicin falsa si el antecedente es verdadero y el consecuente es falso, y a una proposicin verdadera en los restantes casos. Bicondicional: Representa las partculas lingsticas si y slo si o cualquier otra que indique doble condicin, como equivale, cuando y slo cuando, nicamente. Se trata de una condicin necesaria y suficiente. Al componer dos proposiciones da lugar a una proposicin verdadera si ambas tienen la misma valoracin y falsa en los restantes casos. El conector negacin se llama gondico y los dems didicos. Los conectores proposicionales tambin se pueden sustituir por smbolos, que reciben el nombre de signos conectivos o constantes lgicas. As,
ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009 C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 4 Negacin: Conjuncin: . Disyuncin no exclusiva: v Disyuncin exclusiva: _ Condicional: Bicondicional: La simbolizacin de las proposiciones moleculares se obtiene simbolizando las proposiciones atmicas que la forman y los conectores que las enlazan o modifican. As, la formalizacin de "Si llueve, entonces la tierra se moja", con p simbolizando "Llueve" y q, "La tierra se moja", ser p q. Se llama frmula lgica a la expresin simblica que sustituye a una proposicin molecular. Se suelen utilizar para ellas las letras maysculas como P, Q, R Operaciones lgicas son transformaciones o enlaces de proposiciones con conectores. Los casos que se pueden presentar son: -Composicin de una proposicin atmica con el conector gondico no: p - Composicin de dos proposiciones atmicas con los conectores didicos: p . q, p v q, p _ q, p q, p q. -Composicin de proposiciones con ms de un conector, como por ejemplo: (p q) v p. Llamamos proposicin contradictoria o contradiccin a una proposicin compuesta que es falsa en todos los casos, cualquiera que sea el valor de verdad de sus proposiciones simples componentes. La proposicin contradictoria es siempre verdadera por su forma lgica. Llamamos proposicin tautolgica o tautologa a una proposicin compuesta que es verdadera en todos los casos, cualquiera que sea el valor de verdad de sus proposiciones simples componentes. La proposicin tautolgica es siempre verdadera por su forma lgica. La representamos por T . Implicacin lgica es una proposicin condicional tautolgica. Se expresa con el smbolo , que se lee implica. Algunas de las tautologas ms utilizadas e interesantes son: T1 (p . p) - Principio de no contradiccin T2 p v p - Principio del tercio excluso (tercero excluido) T3 p p - Identidad T4 (p . q) p - Eliminacin del conjuntor T5 (p . q) q - Eliminacin del conjuntor T6 p (p v q) - Introduccin del disyuntor
ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009 C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 5 T7 q (p v q) - Introduccin del disyuntor T8 [(p q) . p] q - Ley del modus ponens (o eliminacin del implicador) T9 [(p q) . q] p - Contrarrecproco o modus tollens T10 ( p) p - Eliminacin de la negacin Una proposicin indeterminada o contingente es una proposicin compuesta que es verdadera en algunos casos y falsa en otros, dependiendo del valor de verdad de sus proposiciones simples componentes. Dos frmulas lgicas P y Q y sus respectivas proposiciones son lgicamente equivalentes si y slo si la bicondicional P Q es tautolgica. 2.2. lgebra de Boole de las proposiciones Si F es el conjunto de todas las proposiciones se verifican las siguientes propiedades: 1. Idempotente: p v p = p p . p = p 2. Asociativa: (p v q) v r = p v (q v r) (p . q) . r = p . (q . r) 3. Conmutativa: p v q = q v p p . q = q . p 4. Simplificativa: (p v q) . p = p (p . q) v p = p 5. Complementario: p v p = T p . p = K 6. Distributiva: (p v q) . r = (p . r) v (q . r) (p . q) v r = (p v r) . (q v r) de donde (F, v, .) es un lgebra de Boole, llamada lgebra de Boole de las proposiciones. Por supuesto, al ser un lgebra de Boole, se verifican tambin: 7. Elementos absorbentes: p v T = T p . K = K 8. Elementos neutros: p v K = p p . T = T 9. Leyes de De Morgan: (p v q) = p . q (p . q) = p v q 10. De involucin: ( p) = p 3. TABLAS DE VERDAD. PROPIEDADES DE LAS OPERACIONES LGICAS La tabla de valores de verdad, tambin conocida como tabla de verdad, es una herramienta desarrollada por Charles Peirce en los aos 1880, siendo sin embargo ms popular el formato que Ludwig Wittgenstein desarroll en su Tractatus logico-philosophicus, publicado en 1918 por Bertrand Russell.
ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009 C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 6 Se emplean en lgica para determinar los posibles valores de verdad de una expresin o proposicin molecular. O si un esquema de inferencia, como argumento, es formalmente vlido mostrando que, efectivamente, es una tautologa. Se suele simbolizar por V o por 1 si la proposicin es verdadera y por F o por 0 si es falsa. Considerando dos proposiciones A y B, cada una como un todo (sea como proposicin atmica o molecular) y asimismo cada una con sus dos posibles valores de verdad V (Verdadero) y F (Falso), y considerando su relacin "$" como variable de cualquier relacin sintctica posible que defina un conector, podran suceder los casos siguientes: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 A B A$B A$B A$B A$B A$B A$B A$B A$B A$B A$B A$B A$B A$B A$B A$B A$B V V V V V V V V V V F F F F F F F F V F V V V V F F F F V V V V F F F F F V V V F F V V F F V V F F V V F F F F V F V F V F V F V F V F V F V F
Las dos primeras columnas de la tabla nos muestran los cuatro casos de combinacin posibles segn el valor de verdad de A y de B. Tenemos por tanto 4 lneas, y 16 columnas que representan todos los posibles valores que pueden darse segn se defina un conector cualquiera. Para cada conector definido con anterioridad tenemos una tabla de verdad. As tenemos: Negacin () A A V F F V Conjuncin (.) A B A . B V V V
ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009 C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 7 V F F F V F F F F Disyuncin (v) A B A v B V V V V F V F V V F F F
Disyuncin exclusiva (_) A B A _ B V V F V F V F V V F F F
Condicional () A B A B
ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009 C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 8 V V V V F F F V V F F V Bicondicional (, si y slo si) A B A B V V V V F F F V F F F V
Las tablas nos manifiestan los posibles valores de verdad de cualquier proposicin molecular, as como el anlisis de la misma en funcin de las proposiciones que la integran, encontrndonos con los siguientes casos, definidos anteriormente: Verdad Indeterminada Sea el caso: A . (B v C). Su tabla de verdad se construye de la siguiente manera: Ocho filas que responden a los casos posibles que pueden darse segn el valor V o F de cada una de las proposiciones A, B, C. Una columna en la que se establecen los valores de B v C segn la definicin del disyuntor. Una columna en la que se establecen los valores de la conjuncin de la columna en la que estn los valores de A con valores de la columna B v C, aplicando la definicin del conjuntor a los valores, que representarn los valores de la proposicin completa A . (B v C). A B C B v C A . (BvC)
ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009 C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 9 V V V V V V V F V V V F V V V V F F F F F V V V F F V F V F F F V V F F F F F F
Donde podemos comprobar cundo y por qu la proposicin A . (B v C) es V y cundo es F Contradiccin Sea el caso: [(A . B) . (A v B)] . C Aplicamos la definicin de conjuntor a los valores de A y B. Despus aplicamos la definicin de disyuntor a los valores de A y B. Aplicamos en la columna siguiente el negador a los valores de la columna anterior. Aplicamos el conjuntor a los valores de la columna (A . B) con los de la columna ( A v B). Por ltimo aplicamos el conjuntor a los valores de la columna de C con la columna ltima cuyo resultado nos da los valores de [(A . B) .( A v B)]/\C A B C A . B A v B (A v B) (A . B) . (A v B) [(A . B) . (A v B)] . C V V V V V F F F V V F V V F F F V F V F V F F F V F F F V F F F F V V F V F F F F V F F V F F F F F V F F V F F
ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009 C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 10 F F F F F V F F Tautologas Sea el caso: [(AB).(BC)] (AC) Siguiendo la mecnica algortmica de la tabla anterior construiremos su tabla de verdad: A B C AB BC (AB) . (BC) (AC) [(AB) . (BC)] (AC) V V V V V V V V V V F V F F F V V F V F V F V V V F F F V F F V F V V V V V V V F V F V F F V V F F V V V V V V F F F V V V V V
Por otro lado, a partir de los conectores negacin y disyuncin no exclusiva podemos definir: - Conector conjuncin: p . q = (p v q) - Conector condicional: p q = p v q - Conector disyuncin exclusiva: p _ q = [(pvq) v (p v q)] - Conector bicondicional: p q = [ ( p v q) v ( q v p)] 4. APLICACIONES AL RAZONAMIENTO MATEMTICO 4.1. Formalizaciones de la teora matemtica En Matemticas hay tres procesos fundamentales: construir objetos matemticos (modelos abstractos de objetos fsicos ms o menos complicados o visibles), formar relaciones entre objetos (aserciones que pueden enunciarse relativas a esos objetos) y demostrar que algunas de estas
ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009 C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 11 relaciones son verdaderas (sucesin de silogismos por los que a partir de un pequeo nmero de axiomas puede deducirse de manera lgica una relacin dada). Una teora matemtica es un conjunto de proposiciones que se siguen segn un esquema de deduccin lgica a partir de unas afirmaciones que admitimos sin demostracin. En primer lugar han de introducirse unos conceptos primitivos no susceptibles de definicin. J unto a ellos se establecen unos postulados o axiomas, proposiciones primeras, que se aceptan sin demostracin y que enuncian propiedades de los conceptos primeros. En una misma disciplina pueden darse diversos sistemas de axiomas equivalentes, debido a la arbitrariedad de eleccin, por lo que no tiene sentido preguntarse si una proposicin puede o no demostrarse si no se especifica el sistema de axiomas de la teora a la que se refiere. Un sistema de axiomas ha de ser compatible (sin encerrar contradiccin) e independiente (ninguno de los axiomas, ni una parte de ellos, puede ser deducido de los dems). Podemos definir demostracin, prueba, razonamiento o deduccin como el proceso o paso lgico por el cual de las premisas se llega a la conclusin. La demostracin se dice vlida cuando las premisas y la conclusin son verdaderas. En caso contrario se dice que es una falacia. Trminos primitivos son los que se introducen con slo enunciarse, es decir, sin definicin. Trminos definidos son los que se introducen dando sus propiedades caractersticas. Un axioma o postulado es una proposicin cuya veracidad se establece por convenio. Un teorema es una proposicin en la que la conclusin o tesis (T) resulta como consecuencia lgica de las premisas o hiptesis (H). El paso de H a T es la demostracin. En Matemticas se dan tres tipos fundamentales de demostraciones: Demostraciones directas. Son las ms frecuentes. Consisten en razonamientos por los cuales se puede pasar de la hiptesis a la tesis mediante la consideracin de definiciones, axiomas y proposiciones anteriormente establecidas, combinadas segn las reglas de inferencia de los silogismos. Los teoremas que as se demuestran se llaman directos. Si la demostracin es vlida se dice que son ciertos y que: H es condicin suficiente para que se cumpla T. T es condicin necesaria para que se cumpla H. Tambin se escribe H T. Un teorema se dice recproco de otro dado si sus hiptesis H 1 y tesis T 1 coinciden con las tesis T e hiptesis H del dado, es decir, H 1 =T y T 1 =H. Si la demostracin del teorema recproco es vlida se dice que es cierto y que: H es condicin necesaria para que se cumpla T. T es condicin suficiente para que se cumpla H. Es decir, T H.
ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009 C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 12 La certeza de un teorema no implica la de su recproco, pero en caso de ser ciertos los dos se puede poner que: H (o T) es condicin necesaria y suficiente de T (o H), es decir: H T (o T H). Un teorema se dice contrario de otro dado si tiene por hiptesis (H 2 ) y tesis (T 2 ) la negacin de las hiptesis del dado. O sea, H 2 =H, T 2 = T. Un teorema se dice contrarrecproco de otro dado si tiene por hiptesis (H 3 ) y tesis (T 3 ) la negacin de las tesis e hiptesis del primero. O sea, H 3 = T, T 3 =H. Los teoremas contrario y recproco son mutuamente contrarrecprocos. Si construimos las respectivas tablas de verdad observaremos que: (p q) ( q p) (q p) ( p q) Es decir, podemos concluir que los teoremas contrarrecprocos son equivalentes, es decir, son ciertos o falsos simultneamente. Demostraciones indirectas o por reduccin al absurdo. Se fundan precisamente en la equivalencia de dos teoremas contrarrecprocos y en las reglas de inferencia. Si se trata de demostrar un teorema de la forma H T, se parte de suponer H y T, y se trata de llegar a una contradiccin, es decir una proposicin de la forma (A . A). Esto permite inferir ( T) y de ah el teorema. Demostracin por recurrencia o induccin completa. Se fundan en el siguiente principio lgico, llamado de induccin completa o de recurrencia que consiste en: a) Comprobar que una ley es cierta para un primer valor de n. b) Demostrar que si es cierta para un valor cualquiera de n, lo es tambin para el siguiente, n +1. 4.2. Cuantificadores y funciones proposicionales Una funcin proposicional de una variable es una expresin p(x) que se convierte en una proposicin cuando se sustituye x por un valor particular arbitrario, elemento del espacio considerado. La operacin E. El conjunto de valores de x para los que p(x) es una proposicin verdadera se designa por el smbolo E x p(x) o por {x|p(x)}. Por definicin de operacin E, la condicin necesaria y suficiente para que el elemento pertenezca al conjunto E x p(x) es que p(x) sea verdadera, o sea: a, ae E x p(x) p(a)
ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009 C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 13 Propiedades 1. E x [p(x) . q(x)] = E x p(x) E x q(x) 2. E x [p(x) v q(x)] = E x p(x) E x q(x) 3. E x [p(x) . q(x)] =E x p(x) E x q(x) 4. E x (p(x)) =(E x p(x)) Consideremos ahora las dos operaciones siguientes entre funciones proposicionales: (-x)p(x), que se lee existe algn x que satisface p(x), y (x)p(x), que se lee todo x satisface p(x). Estas operaciones transforman las funciones proposicionales en proposiciones. Los smbolos de estas operaciones se llaman cuantificadores existencial y universal, respectivamente. Propiedades 1. [(-x)p(x) v (-x)q(x)] (-x) [p(x) v q(x)] 2. (-x) [p(x) . q(x)] [(-x)p(x) . (-x)q(x)] 3. [(x)p(x) . (x)q(x)] (x) [p(x) . q(x)] 4. [(x)p(x) v (x)q(x)] (x) [p(x) v q(x)] 5. (x)p(x) (-x)p(x) 6. [(x)p(x)] (-x)( p(x)) 7. [(-x)p(x)] (x)( p(x)) Una funcin proposicional de dos variables sobre los espacios X e Y es lo mismo que una funcin proposicional de una variable sobre el producto cartesiano XxY. Sea p(x,y) una funcin proposicional de dos variables. Entonces -y p(x,y) y y p(x,y) sern funciones de una sola variable, en este caso la x. Propiedades 1. (-x)(-y)p(x,y) (-y)(-x)p(x,y) 2. (x)(y)p(x,y) (y)(x)p(x,y) 3. (-x)( y)p(x,y) (y)(-x)p(x,y) En el caso particular de coincidir los espacios X e Y, resulta: 4. (x,y)p(x,y) (x)p(x,x) (-x)p(x,x) (-x,y)p(x,y) Los anteriores razonamientos pueden generalizarse al caso en que haya ms de dos variables, hablndose anlogamente de funciones proposicionales de n variables definidas sobre uno o varios espacios.
ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 N 15 FEBRERO DE 2009 C/ Recogidas N 45 - 6A 18005 Granada csifrevistad@gmail.com 14 5. CONCLUSIN Cuando se formulan sistemas o modelos matemticos se pretende realizar una representacin abstracta de determinados fenmenos reales. El desarrollo formal matemtico comienza por la identificacin de determinados conceptos con los fenmenos o situaciones particulares que se pretenden estudiar. Partiendo de esos conceptos o nociones iniciales, se enuncian un sistema de axiomas relacionados con ellos. Dichos axiomas son enunciados admitidos como ciertos y que no pueden demostrarse dentro del sistema. A partir del sistema de axiomas pueden deducirse diferentes teoremas, consecuencias lgicas del sistema de axiomas. La lgica matemtica eleva a grado de mximo la abstraccin matemtica. De este modo, estudia los sistemas lgicos y proposicionales sin tener en cuenta su posible representacin de fenmenos de naturaleza real. Es interesante reflejar que la ltima Revolucin Lgica incorpora la fusin entre matemticas y computacin. Las computadoras tienden a explorar datos inteligentemente, transfiriendo informacin de las bases de datos a las bases de conocimiento interconectadas a travs de la Red a escala infinitesimal. La lgica evoluciona pues como un gen hacia la culminacin del conocimiento libre que nace del rigor formal de la Matemtica griega, emerge renovadamente de etapas de persecucin tan oscuras como la Edad Media y otros intentos ms recientes hasta el intercambio constante y continuo de datos en la moderna era de estructura de redes que Internet proporciona a modo neuronal a la Humanidad. 6. BIBLIOGRAFA Burgos, A. (1983). Iniciacin a la lgica matemtica. Madrid: Selecciones cientficas. Ferrater Mora, J . (1975). Lgica matemtica. Mxico: Fondo de cultura econmica. Garrido, M. (1998). Lgica simblica. Madrid: Tecnos. Grimaldi, R. (1998). Matemtica discreta y combinatoria. Mxico: Addison- Wesley. Lipschutz, S. (1985). Teora de conjuntos y temas afines. Mxico: Mc. Graw Hill. Serie de Compendios Schaum Autora Nombre y Apellidos: SILVIA BORREGO DEL PINO Centro, localidad, provincia: I.E.S. NGEL DE SAAVEDRA. CRDOBA. CRDOBA E-mail: DEPIS79@HOTMAIL.COM