Resumen de Logica Lund

Capítulo 6. La lógica proposicional o simbólica.
La lógica forma parte de la filosofía, de la que a lo largo de la historia se han enunciado múltiples definiciones, aquí expongo las más importantes:
“Toda filosofía debe partir de las dudosa y a menudo perniciosas concepciones del sentido común acrítico. su objetivo es el sentido común crítico e ilustrado: una concepción más próxima de laverdad, y con una influencia menos perniciosa sobre la vida humana.”(KARL RAIMUND POPPER, Cómo veo la filosofía)
“La fuerza material sólo puede combatirse con la fuerza material, pero la filosofía puede convertirse en fuerza material en el momento en que se difunde entre las masas.” (KARL MARX, Ideología alemana)
“La característica esencial de la filosofía, que hace de ella un estudio distinto de laciencia es la crítica. examina críticamente los principios empleados en la ciencia y en la vida diaria, inquiere las incongruencias que pueden hallarse en estos principios, y sólo los acepta si, como resultado de la investigación crítica, no aparece razón alguna para rechazarlos.” (BERTRAND RUSSELL, Los problemas de la filosofía)
De hecho, la filosofía implica precisamente este esfuerzopermanente por mantener un mano a mano con preguntas que no permiten una solución sencilla y que exigen un replanteamiento y reformulación continuos. La filosofía se preocupa por clarificar significados, descubrir supuestos y preposiciones, analizar conceptos, considerar la validez de procesos de razonamiento, e investigar las implicaciones de las ideas y las consecuencias que tiene para la vida humanael sostener unas ideas en lugar de otras.” (MATTHEW LIPMAN, La filosofía en el aula)
En la filosofía se distinguen dos dimensiones, la dimensión teórica y la práctica, la lógica pertenece a la dimensión práctica, que se ocupa del conocimiento de la realidad.
La lógica es la ciencia que estudia los principios y métodos para distinguir un razonamiento correcto de otro incorrecto.
La lógicainvestiga la relación de consecuencia que se da entre una serie de premisas y la conclusión de un argumento correcto. Se dice que un argumento es correcto(válido) si su conclusión se sigue o es consecuencia de sus premisas; de otra forma es incorrecto.

Ya claro el concepto de lógica, voy a proceder a la definición de varias palabras que no serán de gran utilidad en el proceso de lectura ycomprensión de este trabajo.

-Argumento: es un razonamiento que quiere probar una proposición o afirmación.

Debe estar fundamentado, pero sólo será correcto cuando esa fundamentación sea adecuada.
-Premisa: es una proposición que se dice con anticipación a algo.
-Inducción: es una forma de razonamiento en la que, a partir de unas observaciones o experiencias determinadas, sacar una conclusiónfinal.
-Deducción: es una forma de razonamiento en la que, partiendo de unas premisas y utilizando reglas de derivación (reglas de inferencia) se llega a sacar una conclusión final.
-Derivación: es separar cosas de un todo, dividirlo.
-Reglas de inferencia: son reglas ya determinadas, por medio de ellas podemos hacer una deducción correcta.
La asociación de proposiciones produce otrasproposiciones conocidas como compuestas.
La construcción de formulas compuestas requiere del uso de elementos que permitan establecer una relación entre las proposiciones que la conforman; estos elementos se les conoce como CONECTIVAS LOGICAS.
En la proposición "El agua es fría y el calentador esta descompuesto" se tiene dos proposiciones, unidos por la partícula "y" la cual se dice que es una conectivalógica.
Las conectivas lógicas usadas en la lógica proposicional son cinco y son representadas simbólicamente de varias formas, como se muestra a continuación:
CONECTIVA SIMBOLOS ASOCIADOS
Negación (No) 7, ~, -
Conjunción (Y) ^,&,*
Disyunción (O) v, , +
Condicional(Si…entonces)
Bicondicional(Si y solo si)


Como es posible determinar si una proposición es cierta o falsa al...