Es una consecuencia de esta definición de proposición en sistemas físicos clásicos, que la lógica correspondiente, considerada como un sistema algebraico bajo las operaciones de lógica, tiene la estructura de un álgebra de Boole.