1. La lógica es la ciencia formal que estudia los principios de la demostración y la inferencia válida.
2. Lógica formal
2.1. es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales.
3. Lógica difusa
3.1. también llamada lógica borrosa se basa en lo relativo de lo observado como posición diferencial.
4. Lógica retractable
4.1. es una lógica no monotónica propuesta por Donald Nute para formalizar el razonamiento retractable. En esta lógica hay tres tipos diferentes de proposiciones:
5. Lógica matemática
5.1. consiste en el estudio matemático de la lógica, y en la aplicación de dicho estudio a otras áreas de la matemática y de las ciencias.
6. Lógica computacional
6.1. es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental en varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.
7. Lógica aristotélica
7.1. es la lógica basada en los trabajos del filósofo griego Aristóteles, quien es ampliamente reconocido como el padre fundador de la lógica
8. Lógica informal
8.1. es el estudio de los argumentos a posterior y en oposición al estudio de una forma técnica o teorica Esta parte de la lógica alternativa se dedica principalmente a diferenciar entre formas correctas e incorrectas
9. tomado de :https://es.wikipedia.org/wiki/L%C3%B3gica_aristot%C3%A9lica
