Loghico Matemaytico
Loghico Matemaytico
Loghico Matemaytico
Trabajo Individual
SECCIÓN : “A”
N° DE ORDEN: : 21
TRUJILLO – PERU
INTRODUCCION
La lógica matemática es el estudio del lenguaje formal matemático y sus
interacciones propias con los objetos matemáticos. Como tal, los temas
centrales están ligados a la capacidad expresiva del lenguaje, así como a la
capacidad deductiva formal de este. Posiblemente cuando oyes lógica,
piensas en silogismos del tipo” Todos los hombres son mortales, Sócrates
es hombre; entonces Sócrates es mortal”. Esta forma de pensar la lógica,
fue por mucho tiempo la forma usual, sin embargo, hubo esfuerzos por
muchos de formalizarla y crea una especie de cálculo formal lógico. Estos
fueron particularmente concretados en el siglo XIX por George Boole y
Augustas de Morgan. Por otro lado, la matemática siempre se desarrolló
bajo el modelo euclidiano: aceptamos como verdadero ciertos enunciados
“evidentes” y a partir de estos desarrollamos usando las reglas de
deducción lógicas el resto de verdades que podemos decir. Sin embargo,
¿qué es “evidente”? ¿Como podríamos asegurarnos de que realmente algo
debería ser un axioma básico y que no podría deducirse de otros? Estas
preguntas fueron hechas en específico sobre el quinto postulado de las
paralelas, y fue Lobachevsky el primero en mostrar que efectivamente
existen “modelos” geométricos de los primeros cuatro axiomas, donde no
se cumple el quinto. Claramente, esto causo un temblor en las bases de la
matemática. ¿Que es real y que no? ¿Como saber que realmente nuestros
enunciados evidentes lo son? Por otro lado, muchos matemáticos querían
hacer lo que Euclides hizo en otras ´áreas. Por ejemplo, Giuseppe Peano
sentó una serie de axiomas básicos para la aritmética. Otro ejemplo notable
fue Georg Cantor, que estudiando ciertas series trigonométricas termino
estudiando el infinito. Su teoría formo la base de lo que ahora es la teoría
de conjuntos. Rápidamente, se notó que esta teoría podría formar una base
teórico-formal para el resto de la matemática.
CONCEPTOS
1.LOGICA PROPORCIONAL: La lógica proposicional forma parte de
la lógica clásica, y permite estudiar las implicaciones de las variables proposicionales,
así como los valores de verdad de las proposiciones. Estos valores se construyen a partir
de conectores lógicos, y son aplicables tanto en matemáticas como en otras ramas de
conocimiento.
-LOGICA PROPORCIONAL:
1.