Lógica

Dedico el presente trabajo a mis padres que me vieron nacer y que su enseñanza y sus
buenas costumbres han creado en mi sabiduría haciendo que hoy tenga el conocimiento de lo que soy.

INTRODUCCION A LA LOGICA

Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica; pero no fue hasta a mediados del siglo XIX cuando George Boole (1815-1864)inicia el estudio de lo que hoy se conoce como Lógica Matemática.
Uno de los fines de la enseñanza matemática es disciplinar la inteligencia, de ahí el valor formativo de esta ciencia ya que necesita de exactitud y precisión en sus razonamientos. La inteligencia se disciplina a través de un tipo especial de pensamiento que es el razonamiento. El objetivo de la lógica es estudiar la validez delos razonamientos.
La validez de la lógica es una relación entre las premisas y la conclusión expresada a través de una serie de símbolos matemáticos y/o auxiliares llamados enunciados. Por medio de un enunciado con sentido podemos emitir un juicio (actividad mental por medio de la cual pensamos algo) o un razonamiento (evaluación mental por medio de la cual obtenemos conclusiones).

LÓGICA
Lalógica es una ciencia formal 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 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 que quiere 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, y suformalizació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 la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia.[1] Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.
Hasta entonces la lógica notuvo este sentido de estructura formal estricta. La tradición aristotélica y estoica,[ ]mantuvo siempre 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.[]
Hoy, tras los progresos científicos relativos a la lingüística, y el concepto semántico de verdad en surelación con el lenguaje,[]tal relación se trata bajo un punto de vista completamente diferente.
La formalización estricta ha mostrado las limitaciones de la lógica tradicional interpretada actualmente como una particularidad de la lógica de clases.
Conectiva lógica
En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo que se utiliza para conectar dos fórmulas, de modo que el valorde verdad de la fórmula compuesta dependa del valor de verdad de las fórmulas componentes.
En programación se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa.
Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de muchos sistemas lógicos, principalmente la lógicaproposicional y la lógica de predicados.
Conectivas
Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o dos valores de verdad, y devuelven un único valor de verdad. En consecuencia, cada conectiva lógica puede ser definida mediante una tabla de valores de verdad que indique qué valor devuelve la conectiva para cada combinación de valores de verdad. A continuación hay...