Lgica matemtica La lgica matemtica es una parte de la lgica y las matemticas que consiste en el estudio matemtico de la lgica y en la aplicacin

de este estudio a otras reas de las matemticas. La lgica matemtica tiene estrechas conexiones con las ciencias de la computacin y la lgica filosfica. La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican o definen nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones y algoritmos, utilizando un lenguaje formal. La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas. Actualmente se usan indiferentemente como sinnimos las expresiones: lgica simblica (o logstica), lgica matemtica, lgica teortica y lgica formal.1 DISYUNCIN 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.

Tabla de verdad de la disyuncin (Ir a 3.1.3 Tablas de Verdad) 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 (Ir a 3.1.3 Tablas de Verdad) 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 (Ir a 3.1.3 Tablas de Verdad) 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 Implicacin Cuando se tienen dos proposiciones p y q, se puede construir una dependencia r entre ambas usando una implicacin o condicional, lo que significa que si p es verdadera, q ser verdadera, pero si p es falsa, q puede tener cualquier valor. En esta forma proposicional se llamara a p la hiptesis o antecedente, y a q la tesis o consecuente. Representacin El smbolo de implicacin es y la implicacin de p y q se representa como que podemos escribir a r como: . Cuando las proposiciones son frases verbales se representa a la implicacin como: q si p p implica q p slo si q p es suficiente para q q es necesario para p q siempre que p Notas La implicacin no es lo mismo que la condicional. Aunque en el lenguaje ordinario no suele tener importancia esta distincin, en su sentido lgico y cientfico las diferencias pueden tener un sentido importante. La expresin puede tener dos interpretaciones:

, de tal manera

Simboliza

Se lee

Ejemplo

Condicional Si A entonces B Si hoy es Martes entonces maana es Mircoles

Implicacin A implica B

Hoy es Martes, por tanto maana es Mircoles

La primera es una forma lgica donde lo que queremos conocer es el valor de la condicional y para lo cual lo nico que importa es el valor de verdad de A Por otra parte en la segunda buscamos el valor de B que depende del valor de A, o dicho de otra manera, la afirmacin de B depende de la validez de A. Lo condicional es una afirmacin hipottica sobre una relacin meramente formal. Se puede pensar de la siguiente manera: si se da una condicin (antecedente), tiene que darse tambin lo condicionado (consecuente). El hecho de que no se d la condicin no afecta al hecho de que se d o no se d lo condicionado. En la implicacin, sin embargo, debe entenderse como: "La verdad de A exige, o lleva implcita, es decir implicada, la verdad de B". Una manera de ver el ejemplo anterior es observar sus valores de verdad. En la condicional, el valor siempre sera V, ya que siempre se cumple que cuando es martes, el siguiente da es mircoles, sin embargo en la implicacin el valor de verdad no se conocera ya que cuando el da sea martes la implicacin es cierta, pero cualquier otro da la proposicin A sera falsa y la proposicin B podra obtener cualquier valor (por definicin de implicacin). Debemos observar que en la filosofa se prefiere el uso de la condicional, pero en la matemtica debemos preferir el uso de la implicacin ya que queremos estar seguros que ademas de la forma lgica (condicional), las proposiciones son verdaderas (implicacin).

Bicondicional Smbolos lgicos que representan si y slo si. En matemticas y lgica, un bicondicional, (tambin llamado equivalencia o doble implicacin, en ocasiones abreviado como ssi, sii, o syss), es una proposicin de la forma P si y slo si Q y afirma que la proposicin P ser verdadera cuando y exclusivamente Q tambin lo sea, as como tambin P ser falsa cuando Q lo sea. Otra forma de expresar el bicondicional es decir que Q es una condicin necesaria y suficiente para P. Definicin El valor de verdad de un bicondicional p si y slo si q es verdadero cuando ambas proposiciones (p y q) tienen el mismo valor de verdad, es decir, ambas son verdaderas o falsas simultneamente; de lo contrario, es falso.

Se tiene as que la afirmacin p si y slo si q es lgicamente equivalente al par de afirmaciones Si p, entonces q, y si q, entonces p. Escrito utilizando conectivas lgicas : . De manera ms precisa, el operador bicondicional est definido mediante la siguiente tabla de verdad:1 2 98 si y slo si

pq

Representacin y lectura Normalmente se usan los smbolos o para denotar el bicondicional, quedando as: o .

En espaol se usan las abreviaturas sii, ssi y syss, de modo que es equivalente p q a p sii q. En ingls se abrevia iff (If and only if). Dos enunciados se dicen equivalentes cuando tienen el mismo valor de verdad, y se simboliza con .3 Este smbolo tambin puede leerse "es equivalente a". Cuando dos proposiciones son lgicamente equivalentes su conexin con un bicondicional una tautologa.4 Adicionalmente, el bicondicional es equivalente a la puerta lgica XNOR, y a la negacin de la puerta XOR. Uso En la matemtica, toda definicin de un objeto expresa la condicin necesaria y suficiente para plantear la definicin de tal objeto; que es lo mismo que expresar de manera tcita a travs de un bicondicional. Sin embargo, es usual en una definicin usar simplemente una forma implicativa. Verbi gratia: "si un tringulo tiene dos lados iguales o congruentes se llama issceles".5