Elementos de lgica simblica:

Es probable que en el siglo IV antes de la Era Comn, se iniciara con Aristteles el estudio de la Lgica; pero no fue hasta a mediados del siglo XIX cuando George Boole (1815-1864) inicia el estudio de lo que hoy se conoce como Lgica Matemtica. Uno de los fines de la enseanza matemtica es disciplinar la inteligencia, de ah el valor formativo de esta ciencia ya que necesita de exactitud y precisin en sus razonamientos. La inteligencia se disciplina a travs de un tipo especial de pensamiento que es el razonamiento. El objetivo de la lgica es estudiar la validez de los razonamientos. La validez de la lgica es una relacin entre las premisas y la conclusin expresada a travs de una serie de smbolos matemticos y/o auxiliares llamados enunciados. Por medio de un enunciado con sentido podemos emitir un juicio (actividad mental por medio de la cual pensamos algo) o un razonamiento (evaluacin mental por medio de la cual obtenemos conclusiones). CONCEPTO DE LA LOGICA La lgica es una relacin entre las premisas y la conclusin expresada a travs de una serie de smbolos matemticos y/o auxiliares llamados enunciados. Para su estudio, se divide en lgica formal, lgica aplicada y lgica simblica. Lgica formal: es la parte de la filosofa que estudia las formas y leyes generales del pensamiento tendiente al conocimiento de la verdad y el error. Lgica Aplicada: es la que estudia las formas o estructura del pensamiento adaptndose al objeto de estudio de las distintas ciencias. Lgica simblica: es la que estudia sistemticamente las proposiciones, los razonamientos y las demostraciones para lo cual utiliza un lenguaje constituido por smbolos convencionales que representan estructuras. La lgica simblica es aquella que se refiere a las proposiciones y que tambin se conoce con el nombre de Calculo Propocional. CONECTIVOS LOGICOS Los conectivos lgicos son aquellos que sirven para formar proposiciones compuestas. Simblicamente los conectivos se representan del modo siguiente:

Conectivo No Y O OO Si Entonces Si Solo Si

Nombre Lgico Negacin Conjuncin Disyuncin Inclusiva Disyuncin Exclusiva Implicacin o Condicional Doble Implicacin o Bicondicional

Smbolo ~ ^ v v <>

ENUNCIADOS ABIERTOS Y ENUNCIADOS CERRADOS Un enunciado: es un conjunto de smbolos por medio de los cuales expresamos lo pensado en un juicio, ya sea en formal oral o escrita. Enunciados Abiertos o simples: son aquellos que tiene un nico valor de verdad. Es el que no tiene otro enunciado como parte componente. Ejemplo: Las rosas son rojas. Enunciados Cerrados o compuestos: un enunciado compuesto contiene otro enunciado como componente. Ejemplo: Las rosas son rojas y las violetas son azules. CONCEPTO DE PROPOSICIONES Una proposicin es una oracin declarativa de la cual podemos asegurar que es verdadera o que es falsa, pero no ambas situaciones a la vez. CLASIFICACION DE LAS PROPOSICIONES Proposiciones simples o atmicas: son aquellas que constan de un solo enunciado. Proposiciones compuestas o moleculares: son las que constan de dos o ms proposiciones simples entrelazadas por ciertas particularidades lgicas llamadas conectivos lgicos. CLASIFICACION DE PROPOSICIONES COMPUESTAS La Negacin: la conectiva no es la que se antepone a una proposicin para cambiar su valor de verdad y se representa por el siguiente smbolo ~. La Conjuncin: es una proposicin compuesta que se obtiene al unir dos proposiciones simples unidas o entrelazadas mediante el conectivo y, y se representa con el siguiente smbolo: ^. La Disyuncin Inclusiva: es una proposicin compuesta de dos proposiciones simples unidas por el conectivo lgica o, que se representa de la manera siguiente: V.

La Disyuncin Exclusiva: es una proposicin compuesta por dos proposiciones simples entrelazas por el conectivo oo y se representa as: V. La Condicional o Implicacin: es la combinacin de dos proposiciones unidas por la conectiva sientonces, que se representa de la forma siguiente: . La proposicin que aparece entre las palabrasSi y Entonces, se denomina antecedente o hiptesis y la que aparece despus de la palabra Entonces, se le llama consecuente o conclusin. La Bicondicional o Doble Implicacin: es una proposicin que se obtiene al unir dos proposiciones simples mediante el conectivo si y solo si y se representa as: <>

VALOR DE VERDAD DE LAS PROPOSICIONES COMPUESTAS La Negacin: si una proposicin (sea simple o compuesta) es verdadera, su negacin es falsa y viceversa. Ejemplo: si P es: Constanza es un municipio de la Vega, ~ P se leer: no es cierto que Constanza es un municipio de la Vega. La Conjuncin: esta proposicin solo es verdadera cuando las dos proposiciones que la forman son verdaderas, y en los dems casos ser falsa. La Disyuncin Inclusiva: esta proposicin es falsa nicamente cuando las dos proposiciones que la forman son falsa, en caso contrario es verdadera. La Disyuncin Exclusiva: esta solo ser verdadera cuando las dos proposiciones que la componen tienen diferentes valores de verdad, en caso contrario es falsa. La Condicional o Implicacin: una condicional solo es falsa cuando su antecedente es verdadero y el consecuente es falso; en lo dems casos la condicional es verdadera. La Bicondicional o Doble Implicacin: esta solo es verdadera cuando las dos proposiciones que la forman tiene el mismo valor de verdad, es decir, cuando las dos proposiciones que la forman ambas sean verdaderas o ambas falsas. En caso contrario la Bicondicional es falsa. TABLA DE VERDAD DE LAS PROPOSICIONES COMPUESTAS La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.

DISYUNCIN

Tabla de verdad de la disyuncin p v q (se lee: p o q) EJEMPLOS: p = El numero 2 es par q = la suma de 2 + 2 es 4 Entonces pvq: El numero 2 es par o la suma de 2 + 2 es 4 p = La raz cuadrada del 4 es 2 q = El numero 3 es par Entonces pvq: La raz cuadrada del 4 es 2 o el numero 3 es par

CONJUNCIN

La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas.

Tabla de verdad de la conjuncin p ^ q (se lee: p y q) EJEMPLOS: p = El numero 4 es par q = Siempre el residuo de los nmeros pares es 2 Entonces p^q: El numero 4 es par y Siempre el residuo de los nmeros pares es 2 p = El numero mas grande es el 34 q = El triangulo tiene 3 lados Entonces p^q: El numero mas grande es el 34 y El triangulo tiene 3 lados

NEGACIN

La negacin es un operador que se ejecuta. sobre un nico valor de verdad, devolviendo el valor contradictorio de la proposicin considerada.

Tabla de verdad de Negacin EJEMPLOS p: 4 + 4 es igual a 9 -p: 4 + 4 no es igual a 9 p: El 4 es un numero par -p: El 4 no es un numero par CONDICIONAL

El condicional material es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa, yverdadero en cualquier otro caso. La condicional de dos proposiciones p, q da lugar a la proposicin; si p entonces q, se representa por p q

Tabla de Verdad Condicional EJEMPLOS p: llueve q: hay nubes pq: si llueve entonces hay nubes p: Hoy es mircoles q: Maana ser jueves pq: Si Hoy es mircoles entonces Maana ser jueves

BICONDICIONAL

El bicondicional o doble implicacin es un operador que funciona sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren.

Tabla de Verdad Bicondicional EJEMPLOS p: 10 es un nmero impar q: 6 es un nmero primo pq: 10 es un nmero impar si y solo si 6 es un nmero primo p: 3 + 2 = 7 q: 4 + 4 = 8 pq: 3 + 2 = 7 si y solo si 4 + 4 = 8

CONCEPTO DE TAUTOLOGIA

Una proposicin compuesta es lgicamente verdadera o tautolgica cuando es verdadera siempre, independientemente de los valores de verdad de las proposiciones simples que la forman. Ejemplo: p V V F F q V F V F pvq V V V F p( p v q) V V V V

CONCEPTO DE CONTRADICCION La contradiccin: es una proposicin compuesta que es falsa independientemente de los valores de verdad de las proposiciones que la formen. Ejemplo: p V F ~p F V p^q F F CONCEPTO DE CONTINGENCIA La contingencia: es la combinacin de la tautologa y la contradiccin. Ejemplo: p V V F F q V F V F pq V F V V