Logica matematica

Lógica Matemática

Indice
Caratula………………………………………………………………………………………………1
Introducción………………………………………………………………………………………3
Cuerpo de trabajo…………………………………………………………………………….4Bibliografías……………………………………………………………………………………..7
















Introducción

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, laLógica proporciona reglas 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 constantepara realizar cualquier actividad en la vida.
















¿Qué es lógica?
La ciencia que se basa en las leyes, modalidades y formas del conocimiento científico se conoce bajo elnombre de lógica. Se trata de una ciencia de carácter formal que carece de contenido ya que hace foco en el estudio de las alternativas válidas de inferencia. Es decir, propone estudiar los métodos ylos principios adecuados para identificar al razonamiento correcto frente al que no lo es.
¿Qué es lógica matemática?
La lógica matemática estudia los sistemas formales en relación con el modo en elque codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.
¿Qué es lógica proposicional?
La lógica proposicional (o lógica de orden cero) es unlenguaje formal en el que no existen variables ni cuantificación, eso implica que cualquier secuencia de signos que constituya una fórmula bien formada de la lógica proposicional admite unavaloración en la proposición es cierta o falsa dependiendo del valor de verdad asignado a las proposiciones que la compongan. En otras palabras en la lógica proposicional cualquier fórmula bien formada defineuna función proposicional. Por tanto, cualquier sistema lógico basado en la lógica proposicional es decidible y en un número finito de pasos puede determinarse la verdad o...