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 art?
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 :