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:
Respuestas a la pregunta
Contestado por
2
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.
Otras preguntas