Lógica proposicional Como su nombre lo sugiere, la lógica proposicional es una rama de la lógica matemática que estudia las relaciones lógicas entre proposiciones (o enunciados, oraciones, afirmaciones) tomadas como un todo y conectadas a través de conectivos lógicos.