LÓGICA MATEMATICA

1. Parte de la filosofía que estudia las formas y principios generales que rigen el conocimiento y el pensamiento humano, considerado puramente en sí mismo, sin referencia a los objetos.

2. TIPOS DE SISTEMAS LOGICOS

2.1. LÓGICA PREDICADO -símbolos relacionados -símbolos funcionales -símbolos constantes

2.2. LENGUAJE Y ESTRUCTURA -símbolos de variables -símbolos de constante -símbolos de funcion -símbolos de relación

2.3. LÓGICA PROPORCIONAL es un lenguaje 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 una valoración en la proposición es cierta o falsa.

3. matemática en las siguientes áreas: Filosófica y crítica Lógica general (que incluye campos como la lógica modal y la lógica borrosa) Teoría de modelos Teoría de la computabilidad Teoría de conjuntos Teoría de la demostración y matemática constructiva algebraica Modelos no estándar

4. TIPOS DE PROPOCICIONES

4.1. PROPOSICIONES SIMPLES: tambien denominadas proposiciones atómicas. Son aquellas proposiciones que no se pueden dividir.

4.2. PROPOSICIONES COMPUESTAS: tambien denominadas moleculares. Son aquellas que están formadas por dos o más proposiciones simples unidas por los operadores lógicos.