La lógica proposicional forma parte de la lógica clásica, y permite estudiar las implicaciones de las variables proposicionales, así como los valores de verdad de las proposiciones. Estos valores se construyen a partir de conectores lógicos, y son aplicables tanto en matemáticas como en otras ramas de conocimiento.