Proposiciones lógicas

PROPOSICIÓN ALGEBRAICA
Las proposiciones son el lenguaje formal de la lógica por la cual están regidas todas las leyes de esta área de la matemática que utiliza la simbología como principal fuentede estudio. Son literarias y en ellas se establece un valor de verdad o falsedad. Se pueden considerar expresiones lingüísticas del razonamiento.
Las oraciones aseverativas, las leyes científicas,las fórmulas matemáticas y esquemas lógicos, son ejemplos claros de proposiciones.

TIPOS DE PROPOSICIONES
Existen dos tipos de proposiciones determinados por la presencia o no de conectivos enestas.
Proposición simple o atómica: Es aquella que carece totalmente de conectivas. La unión de varias proposiciones atómicas, forma una proposición compuesta.
Proposición compuesta o molecular: Esaquella proposición que resulta de la unión de proposiciones atómicas y términos de enlace.
Ejemplos:
“La casa es grande” es una proposición atómica.
“La casa no es grande” es una proposiciónmolecular.
“Hoy es lunes y hay clases” es una proposición molecular.

TÉRMINOS DE ENLACE O CONECTIVAS
Los términos de enlace o conectivas lógicas son operadores simbólicos utilizados para formarproposiciones moleculares. Estos operadores modifican el valor de las proposiciones.
Conectiva de negación: Se define con las notaciones: ¬, ~. Y con el análogo “no”. Ejemplo: ¬p.

Conectiva “y”: Se definecon las notaciones: ^, &, •. Y con el análogo “y”. Ejemplo: a^b.

Conectiva “o”: Se define con la notación: \/. Y con el análogo “o”. Ejemplo: a \/ b.

Conectiva de implicación: Se define con lanotación: →. Y con el análogo “si…entonces”.

FORMAS PROPOSICIONALES
Existen cuatro formas proposicionales principales:
Negación: La negación es una forma proposicional. Es un operador que produceun valor de verdadero cuando su operando es falso, y un valor de falso cuando su operando es verdadero.
Ejemplo: No está lloviendo.
También existe la negación conjunta, identificada con la...