Suma lògica

O unió de classes. Operació fonamental en àlgebra de classes, per la qual, donades dues classes α i β, la classe unió de α i β, o summa de α i β, és la classe formada pels elements que pertanyen a α, a β i α i β, i que s'interpreta [math]\displaystyle{ \alpha \cup \beta }[/math] = df [math]\displaystyle{ [\hat{x} }[/math][math]\displaystyle{ / x \in{\alpha } }[/math][math]\displaystyle{ \vee x \in{ \beta}] }[/math]

veg. exemple ↓

La frase «Tant els estudiants com els empleats tenen l'obligació de ser puntuals» enuncia la classe unió d'«els quals tenen obligació de ser puntuals», que és el conjunt d'estudiants (α), el conjunt d'empleats (β) i el conjunt format pels quals són estudiants i empleats alhora. La classe unió dels quals saben anglès està formada per tots els individus que ho llegeixen, els que ho parlen i els que ho llegeixen i ho parlen.

Amb diagrames, la unió de classes o summa lògica s'expressa així:

Veg. addició lògica