SUMA

El término ‘suma’ es usado en ló­gica principalmente en dos respectos.

En el álgebra de clases se dice que una clase C es la suma lógica de las clases A y B, cuando C es la clase compuesta de todas las entidades que pertenecen a A o a B o a ambas. El símbolo de la suma de clases es ‘⋃’, de modo que ‘A ⋃ B’ se lee: ‘La suma lógica de las clases A y B’. Ejemplo de suma de clases es la clase de los pudientes, que es la suma de la clase de los hacendados y de las hacenda­das. La suma lógica de clases se define del modo siguiente:

A ⋃ B = def. x̂ (x ∊ A ∨ x