el conjunto de proposiciones, y
a , b , c , d , …
{\displaystyle a,b,c,d,\dots }
, se puede definir la operación unaria: afirmación, por la que a una variable
se le asigna el valor de la variable