Tipos de Logica

Lógica de Enunciados
La lógica de enunciados o de proposiciones es el nivel más básico de análisis lógico. Se analizan las relaciones que se dan entre los enunciados o las proposiciones; es, pues,una lógica interproposicional, no interproposicional. En este nivel se simboliza de la misma manera proposiciones o enunciados de contenido tan diferente como: "ahora llueve", "algunos días llueve" o"todos los días llueve".
¿Qué es uno enunciando o una proposición? Una oración declarativa que puede ser verdadera o falsa. Los enunciados dicen de las cosas y, consecuentemente, pueden serverdaderos o falsos. No son enunciados las expresiones lingüísticas interrogativas, exclamativas o imperativas.

Lógica de Predicados
Con la lógica de predicados intentamos conseguir sistemas dedemostración automática de teoremas. Partimos de elementos básicos como las frases declarativas simples o proposiciones que son aquellos elementos de una frase que constituyen por sí solos una unidad decomunicación de conocimientos y pueden ser considerados Verdaderos y Falsos. La lógica de predicados estudia las frases declarativas con mayor grado de detalle, considerando la estructura interna de lasproposiciones.

Lógica de Clases 
La lógica de clases analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento o individuo a una determinada clase. Es la interpretaciónde una proposición o enunciado lingüístico bajo la formalización de la teoría de conjuntos o Diagramas de Venn.
Por clase se entiende un conjunto de individuos que tienen una propiedad común. En estecaso, por tanto, el valor de verdad viene dado por la pertenencia o no pertenencia a una clase. Todos los conjuntos son clases, pero no todas las clases son conjuntos. Un conjunto es una clase que almenos contiene una clase, pero no a sí mismo

Lógica de Relaciones
Se puede decir que, además de la relación de implicación. Las relaciones lógicas importantes son aquellas que se dan entre dos...