quimico

COLEGO TECNICO AGROPECUARIO “AYAPAMBA”
Alumna: Gabriela Alejandra Romero Freire
Fecha: 09/08/2013
FISICA
¿Qué es la Lógica Matemática?
La lógica matemática es una parte de la lógica ylas matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con las ciencias de lacomputación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican o definen nociones intuitivas de objetos matemáticoscomo conjuntos, números, demostraciones y algoritmos, utilizando un lenguaje formal.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría dela recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas. Actualmente se usan indiferentemente como sinónimos lasexpresiones: lógica simbólica (o logística), lógica matemática, lógica teorética y lógica formal.1
La lógica matemática no es la «lógica de las matemáticas» sino la «matemática de la lógica». Incluyeaquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente.
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos deobjetos matemáticos como conjuntos, números, demostraciones y computación. La lógica estudia las reglas de deducción formales, las capacidades expresivas de los diferentes lenguajes formales y laspropiedades meta lógicas de los mismos.
En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un argumento dado dentro de un determinado sistema formal. En unnivel avanzado, la lógica matemática se ocupa de la posibilidad de axiomatizar las teorías matemáticas, de clasificar su capacidad expresiva, y desarrollar métodos computacionales útiles en...