Logica Proporcional

LOGICA PROPORCIONAL

La lógica proposicional examina razonamientos formados por proposiciones compuestas unidas por ciertos conectivos lógicos. Estudia la validez de los razonamientos,estableciendo sus formas lógicas. Para ellos simboliza las proposiciones de acuerdo a ciertas reglas.

También llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciadosdeclarativos que tienen la propiedad de ser verdaderos o falsos; pero no ambas al mismo tiempo, En nuestro quehacer diario constantemente hacemos, deducciones. Esto significa, que cada conclusión queobtenemos se deduce de algo. Este algo o punto de partida se llama premisa. Por ejemplo si exponemos un trozo de hielo al calor, se concluye que el hielo se derrite, o cuando un campesino ve una densanube en el cielo, deduce que va a llover, o también de "todos los mamíferos son vertebrados" se puede concluir en "algunos mamíferos son vertebrados". Este proceso de pasar de un conjunto de premisasa la conclusión se llama inferencia o deducción. Cuando la conclusión se deduce correctamente del conjunto de premisas se dice que la inferencia es válida, en caso contrario la inferencia no esválida. Sabemos que la conclusión se deriva correctamente de sus premisas porque hay un conjunto de leyes lógicas que garantizan dicha corrección. Justamente la lógica estudia el modo de usar estas leyes,con las cuales podemos saber si una inferencia es válida o no. De ahí que, la lógica es una ciencia que estudia los métodos y las leyes que determinan la validez de la inferencia.
En la lógicaproposicional, las conectivas lógicas son tratados como funciones de verdad. Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad. Por ejemplo, la conectiva lógicano es una función que si toma el valor de verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si se aplica la función no a una letra que represente una proposición...