La lógica de proposiciones es el antecedente histórico del Álgebra de Boole y está basada en la lógica clásica o tradicional de Aristóteles, por lo que constituye un punto muy importante en el desarrollo del equipo tecnológico con el que se cuenta ahora.[8]

Se puede aplicar como herrmienta en la programación, cuando se deben tomar decisiones lógicas en ciertos puntos del programa.