TRAYECORIA HISTORICA DEL CONOCIMIENTO SOBRE LOGICA MATEMATICA

Los primeros principios formales de las matemticas

se desarrollan en Grecia. Platn, Aristteles y
Euclides proponen las primeras ideas hacia la
lgica: Platn propone ideas o abstracciones.
Aristteles resuelve el razonamiento deductivo y
sistematizado. Euclides es el autor que establece el
mtodo axiomtico.
El trabajo de Aristteles contiene el primer tratado
sistemtico de las leyes de pensamiento para la
adquisicin de conocimiento. Representan el primer
intento serio que funda la lgica como ciencia.
Fueron George Boole y Augustus De Morgan, a
mediados del siglo XIX, quienes primero presentaron
un sistema matemtico para modelar operaciones
lgicas. La lgica tradicional aristotlica fue reformada y completada,
obteniendo un instrumento apropiado para investigar sobre los fundamentos de la
matemtica.
La disciplina de la lgica matemtica recibi este nombre gracias a Giuseppe
Peano, quien reform y complement la lgica tradicional Aristotlica,
obteniendo un instrumento apropiado para investigar sobre los fundamentos de la
matemtica. 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.

PROPOSICIONES SIMPLES
Las proposiciones simples son aquellas que expresan un estado de situacin en su
estado ms sencillo, es decir uniendo a un sujeto con un objeto a partir del verbo
es. Existe tanto en el mbito de la matemtica como en el de otras disciplinas, e
incluso para cuestiones que no son relativas a ninguna de ellas. Se caracteriza por
no tener ningn trmino que condicione la proposicin de ninguna manera.
A continuacin una lista de proposiciones simples, verdaderas o falsas.
 1. El 9 y el 27 son factores del 81.
2. Esa caja es de madera.
3. Nada es para siempre.
4. La msica clsica es la ms antigua del mundo.
5. Los nmeros pares son divisibles por dos.
6. La capital de Rusia es Mosc.
7. Esa chica es mi amiga.
8. Son las tres de la tarde con veintisis minutos.
9. Los animales carnvoros se alimentan de plantas. (Proposicin falsa)
10. Mi nombre es Fabin.

PROPOSICIONES COMPUESTAS
Las proposiciones compuestas, a diferencia de las simples, aparecen mediadas
por la presencia de alguna clase de conector, que puede ser
de oposicin (habitualmente o) de adicin (habitualmente y) o
de condicin (habitualmente si).
Esto explica que en la proposicin compuesta la relacin entre el sujeto y el
objeto no se produzca en forma general, sino sometida a la presencia del
conector: podr cumplirse solo cuando otra cosa suceda, podr cumplirse tanto
para ese como para otros, o podr cumplirse solo para uno de todos.
Adems, se consideran compuestas a las proposiciones negativas, que incluyen
la palabra no. A continuacin, algunos ejemplos de estas proposiciones
compuestas:
1. Puedo manejar un auto si tiene direccin hidrulica.
2. Gabriel Garca Mrquez fue un gran escritor y bailarn.
3. Las clulas son procariotas o eucariotas.
4. La raz cuadrada de 25 es 5, o -5.
5. No todos los nmeros primos son impares.
6. Mi cuado es arquitecto e ingeniero.
7. Los aparatos tecnolgicos son negros, blancos o grises.
8. Si tengo hambre pues cocino.
9. Turqua es un pas que se encuentra en Asia y Europa.