Tipos de lógica. Determine a qué corriente corresponde teniendo en cuenta cada definición:

Inferencia:
Todos los hombres son mortales. Sócrates es un hombre. Por lo tanto, Sócrates es mortal.

Implicación:
Si todos los hombres son mortales y Sócrates es un hombre, entonces Sócrates es mortal.

A) La lógica difusa, es un conjunto de principios matemáticos basados en grados de membresía o pertenencia, cuya función es modelar información.

B) La Lógica Clásica, centra su atención en la forma lógica que adoptan los pensamientos para construir lenguajes formales con claridad y precisión.

C) La lógica matemática como subsistema de la lógica y las matemáticas, es el estudio matemático de la lógica aplicada a otras áreas de las matemáticas.

D) La lógica tradicional, considera a la verdad configurada como algo libre de contradicciones y nuevas determinaciones que enriquecen el conocimiento.