ALGEBRA

LOGICA MATEMATICA

RESEA HISTRICA DE LA LGICA MATEMTICA.

Los orgenes de la lgica se remontan a la poca de los sofistas de la antigua Grecia. Se constituye casi como una disciplina autmata; ya que en ese entonces los filsofos eran grandes retricos , que al defender sus ideas, no deberan dar cabida alguna a la duda. Aristteles resalto la lgica elevndola al grado del saber supremo. Este filosofo se apoyaba en tres principios simples: 1) Identidad. 2) Exclusin. 3) Contradiccin

 stos son declarados verdaderos a priori, en todo tiempo y espacio. Son considerados innatos dentro de la universalidad real. Ms adelante en el tiempo , Alejandro, discpulo de Aristteles, fue en gran parte responsable de influir en el clima poltico del mundo Helnico en el cual los pensamientos clsicos de Platn y Aristteles estaban fuertemente arraigados. Cleantes de Assos (331-233a.c.) y Crisipuo (281-208a.c.) desenvolvieron el estoicismo como una estructura completa, la cual posea una lgica.

sta lgica es semejante a una dialectica. En la edad media Santo Toms de Aquino utiliza la lgica matemtica para demostrar la existencia de Dios (Clebre). Mas tarde Gottfried Wilhelm Leibniz (1646 - 1716) desarrollo la lgica simblica formulando las propiedades principales de la suma lgica y la multiplicacin lgica, entre otras muchas. Su contribucin ms notable a las matemticas fue la creacin, simultneamente con Newton, de las bases del clculo diferencial. Mas tarde descartes introduce la geometra analtica. Este paso produjo mucho esfuerzo al momento de definir estructuras matemticas complejas en trminos de otras estructuras mas simples.

CONCEPTO DE LGICA MATEMTICA.

La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el significado correcto. En las matemticas para demostrar teoremas e inferir resultados matemticos que puedan ser aplicados en investigaciones.

 En la computacin para revisar programas. En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya tiene pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica.

PROPOSICIONES
Hay dos clases de proposiciones: Proposiciones simples y compuestas, tambin llamadas atmicas y moleculares respectivamente. a. Proposiciones Simples.- Tambin denominadas atmicas. Son aquellas proposiciones que no se pueden dividir. Ejemplo: El cielo es azul. (verdadero) Nomenclatura: p b. Proposiciones Compuestas.- Tambin denominadas moleculares. Son aquellas que estn formadas por dos o ms proposiciones simples unidas por los operadores lgicos. Ejemplo: Fui al banco, pero el banco estaba cerrado. Los lectores de este libro son jvenes o universitarios. Si el mircoles prximo me saco la lotera entonces te regalar un auto.

VALOR DE VERDAD.

Entramos en el estudio semntico cuando hacemos referencia al carcter de verdad o falsedad que pueda tener una proposicin. Al hacer referencia al posible valor de verdad o falsedad que pueda tener una frmula estamos admitiendo un principio, el principio de bivalencia: todo enunciado es o verdadero o falso, pero no ambas cosas a la vez.

El principio de bivalencia puede aplicarse tanto a las proposiciones atmicas como a las moleculares. Si una proposicin es verdadera, se dir que tiene valor de verdad positivo; si es falsa, negativo. El criterio que se adopta para atribuir valor de verdad o falsedad a una proposicin atmica, no es, segn Wittgenstein, un problema de anlisis lgico, sino un problema de experiencia. Si lo enunciado en una proposicin est conforme con los hechos, la proposicin es verdadera, de lo contrario es falsa.

Un segundo principio de la lgica bivalente es, aquel que mantiene que el valor de verdad de las proposiciones moleculares depende del valor de verdad de las proposiciones atmicas que la forman. En este sentido podemos decir que las frmulas moleculares son tambin funciones de verdad o funciones veritativas, ya que los valores que adoptan son valores de verdad.

Para determinar el valor de verdad de una proposicin molecular, independientemente de los valores de sus componentes, existe un procedimiento mecnico: las tablas de verdad.

Para construir las tablas de verdad hemos de tener en cuenta el nmero de filas con valor de verdad V= 1 y de falsedad F= 0, de los que ha de constar la tabla; el nmero de filas se rige por la siguiente formula 2n , donde n = al nmero de variables proposicionales de la frmula dada. As, para una sola variable p, la tabla sera 21 = 2 filas, o sea:

p 1 0

TABLAS DE VERDAD
Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos, ,, ^,,,como: no, o, y, sientonces, s y slo si, respectivamente. La interpretacin corresponde al sentido que estas operaciones tienen dentro del razonamiento. Puede establecerse una correspondencia entre los resultados de estas tablas y la deduccin lgico matemtica. En consecuencia, las tablas de verdad constituyen un mtodo de decisin para chequear si una proposicin es o no un teorema. Para la construccin de la tabla se asignar el valor 1(uno) a una proposicin cierta y 0 (cero) a una proposicin falsa.

NEGACIN.
El valor de verdad de la negacin es el contrario de la proposicin negada.

1
0

CONJUNCIN.
Solamente si las componentes de la conjuncin son ciertas, la conjuncin es cierta.
P Q P^Q

1
1 0 0

1
0 1 0

DISYUNCIN
La disyuncin solamente es falsa si lo son sus dos componentes.

P Q

1
1 0 0

1
0 1 0

CONDICIONAL.
El condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso. De la verdad no se puede seguir la falsedad.
P Q P Q

1
1 0 0

1
0 1 0

BICONDICIONAL.
El bicondicional solamente es cierto si sus componentes tienen el mismo valor de verdad.
P Q P Q

1
1 0 0

1
0 1 0

RECUERDE.
Se denomina tautologa una proposicin que es cierta para cualquier valor de verdad de sus componentes. Por tanto, la ltima columna de su tabla de verdad estar formada nicamente por unos. Contradiccin es la negacin de una tautologa, luego es una proposicin falsa cualesquiera sea el valor de verdad de sus componentes. La ltima columna de la tabla de verdad de una contradiccin estar formada nicamente por ceros.

EJERCICIOS.
1. Sean P, Q, R y S frmulas. Si se sabe nicamente que P es verdadero, Qu puede afirmarse del valor de verdad de cada una las proposiciones siguientes? P^Q RP S P

RP
R ^ P S P

P Q
P P S P Q ^R

R (S P)
P S (Q ^ P) Q ^ P R ^ Q