1
Es la rama de la lógica matemática que estudia proposiciones, afirmaciones u oraciones.
2
Es aquella que, derivando de la matemática, permiten desarrollar un lenguaje de programación.
3
Es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
4
Aplicación de los razonamientos matemáticos a la lógica formal.
5
Es aquella que, partiendo de razonamientos generales, llega a conclusiones particulares.
6
Analiza las relaciones entre símbolos. En ocasiones se sirve del lenguaje matemático complejo.
7
Es aquella que, partiendo de la observación de casos particulares, establece conclusiones generales.
8
Es una disciplina más reciente, que estudia, evalúa y analiza los argumentos desplegados en el lenguaje natural o cotidiano.
9
Es la de más reciente aparición, pues trata de formular unos argumentos que permitan explicar los fenómenos a nivel cuántico.
10
Conocida como lógica tradicional o lógica filosófica, se trata del estudio de las inferencias con contenido puramente formal y explícito
11
Estudio de las reglas del razonamiento exacto. Inferencia de conclusiones a partir de premisas.
