Logica

Lógica
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 es una ciencia formal que estudia los principios de la demostración e inferencia válida.
La lógica examina la validez de los argumentos en términos de su estructuralógica, independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir.
Esto es exactamente lo quequiere decir que la lógica es una ciencia formal.

Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a partir del final del siglo XIX, ysu formalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como Lógica matemática.
En el siglo XX la lógica ha pasado a ser principalmente lalógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia. Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.

Clasificación de la lógicaLógicas clásicas
Los sistemas lógicos clásicos son los más estudiados y utilizados de todos, y se caracterizan por incorporar ciertos principios tradicionales que otras lógicas rechazan. Algunos deestos principios son: el principio del tercero excluido, el principio de no contradicción, el principio de explosión y la monoticidad de la implicación. Entre los sistemas lógicos clásicos seencuentran:
Lógica proposicional
Lógica de primer orden
Lógica de segundo orden
Lógicas no clásicas

Los sistemas lógicos no clásicos son aquellos que rechazan uno o varios de los principios de lalógica clásica. Algunos de estos sistemas son:
Lógica difusa: Es una lógica plurivalente que rechaza el principio del tercero excluido y propone un número infinito de valores de verdad.
Lógica...