Siendo formula_6 el conjunto de proposiciones, y formula_7 proposiciones de formula_6, se puede definir la operación nularia: contradicción, por la que sin argumentos o independientemente de los argumentos, a una variable formula_9 de formula_6 se le asigna el valor falso.