logica matematica
La Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos
de razonamiento. En un nivel elemental, la Lógica proporcionareglas y técnicas para determinar si es o
no valido un argumento dado. El razonamiento lógico se emplea en Matemáticas para demostrar
teoremas, sin embargo, se usa en forma constante pararealizar cualquier actividad en la vida.
DEFINICIÓN Y CLASES DE PROPOSICIONES
Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez.
Toda proposición constade tres partes: un sujeto, un verbo y un complemento referido al verbo. La
proposición es un elemento fundamental de la Lógica Matemática.
A continuación se tienen algunos ejemplos deproposiciones válidas y no válidas, y se explica el porqué
algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra
minúscula, dos puntos y la proposición propiamentedicha.
La lógica matemática es una parte de la lógica y las 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ógicamatemática tiene estrechas conexiones con las ciencias de la computació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 codificannociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.
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 de la 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 usanindiferentemente como sinónimos las expresiones: 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...
Regístrate para leer el documento completo.