e
Que es lógica
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ógicaexamina la validez de los argumentos en términos de su estructura, (estructura lógica), independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y del losestados reales a los que dicho contenido se pueda referir.
Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal».
Tradicionalmente ha sido considerada como una parte dela filosofía. Pero en su desarrollo histórico, a partir del final del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos laconsideran como Lógica matemática.
En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia. Lo que ha permitido uncampo de aplicación fundamental en la actualidad: la informática.
Hasta entonces la lógica no tuvo este sentido de estructura formal estricta. La tradición aristotélica y estoica,[2] mantuvosiempre una relación con los argumentos del lenguaje natural, concediendo por tanto a los argumentos una transmisión de contenidos verdaderos. Por ello aún siendo formales, no eran formalistas.
Que esinferencia
Se llama inferencia lógica a la aplicación de una regla de transformación que permite transformar una fórmula o expresión bien formada (EBF) de un sistema formal en otra EBF como teoremadel mismo sistema. Ambas expresiones se relacionan mediante una relación de equivalencia, es decir, que ambas tienen los mismos valores de verdad o, dicho de otra forma, la verdad de una coimplica la... [continua]

Leer Ensayo Completo

Cite este ensayo

APA

(2012, 06). Algebra. BuenasTareas.com. Recuperado 06, 2012, de http://www.buenastareas.com/ensayos/Algebra/4548717.html

MLA

"Algebra" BuenasTareas.com. 06 2012. 2012. 06 2012 <http://www.buenastareas.com/ensayos/Algebra/4548717.html>.

MLA 7

"Algebra." BuenasTareas.com. BuenasTareas.com, 06 2012. Web. 06 2012. <http://www.buenastareas.com/ensayos/Algebra/4548717.html>.

CHICAGO

"Algebra." BuenasTareas.com. 06, 2012. consultado el 06, 2012. http://www.buenastareas.com/ensayos/Algebra/4548717.html.