calculo
http://es.wikipedia.org/wiki/Matem%C3%A1…
Fuente(s):
http://es.wikipedia.org%
Desde un punto de vista realista, la lógica es una disciplina teórica y filosófica, separada de las matemáticas. Elobjetivo de la lógica es el estudio de las propiedades y relaciones lógicas entre los objetos lógicos (proposiciones, modelos, entidades…). Como todas estas propiedades son independientes de lossistemas usados para su estudio, se concluye que la lógica filosófica es una ciencia teórica. La incompatibilidad, verdad, falsedad, o equivalencia son denominadas como propiedades o relaciones básicas.También existen otra serie de propiedades y relaciones derivadas, que se dividen en tres grandes grupos: teoría de modelos (estudia las relaciones básicas fundamentales entre los enunciados de unateoría), teoría de pruebas (estudio matemático de la derivación) y teoría de la recursión que estudia la computabilidad de las derivaciones jugando un papel esencial dentro de la lógica formal.
¿Qué esla lógica matemática?
Por lógica matemática pueden entenderse tres opciones distintas:
1. Lógica matemática como lógica matematizada, es decir, que usa métodos y herramientas matemáticas.
2.Lógica matemática como la parte matemática dentro de la lógica. En este sentido, es más una lógica de las matemáticas, es decir, el estudio de las relaciones, propiedades de teorías, pruebas y conceptos...
Regístrate para leer el documento completo.