Casos

Algunas aplicaciones

* Lógica Proposicional: la usa para proporcionar reglas y técnicas para quepoder saber si un argumento es válido o no. Además en matemáticas se lo aplicar para la resolución de teoremas; en ciencias de la computación se lo puede aplicar si para saber si son o no correctos losalgoritmos de un programa programas; en las ciencias físicas y naturales se los usa para sacar conclusiones de experimentos; y en las ciencias sociales y el diario vivir se lo usa para resolvermultitud de problemas.(Extraído de Lógica Matemática de la Wikipedia)

* Lógica Difusa: se utiliza cuando la complejidad del proceso en cuestión es muy alta y no existen modelos matemáticos precisos,para procesos altamente no lineales y cuando se envuelven definiciones y conocimiento no estrictamente definido (impreciso o subjetivo).
En cambio, no es una buena idea usarla cuando algún modelomatemático ya soluciona eficientemente el problema, cuando los problemas son lineales o cuando no tienen solución

* Lógica deóntica: un tipo de lógica modal usada para analizar formalmente lasnormas o las proposiciones que tratan acerca de las normas.

* Lógica formal: es conocida también como lógica clásica o aristotélica, Se imputa al filósofo ARISTOTELES ser el creador de la misma,aunque ya existían antecedentes en PARMENIDES y ZELEO. Así mismo con el paso del tiempo, con la evolución de algunas corrientes matemáticas, específicamente las aportaciones realizadas por losmatemáticos EULER y BOOLE, al álgebra, se da inicio


* Lógica moderna: se desprende la semiótica, lógica deóntica, modal, cuantificaciones y proposicional.

* Lógico deóntico: se formaliza a travésde conceptos relacionados con el deber. Este tipo de lógica se utiliza en el Derecho, infiriéndose del mismo, la denominada lógica de las normas.
* Lógica modal: lo hace en los conceptos de...