Las afirmaciones "verdadero" y "falso" también son proposiciones, designaremos con: formula_1 al conjunto de proposiciones, a fin de ver que la lógica de proposiciones es un álgebra de Boole, además consideraremos: