Question

porque decimos q la logica simbolica es formal

Answer 1

los argumentos lógicos matemáticos, que constituyen una modelación a un lenguaje "formal", o un lenguaje simbólico, general y representativo de lo que se ha establecido en el argumento principal mediante la definición de premisas simples estableciendo relaciones entre ellas. La razón por la que se llama formal, es debido a que se establece de forma científica, de un lenguaje coloquial a uno que cualquier persona puede entender.