PRODUCTO

El término ‘producto’ es usado en lógica principalmente en tres res­pectos.

En el álgebra de clases se dice que una clase C es el producto de las clases A y B, cuando C es la clase compuesta de todas las entidades que pertenecen a la vez a A y a B. El símbolo del producto lógico de clases es ‘∩’, de modo que 'A ∩ B’ se lee ‘El producto lógico de las clases A y B’. Ejemplo de pro­ducto lógico de clases es la clase de las zapa­tillas rojas, que es el producto lógico de la clase de las zapatillas y de la clase de las en­tidades rojas. El producto lógico de clases se define del siguiente modo: 

A ∩ B = def. x̂ ( x ∈ A ∧  x ∈  B).

En el álgebra de relaciones se dice que una relación Q es el producto lógico de dos rela­ciones, R y S, cuando Q es la relación de to­das las entidades x a todas las entidades y tal, que R