1. Lógica
1.1. Aquella ciencia que va e búsqueda de las formas de los razonamientos, de las leyes del deducir correctamente.
1.2. Logica computacional
1.2.1. Aspira alimentar sistemas informáticos y posibilidades del pensamiento humano
1.2.2. Su estructura lógica se expresa en un lenguaje matemático
1.2.3. Creando sistemas de computo inteligentes
2. Inferencia
2.1. Proceso por el cual se derivan conclusiones a partir de premisas
2.2. Inducciones
2.2.1. Es un argumento donde la conclusión se infiere necesariamente de las premisas
2.3. Abducciones
2.3.1. Forma de razonamiento en que la verdad de las premisas apoyan la conclusión, pero no la garantizan
2.4. Deducciones
2.4.1. Forma de razonamiento en que la verdad de las premisas apoyan la conclusión, pero no la garantizan
3. Razonamiento
3.1. A la facultad humana que permite resolver problemas
4. Axioma o Postulado
4.1. Es una proposicion primitiva que se admite como cierta. E la construccion de una teoria axiomatica se ha de partir de un conjunto de axiomas, escogidos de tal forma que dcho conjunto ha de ser:
4.1.1. Compatible
4.1.1.1. Dos axiomas no pueden formular en ellos, ni producir en sus resultados derivados, relaciones contradictorias.
4.1.2. Suficiente
4.1.2.1. Toda proposición verdadera ha de ser deducible del sistema.
4.1.3. Independiente
4.1.3.1. Ningún axioma ha de poderse deducir de otros.
5. Teorema
5.1. Es una posición que ha de demostrarse cierta, mediante un razonamiento lógico a partir de los axiomas o de otros teoremas previamente justificados.
5.1.1. Teorema de Piitágoras
5.2. Teoría inductiva
5.2.1. Suelen presentarse como estructuras de datos inductivamente definidas que se construyen de acuerdo con los axiomas y reglas de inferencia.
5.3. Teoría Deductiva
5.3.1. Es una estrategia de razonamiento empleada para deducir conclusiones lógicas a partir de una serie de premisas o principios