Question

Explica por que decimos que la lógica simbólica es un lenguaje formal

Answer 1

la lógica formal es parte de la logica que , fecha de la lógica informal , se dedica al estudio de la inferencia mediante las construcciones de lenguajes formales , sistemas deductivos y semántica formales. La idea es que estás construcciones capturen las características esenciales de la inferencia salidas en los lenguajes naturales , pero que al ser estructuras formales y susceptibles de análisis matemáticos , permite realizar demostraciones rigurosas sobre ella .