Loghico Matemaytico

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 4

“AÑO DEL BICENTENARIO, DE LA CONSOLIDACIÓN DE

NUESTRA INDEPENDENCIA, Y DE LA CONMEMORACIÓN


DE LAS HEROICAS BATALLAS DE JUNÍN Y AYACUCHO”

ESCUELA DE EDUCACIÓN SUPERIOR TÉCNICO PROFESIONAL


PNP- TRUJILLO

Trabajo Individual

ASIGNATURA : LOGICO MATEMATICO

CATEDRATICO : ST3 PNP. BARRENECHEA CONTRERAS Roberto Agusto

SECCIÓN : “A”

ALUMNO : Alessandro Cordova Huaygua

N° DE ORDEN: : 21

PROMOCION 2024 – I “HONORABLES”

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.

Esto quiere decir que el estudio y la comprensión de la composición estructural de la


lógica es fundamental en todas las ramas de las ciencias. Esto incluye también el
conocimiento de cómo la lógica estudia las proposiciones. Continúa leyendo nuestro
artículo sobre qué es la lógica proposicional, y descubre cómo está latente en cada uno
de tus discursos diarios.

2.TEORIA DE CONJUNTOS: La teoría de conjuntos es una rama de


la lógica matemático que estudia las propiedades y relaciones de los conjuntos
colecciones abstractas de objetos, consideradas como objetos en sí mismas.
Los conjuntos y sus operaciones más elementales son una herramienta básica
que permite formular de cualquier otra teoría matemática.

La teoría de los conjuntos es lo suficientemente flexible y general como para


construir el resto de objetos y estructuras de interés en matemáticas números,
funciones, figuras geométricas etc.; gracias a las herramientas de la lógica,
permite estudiar los fundamentos.

Además, la propia teoría de conjuntos es objeto de estudio per se, no solo


como herramienta auxiliar, en particular las propiedades y relaciones de los
conjuntos infinitos. En esta disciplina es habitual que se presenten casos de
propiedades indemostrables o contradictorias, como la hipótesis del continuo o
la existencia de algún cardinal inaccesible. Por esta razón, sus razonamientos y
técnicas se apoyan en gran medida en la lógica matemática
EJERCICIOS:

-LOGICA PROPORCIONAL:
1.

También podría gustarte