Siendo formula_4 el conjunto de proposiciones, y formula_5 proposiciones de formula_4, se puede definir la operación nularia: tautología, por la que sin argumentos o independientemente de los argumentos, a una variable formula_7 de formula_4 se le asigna el valor verdadero.