logica Prosicional

Lógica Proposicional.
Definición
.

Una preposicio es una oración con valor referencial o informativo.
La proposición es la expresión lingüística del razonamiento, que se caracteriza por ser verdadera o falsa empíricamente, sin ambigüedades. Son proposiciones las oraciones aseverativas, las leyes científicas, las fórmulas matemáticas, las fórmulas y/o esquemas lógicos, los enunciadoscerrados o claramente definidos. No son proposiciones las opiniones y suposiciones; los proverbios, modismos y refranes; los enunciados abiertos no definidos; las oraciones interrogativas, exclamativas, imperativas, desiderativas y dubitativas; las interjecciones en general; ni las operaciones aritméticas. El valor de verdad de una proposición depende no solamente de las relaciones entre las palabrasdel lenguaje y los objetos en el mundo, sino también del estado del mundo y del conocimiento acerca de ese estado. El valor de verdad de la oración

Los lenguajes naturales, es decir, las distintas lenguas que habitualmente utilizan los miembros de distintas comunidades humanas para comunicarse, poseen, como todo lenguaje, un conjunto de símbolos (léxico) y una serie de reglas para manejarlos(sintaxis) y operar con ellos (formación, concatenación y transformación de oraciones). Todos los lenguajes naturales son el producto de muchos siglos de evolución y son tan infinitamente ricos en matices que los mismos símbolos o expresiones pueden significar cosas diferentes en función factores tales como el contexto, la entonación, la situación, etc.
LAS PROPOSICIONES Y LA LÓGICA PROPOSICIONALTodos los lenguajes están construidos a partir de combinaciones de signos que reciben el nombre de expresiones. Pero no cualquier combinación es válida, sino que dicha combinación debe realizarse de acuerdo con una serie de reglas gramaticales (morfológicas, sintácticas, etc.). Cuando una expresión del lenguaje natural es gramaticalmente correcta y tiene un sentido completo recibe el nombre deoración. Aquí nos interesan las oraciones enunciativas, también llamadas enunciados o proposiciones, que son aquellas oraciones que afirman o niegan algo y que, por tanto, pueden ser verdaderas o falsas. La Lógica proposicional (denominada también Lógica de enunciados) se ocupa de las proposiciones.
Tanto lógica como gramaticalmente, las oraciones pueden ser sometidas a análisis. Tomemos, porejemplo, la proposición «Las moscas son insectos». Gramaticalmente podemos analizar esta oración comenzando por distinguir un sujeto y un predicado. Pero en la Lógica proposicional las proposiciones no se analizan, sino que se toman como un todo, en bloque. Las proposiciones son los elementos últimos sobre los cuales opera esta rama de la Lógica.
Las proposiciones «Las moscas son insectos» y «LaTierra es un planeta» son proposiciones simples. En cambio, «Las moscas son insectos y la Tierra es un planeta» y «Si las moscas son insectos, entonces la Tierra es un planeta» son proposiciones complejas.
Una proposición simple es aquella que no puede descomponerse en partes que, a su vez, sean proposiciones. Las proposiciones simples se denominan también atómicas.
Una proposición compleja–también denominada molecular– es aquella que puede descomponerse en proposiciones simples. Las proposiciones complejas se componen, pues, a partir de proposiciones simples por medio de partículas como «y», «si… entonces…», etc., que sirven para conectar o unir proposiciones entre sí.
EL RAZONAMIENTO. VERDAD Y VALIDEZ
Un razonamiento es una serie de enunciados en la cual, a partir de unos enunciadosinicial (premisas) y siguiendo unas reglas determinadas, se infiere una conclusión. Se dice que el razonamiento es válido si la conclusión se deduce necesariamente de las premisas. En ese caso, si las premisas son verdaderas, entonces la conclusión también será necesariamente verdadera. Un razonamiento, por tanto, es o no válido en virtud de su forma o estructura, no en virtud de la verdad o...