Siendo formula_3 el conjunto de proposiciones, y formula_4 proposiciones de formula_3, se puede definir la operación binaria: conjunción, por la que a una variable formula_6 de formula_3 se le asigna el valor de la conjunción del par ordenado de la variables formula_8 de formula_9.