Respuestas
Respuesta:
•lógica tradicional o lógica filosófica, se trata del estudio de las inferencias con contenido puramente formal y explícito. ... Estas últimas pueden ser axiomas (proposiciones evidentes por sí mismas) o teoremas (conclusiones de un conjunto fijo de reglas de inferencias y axiomas).
•La lógica simbólica es el acto de la creación de un "lenguaje" artificial que hace uso de símbolos convencionales que representan estructuras para hacer frente a los complejos argumentos lógicos. ... Variables • Son los símbolos que sustituyen las proposiciones o enunciados.
•La lógica matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. ... La lógica matemática dispone de unas herramientas superiores a la que utiliza la lógica clásica.
•La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental en varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.
EPERO AVERTE AYUDADO :)