GUIA 1: INTRODUCCIN A LA LGICA MATEMTICA ING.

ANALUI MARTNEZ

Historia de la Lgica: La evolucin de la lgica est ntimamente ligada a la evolucin intelectual del ser humano, ya que como ciencia del razonamiento, su historia representa la historia misma del hombre. La lgica surge desde el primer momento en que el hombre, al enfrentar a la naturaleza, infiere, deduce y razona, con el nimo de entenderla y aprovecharla para su supervivencia. Lgica formal como un anlisis explcito de los mtodos de razonamientos se desarroll originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo V y el Siglo I A.C. En China no dur mucho: la traduccin y la investigacin escolar en lgica fue reprimida por la dinasta Qin, acorde con la filosofa legalista. En India, la lgica dur bastante ms: se desarroll hasta que en el mundo islmico apareci la escuela de Asharite, la cual suprimi parte del trabajo original en lgica. (A pesar de lo anterior, hubo innovaciones escolsticas indias hasta principios del siglo XIX, pero no sobrevivi mucho dentro de la India Colonial). El tratamiento sofisticado y formal de la lgica moderna aparentemente proviene de la tradicin griega. Aristteles fue el primero en emplear el trmino Lgica para referirse al estudio de los argumentos dentro del lenguaje natural. En el Organon Aristteles la define como el arte de la argumentacin correcta y verdadera. Naci as la anteriormente definida Lgica Informal, o el estudio metdico de los argumentos. Durante varios siglos, slo fue investigada por la retrica, la oratoria y la filosofa, entre otras ramas del conocimiento. Se especializ medularmente en la identificacin de falacias y paradojas, as como en la construccin correcta de razonamientos. A partir de mediados del Siglo XIX la lgica formal comenz a ser estudiada en el campo de las matemticas y posteriormente por las ciencias computacionales, naciendo as la Lgica simblica. sta trata de esquematizar los pensamientos claramente usando un lenguaje de signos propio y distinto al verbal, evitando as las ambigedades. As, en la edad contempornea, la lgica generalmente es entendida para describir razonamiento en una forma prescriptita. Esto es, describe cmo el razonar debera tomar lugar. Adems de encontrarle mltiples e importantes usos computacionales y matemticos a la lgica simblica, se ha mantenido la lgica aristotlica, la cual principalmente se ocupa de ensear el buen argumento, y es todava enseada con ese designio en la poca contempornea. Para la Lgica matemtica y la filosofa analtica la lgica es un objeto de estudio en s mismo, por lo que sta es estudiada a un nivel ms abstracto. Existen muchos otros sistemas lgicos, como la lgica dialctica, lgica difusa, lgica probabilstica, lgica modal y la lgica no montona. Martin Heidegger discpulo de Edmund Husserl, se aparta de estas lneas de consideracin de la lgica aunque sin despreciarlas y comprendiendo su alcance (pero tambin sus lmites)
INGENIERA DE SISTEMAS 5 SEMESTRE

GUIA 1: INTRODUCCIN A LA LGICA MATEMTICA ING. ANALUI MARTNEZ

, planteando que una lgica ms originaria se podra encontrar en un plano previo a las proposiciones, sentencias, declaraciones o juicios. Tomar en cuenta eso podra llevar a un replanteamiento de la lgica de la proposicin o la lgica del juicio, puesto que nos conducira a movernos en las races de la lgica tal como ha sido habitualmente entendida, races que hasta ahora han sido insuficientemente atendidas. Para l, la lgica tendra que partir de una suficiente meditacin del (logos), el cual debera ser distinguido de la ratio, que, en rigor, significa algo distinto. Por ello la Lgica puede definirse por un lado como Ciencia y como Proceso, estudiados por la filosofa y por la psicologa, y por otro lado como Lenguaje formal, estudiado por las matemticas. La lgica como ciencia: "Es la ciencia filosfica sobre el pensamiento que estudia las leyes del desarrollo de todas las cosas materiales, naturales y espirituales, es decir, del desarrollo de todo el contenido concreto del mundo y de su cognicin, o sea, el resultado, la suma total, la conclusin de la historia del conocimiento del mundo La lgica como proceso: La lgica es el proceso de reflejo del mundo objetivo en la conciencia del hombre y de verificacin de la correccin de este reflejo por la prctica, es generada histricamente por la vida de los hombres concretos, cuando se separan de los fenmenos de la naturaleza, sus categoras (cantidad, calidad, medida, esencia, etc.), son escalones y puntos focales del conocimiento de la naturaleza objetivamente existente, lo que caracteriza la conciencia del hombre que se desprende de la naturaleza objetivamente existente. La lgica matemtica: El hombre de hoy se relaciona ms frecuentemente con la lgica matemtica que se refiere a un sistema deductivo en el que existen ciertos axiomas bsicos y ciertas reglas de deduccin. Ese sistema est formado por un conjunto de expresiones (o smbolos) que permiten construir determinadas proposiciones (o secuencias de signos dotables de significado), las reglas deductivas permiten reconocer cuales son la afirmaciones deducibles de los axiomas mediante las reglas de deduccin y cules no. Razonamiento deductivo e inductivo en lgica La filosofa de Aristteles y Platn engendr la lgica primaria, era deductiva y no inductiva. Esto quiere decir que las leyes universales podan ser descubiertas por el pensamiento humano sin necesidad que ste tuviese que optar por mirar casos particulares para establecer las leyes. Es decir, la lgica deductiva discurre sobre lo que sigue universalmente desde premisas dadas por la razn humana. Es esta la razn por la cual Aristteles estableci los cuatro principios a priori para la lgica todava enseados en nuestra poca: el principio de identidad, el Principio de no contradiccin, el principio del tercero excluido y el principio de razn suficiente. Sin embargo, el hacer uso nicamente de la lgica deductiva puede llevar a errores, ya que se deja la observacin de casos particulares de lado, para ver si se verifica el razonamiento. As
INGENIERA DE SISTEMAS 5 SEMESTRE

GUIA 1: INTRODUCCIN A LA LGICA MATEMTICA ING. ANALUI MARTNEZ

entonces, Aristteles se equivoc incluso en el nmero de dientes que tenan las mujeres, habindose podido enterar simplemente observando y contando. En oposicin al formalismo de lo deductivo, Hegel cuestion el principio del tercero excluido y formul el principio de la universalidad de la contradiccin. Propuso el mtodo analtico para partir de la materia concreta dada para llegar a la forma de abstracciones universales y luego proponer definiciones generales. El anlisis deja lo concreto como fundamento y por medio de la abstraccin de las particularidades, que aparentan ser inesenciales, pone de relieve lo universal concreto o sea la fuerza de ley general. En el mismo sentido, el razonamiento inductivo, es el estudio de derivar una generalizacin o una ley a partir de observaciones. ste fue posteriormente incluido en el estudio de la lgica, y fue adoptado como el razonamiento bsico de la investigacin cientfica, combinndola cuando corresponde con la deduccin. Este probablemente es el motivo del xito y la certeza de los modelos cientficos actuales. Es decir, la inclusin del razonamiento inductivo en las ciencias no es menor en nuestras vidas, nos permiti tener el modelo cientfico actual el cual nos ha dado una cantidad impresionante de tecnologa y supuestas verdades. La diferencia entre la validez inductiva y la deductiva es la siguiente: Una inferencia es deductivamente vlida si y slo si no hay posible situacin en la cual todas las premisas son verdaderas y la conclusin falsa. La nocin de validez deductiva puede ser rigurosamente establecida para sistemas de lgica formal en trminos de las bien entendidas nociones de la semntica. La validez inductiva, por el otro lado, requiere que se defina una generalizacin rentable a partir de un conjunto de observaciones. La tarea de proveer esta definicin puede ser enfrentada de varias maneras, algunas menos formales que las otras; algunas de estas definiciones pueden usar modelos matemticos de probabilidades. CONCEPTO DE LA LGICA MATEMTICA La lgica matemtica estudia la forma del razonamiento, se considera como una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido o no. La Lgica Matemtica surge como una disciplina matemtica cuyo objeto de estudio es la lgica del razonamiento matemtico humano (y actualmente tambin de otras formas de razonamiento.) Requiere de expresar la lgica en trminos susceptibles de ser representados y manejados por un computador. La lgica proposicional es la parte de la lgica que estudia las formas en que se relacionan unas proposiciones con otras y, sobre todo, la relacin que se da entre las proposiciones que componen un razonamiento. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad.
INGENIERA DE SISTEMAS 5 SEMESTRE

GUIA 1: INTRODUCCIN A LA LGICA MATEMTICA ING. ANALUI MARTNEZ

El lenguaje lgico: El lenguaje lgico es un lenguaje exacto. Su vocabulario es un conjunto de signos y smbolos perfectamente claros y definidos, carentes de aquella vaguedad propia de nuestro lenguaje. Con ellos se forman secuencias finitas de frmulas proposicionales y, mediante unas reglas precisas llamadas Reglas de formacin, podemos detectar si esas formulas son bien formadas, o son mal formadas. Variables proposicionales: En lenguaje simblico de la lgica pretende simplificar el carcter complejo, confuso y, a veces, ambiguo del lenguaje convencional. Se afronta este problema utilizando smbolos en lugar de proposiciones completas. Los smbolos utilizados para presentar proposiciones son las letras maysculas de nuestro alfabeto. No importa lo largo o corto de las proposiciones, lo que importa es sustituir por una variable un nico enunciado. Si en lugar de una proposicin atmica tenemos una proposicin molecular, el procedimiento fundamental es el mismo, solo que debemos aadirle sus correspondientes trminos de enlace Conectivas Lgicas PROPOSICIONES Una proposicin es una oracin con sujeto, verbo y predicado que puede ser calificada de verdadera o falsa pero no ambas. Las proposiciones son definidas, apenas "como un pensamiento completo". Para nuestro propsito las proposiciones pueden ser tentativamente igual a una sentencia. Las proposiciones son una sentencia declarativa, o reglas las cuales tienen valores de verdad, una proposicin puede tener dos valores, verdadero o falso. Pero no ambos (verdadero y falso) y tampoco pueden no tomar ningn valor. Una proposicin es un hecho. Los argumentos de las proposiciones son: premisas y conclusiones de una proposicin. Las proposiciones son portadoras de veracidad y falsedad.

Las siguientes son proposiciones simples verdaderas:

1. 2. 3. 4. 1. 2. 3. 4.

Las siguientes proposiciones simples son falsas:

El cielo es azul La nieve es fra 12*12=144 Hugo Chvez es el presidente de la Repblica Bolivariana de Venezuela Honda hace televisiones El General Fidel Castro es un Demcrata 8+99=231 Los Insectos crean su comida a travs de fotosntesis

Las siguientes son proposiciones no validas:

1. l es un vendedor-> Esta no es una proposicin porque "l" no esta definido. Como un resultado no hay manera de verificar la sentencia y asignarle un valor de verdad. 2. Esta declaracin es una mentira-> No es una proposicin porque "Esta" no esta definida como una declaracin. No hay referencia y como en otros ejemplos no podemos asignar un valor de verdadero o falso a la declaracin. 3. Las cosas buenas vienen en pequeos paquetes - > Este tipo de declaracin expresa una idea subjetiva o concepto el cual no puede ser verificado en trminos de verdadero o falso.
4

INGENIERA DE SISTEMAS 5 SEMESTRE

GUIA 1: INTRODUCCIN A LA LGICA MATEMTICA ING. ANALUI MARTNEZ

4. La verdad es que no hay verdad-> Esta es tambin un valor de hecho y expresa un concepto filosfico el cual no es verificable. 5. Dios es bueno-> Este es un valor de hecho y expresa una tica, idea religiosa o dogma. No es una proposicin. 6. Por que el Soccer no es ms popular que el Bsquetbol en Estados Unidos?-> Esta no es una declaracin. Simplemente hace una pregunta. 7. 12 + x = 16-> No es una proposicin porque "x" es una variable indefinida, al menos que a x se le asignen valores, hasta entonces se puede verificar el valor de verdad o falsedad de la proposicin. 8. Al Pacino era un buen actor-> No es una proposicin. Esta sentencia expresa una opinin; es subjetivo. PROPOSICIONES SIMPLES O HECHOS (ATOMICAS) Las proposiciones anteriores representadas por letras se le denominan simples o primitivas ya que no hay forma de descomponerlas en algo ms sencillo.

Notacin: por costumbre a las proposiciones las denotaremos mediante las letras: p, q, r,
VALOR DE VERDAD DE UNA PROPOSICION: En la lgica Aristotlica, las proposiciones pueden ser solamente Verdaderas o Falsas, llamado por valor de verdad de la proposicin y representado por V y F. En la lgica simblica aplicada a la computacin se representan los valores de verdad por los smbolos digitales 1 y 0, 1 para V y el 0 para F. PROPOSICION VERDADERA FALSA NOTACION CLASICA V F Tabla 1: Smbolos del Valor de Verdad A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica el porqu algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minscula, dos puntos y la proposicin propiamente dicha: NOTACION DIGITAL 1 0

Ejemplos:
p: q: r: s: t: w:

La tierra es plana. -17 + 38 = 21 x > y-9 La vinotinto ser campen en la presente temporada. Hola como estas? Lava el auto por favor.

Los incisos p y q sabemos que pueden tomar un valor de F o V; por lo tanto son proposiciones validas. El inciso r tambin es una proposicin valida, aunque el valor de F o V depende del valor asignado a las variables x y y en determinado momento.
INGENIERA DE SISTEMAS 5 SEMESTRE

GUIA 1: INTRODUCCIN A LA LGICA MATEMTICA ING. ANALUI MARTNEZ

La proposicin del inciso s tambin esta perfectamente expresada aunque para decir si es F o V se tendra que esperar a que terminara la temporada de fut-boll. Sin embargo los enunciados t y w no son vlidos, ya que no pueden tomar un valor de F o V, uno de ellos es un saludo y el otro es una orden.

Ejemplo:

Determine cules de las siguientes expresiones son proposiciones e indique en caso positivo, su valor de verdad. p: dos ms dos son cuatro q: x ms 5 es igual a tres r: dos es par s: cuatro es impar t: x es positivo u: siete es positivo

p: 2 + 2 = 4 V q: x + 5 = 3 (sin valor de verdad, pues no se conoce el valor de la x) r: 2 = 2 x 1 V s: 4 = 2 (2n-1), n N F t: x > 0 (sin valor de verdad, pues no se conoce el valor de la x) u: 7 > 0 V PROPOSICIONES COMPUESTAS (MOLECULARES): Una proposicin se dice que es compuesta cuando se combinan dos o ms simples mediante las conectivas lgicas.

Solucin:

proposiciones

Conectivas lgicas y operadores establecen relaciones entre dos o ms proposiciones. La funcin principal de los operadores es la de formar una nueva proposicin de una o ms proposiciones. As las declaraciones compuestas o proposiciones son formadas. Conectivas lgicas: La construccin de frmulas compuestas requiere del uso de elementos que permitan establecer una relacin entre los tomos que la forman; estos elementos se conocen como conectivas lgicas. Las conectivas lgicas usadas en la lgica proposicional son cinco y son representadas simblicamente de varias formas, como se muestra en la tabla 1.
NOMBRE CASTELLANO LOGICO USO LEDO

Negacin Conjuncin Disyuncin Condicional (Implicacin)

NO
Y O Si... Entonces...

-, , ~
, |, +

-p pq p

NO p p Y q p O q

, &, , . p q

q Si p entonces q

Bicondicional (de equivalencia) ... Si y solo si...

, = p q p Si y slo si q

Tabla 2. Conectivas Lgicos.

INGENIERA DE SISTEMAS 5 SEMESTRE

GUIA 1: INTRODUCCIN A LA LGICA MATEMTICA ING. ANALUI MARTNEZ

Ejemplo: sean las proposiciones simples:

p: 2 es par q: 4 es impar Usando los conectivos dados formar las proposiciones compuestas.

Solucin:

p q: 2 es par y 4 es impar. p q: 2 es par 0 4 es impar. - p: 2 no es par. - q: 4 no es impar. p q: 2 es par implica 4 es impar o si 2 es par entonces q es impar. p q: 2 es par si y solo si 4 es impar. JERARQUA DE LOS CONECTORES O TERMINOS DE ENLACE: Para determinar el valor de verdad de una proposicin compuesta, es necesario conocer cuales son las reglas que se aplican para determinar si la proposicin completa es cierta o falsa; asimismo, al tener frmulas con dos o ms trminos de enlace, se deben conocer las reglas de precedencia y asociatividad de los trminos de enlace para asegurar que la evaluacin es correcta. An cuando existen algunas diferencias en la determinacin de una jerarqua de conectivas, aqu se utilizar el siguiente orden: , &, , , ; donde (negacin) es el operador con mayor jerarqua en la secuencia y (bicondicional) es el operador con el menor peso. INFERENCIA LGICA: La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas. Un argumento, por ejemplo es una inferencia, donde las premisas son los datos o expresiones conocidas y de ellas se desprende una conclusin. Una inferencia puede ser: Inductiva (de lo particular a lo general)

Deductiva (de lo general a lo particular)

Transductiva (de particular a particular o de general a general)

Abductiva (es semejante a la deductiva)

Se pueden aprender estas reglas y su uso, como se aprenden las reglas de un juego. Este se juega con proposiciones, o formulas lgicas; empieza con un conjunto de formulas que se denominan premisas. El objeto del juego es utilizar reglas de inferencia de manera que conduzcan a otras formulas que se denominaran conclusiones, este paso de las premisas a la conclusin se le denomina deduccin. La idea de la inferencia expresa: de premisas verdaderas se obtienen slo conclusiones.

INGENIERA DE SISTEMAS 5 SEMESTRE