Siendo formula_1 el conjunto de proposiciones, y formula_2 proposiciones de formula_1, se puede definir la operación unaria: afirmación, por la que a una variable formula_4 de formula_1 se le asigna el valor de la variable formula_6 de formula_1.