Afirmación lógica

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