Describa lo que es lógica proposicional

La lógica proposicional es la parte de la lógica que se encarga del estudio

de la formación de proposiciones complejas a partir de proposiciones

simples, y la inferencia de proposiciones a partir de proposiciones; pero sin

tener en cuenta la estructura interna de las proposiciones más simples.

Por lo tanto, una lógica proposicional es un sistema formal cuyos

elementos más simples representan proposiciones, y cuyas constantes

lógicas, llamadas conectivas, representan operaciones sobre proposiciones,

capaces de formar otras proposiciones de mayor complejidad.

Al hablar de conectivos lógicos, se puede decir que son operadores

lógicos o conectores lógicos es un símbolo o palabra que se utiliza para

conectar dos fórmulas bien formadas o sentencias atómicas o moleculares,

de modo que el valor de verdad de la fórmula compuesta depende del valor

de verdad de las fórmulas componentes. Los principales conectivos lógicos

son los siguientes:

Conectivo lógico Notación Nombre

O ˅ Disyunción

Y ˄ Conjunción

Si…entonces Implicación

Si y sólo si Equivalencia

No ~ Negación