Lógica Proposicional
Es una parte de la lógica que tiene como objeto el estudio de la proposición y la relación existente entre ellas , así como la función que tienen las variables proposicionales y los conectivos lógicos.
ENUNCIADO :
Denominamos así , a toda frase u oración.
Proposición lógica :
Es aquella expresión u oración que puede calificarse a bien como verdadero ( V ) o bien como falso ( F ) y sin ambigüedad, las proposiciones lógicas se denotan con letras minúsculas, tales como: p, q, r, s,… , etc
Ejemplo :
CLASES DE PROPOSICIONES
i) Proposición Simple ó Atómica :
Es aquella proposición con un solo significado , es decir no tienen conectores lógicos y tampoco el adverbio de negación «No» , además pueden tener un solo predicativo o dos sujetos unidos por una relación lógica. pueden ser de dos clases: Simples predicativas y simples relacionales .
a) PROPOSICIÓN SIMPLe PREDICATIVA :
Es aquella que tiene un sujeto y un predicado
Ejemplo :
«La matemática es una ciencia»
b) PROPOSICIÓN SIMPLE RELACIONAL :
Es aquella que tiene dos sujetos unidos por una determinada relación.
Ejemplo :
«La tierra es más grande que la luna»
ii)Proposición compuestA o molecular :
Son aquellas que tienen dos o más significados unidos por conjunciones gramaticales o en todo caso que contienen el adverbio de negación «no».
Ejemplos :
* «Lenín estudia y práctica fútbol».
* «No es cierto que el ganso grazne»
Las proposiciones atómicas son frases declarativas donde es posible decir algo sobre su significado.
Por ejemplo, las frases:
La Tierra es redonda
2+3=5
Lenin es Peruano
La temperatura de esta mañana es baja.
Son declarativas pues informan algo y no se pueden dividir en frases más pequeñas que mantengan alguna información , Son proposiciones atómicas.
Pero la frase:
El Sol brilla y hace frío
Se puede descomponer en dos partes, separadas por la conjunción copulativa «y» .
el Sol brilla
hace frío