logica de proposiciones y enunciados

 Lógica de proposiciones o enunciados
La lógica de enunciados o de proposiciones es el nivel más básico de análisis lógico. Se analizan las relaciones que se dan entre los enunciados o lasproposiciones; es, pues, una lógicainterproposicional, no intraproposicional. En este nivel se simboliza de la misma manera proposiciones o enunciados de contenido tan diferente como: "ahora llueve", "algunosdías llueve" o "todos los días llueve".
¿Qué es uno enunciando o una proposición? Una oración declarativa que puede ser verdadera o falsa. Los enunciados dicen de las cosas y, consecuentemente,pueden ser verdaderos o falsos. No son enunciados las expresiones lingüísticas interrogativas, exclamativas o imperativas.

Los enunciados o proposiciones pueden ser atómicos o simples, los que no sepueden descomponer en otros; y moleculares o complejos, los que sí se pueden descomponer.



 
2. Elementos de la lógica de enunciados o proposicional
El lenguaje o vocabulario de la lógicaproposicional o de enunciados consta de tres clases de elementos o símbolos: variables,constantes y auxiliares.

2.1 Variables
Variables o variables proposicionales son los símbolos que sustituyen lasproposiciones o enunciados. Se llaman variables porque su significado va cambiando en las diferentes argumentaciones o expresiones.
Se han acordado cinco variables o letras comosímbolos: p, q, r, s, t. Si hacen falta más variables, se recorre a subíndices: 
Una variable como por ejemplo p puede simbolizar "La Tierra es un planeta" o "Todos los planetas giran entorno all Sol" o cualquier otraproposición. Por ello, siempre es preciso indicar la proposición que se simboliza con la variable. Así, p = La Tierra es un planeta. 
2.2 Constantes
Constantes o conectores proposicionales son las partículasde significado no variable que tienen la función de alterar, relacionar o conectar enunciados atómicos haciéndolos complejos. Los más frecuentes son la negación, la conjunción, la disyunción,...