Question

Según el estudio y clasificación de la lógica, podemos distinguir: lógica tradicional o no formal y lógica simbólica o formal; en este sentido cuando estudiamos un caso compuesto por un lenguaje artificial en donde encontramos formulas y teoremas que siguen unos principios fundamentales para llegar a la validez de una inferencia decimos que se clasifica como:

Answer 1

En este caso se trata de la

Lógica simbólica

y esto es debido a que se ocupa un código o lenguaje artificial con formulas determinadas y que gracias al seguimiento puntual de estas reglas y principios se determina la validez de determinada inferencia.