Juan el mago

TEMA NUMERO 1 “LOGICA”
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική(logike), que significa “dotado de razón, intelectual, dialéctico, argumentativo”, que a su vez viene de λόγος (logos), “palabra, pensamiento, idea, argumento, razón o principio”. La lógica examina lavalidez de los argumentos en términos de su estructura, independientemente del contenido específico de los estados reales a los que aquéllos se puedan referir. En este sentido se habla de la lógica comociencia «formal». La lógica es una disciplina de la filosofía, las matemáticas y la informática.
Desde el siglo XX que la lógica ha pasado a ser principalmente la lógica simbólica. Esto se basa en unlenguaje formal y para uso estrictamente definidas reglas de inferencia. Un ejemplo sencillo de un sistema formal es la lógica proposicional. La lógica simbólica es también conocida como la lógicamatemática o lógica formal en el sentido estricto. La lógica no siempre este sentido de la estructura formal, pero se centró en el mundo antiguo y en la Edad Media , principalmente con los argumentos dellenguaje natural.
TEMA NUMERO 2 “LOGICA MATEMATICA”
La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de esteestudio a otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con la ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formalesen relación con el modo en el que codifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.
La lógica matemática suele dividirse en cuatro subcampos:teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de...