Explica por que decimos que la lógica simbólica es un lenguaje formal
Respuestas a la pregunta
Contestado por
8
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 .
Otras preguntas