Conectivas lógicas

Consideremos las propiedades de una ‘función veritativa’ binaria (sobre valores veritativos) ‘E’ tal que:

(i) Pata todo a : V(Eaa) = Verdadero (o sea: la valuación de Eaa es siempre verdadera)

(i) Para todo a y para todo b : V(Eab) = V(Eba) (o sea, la función E es simétrica)


¿Existen conectivas lógicas que cumplan con estas propiedades?