Logica Matematica.

LOGICA MATEMATICA.
Es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. Elrazonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las ciencias física y naturales, para sacarconclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lógico para realizarcualquier actividad.La lógica pretende ser una ciencia rigurosa y universal que permita realizar cálculos exactos. Para ello, la lógica requiere el diseño de un lenguaje artificial que sea formal, donde loque importe sea la forma o aspecto externo, y no el significado de las frases y donde sólo los mensajes que cumplan rigurosamente las normas sintácticas sean aceptados como correctos.
La lógica seocupa básicamente de declaraciones o enunciados que se caracterizan porque sus afirmaciones tienen un valor de verdad. Esto es, la lógica trata a las proposiciones que se pueden definir como enunciadossimples, ya sean falsos o verdaderos, son proposiciones. La lógica formal es una ciencia que estudia el conocimiento que genera un conocimiento y este conocimiento puede producirse de dos formas, porconstatación, de hechos o ideas o por deducción, a partir de un conocimiento se obtiene otro conocimiento. Esto es, la lógica formal estudia la deducción o razonamiento como proceso mental capaz degenerar nuevos elementos de conocimiento a partir de otros.
Finalmente, la lógica formal es una ciencia. Una ciencia formal. Es el estudio del razonamiento formalmente válido, es la ciencia de lainferencia deductiva. La principal aportación que la lógica hace a las ciencias está en la ordenación, estructuración y análisis de las verdades conocidas.
LOGICA PROPOSICIONAL:
El lenguaje formal de la...