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