LOGICA

LOGICA
La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική logikē, que significa «dotado de razón,intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (lógos), «palabra, pensamiento, idea, argumento, razón o principio».
Así como el objeto de estudio tradicional de la química es la materia,y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los principios por los cualesalgunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por estarazón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.

La lógica matemática
La lógica matemática es el intento de dar una “forma universal” al pensamiento,expresándolo por un sistema unívoco de signos (estos quiere decir, un sistema en el que cada signo tenga un solo significado en un mismo contexto), con un sistema de relaciones entre esos signoscomparable al cálculo matemático, para alcanzar así todas las verdades.
La lógica matemática pretende hacer que todas las relaciones reales se vuelvan formales; pretende reducirlas a una “expresiónmatemática” que pueda ser calculada como en las matemáticas.
Por esa razón es que se le llama también “álgebra de la lógica”

PROPOSICION
Proposición: Enunciado de un juicio de valor bien definido, el cualpuede ser verdadero o falso pero no ambos a la vez. Es todo lo que una persona dice o escribe, que tenga sentido y cuyo valor sea verdadero o falso. Ejemplo: Los perros tienen cuatro patas ( v ) 5 + 3= 8 ( v ) Dos mas tres es igual a siete ( f ) El quiché es un departamento de Costa Rica ( f ) El oxigeno es necesario para la vida ( v )

Valores de verdad: Conviene señalar que la proposición...