Question

explica porque decimos que la logica simbolica es formal , ayuda porfa

Answer 1

Básicamente podemos dividir la lógica en lógica formal y lógica informal. 

La lógica formal realiza sus estudios en la inferencia, esto mediante a la construcción de lenguajes formales, sistemas deductivos y semánticas formales. Dentro de ésta entran la lógica de predicados, lógica de enunciados, lógica de relaciones, y lógica de clases. 

La lógica informal estudia argumentos naturales, diferencia entre formas correctas e incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano.

La lógica matemática antes se conocía como lógica simbólica, es una subdisciplina de la lógica formal, por ello es que decimos que la lógica simbólica es formal. 

Answer 2

Por que no tiene contenido, si no que simplemente estudia las formas válidas de inferencia.