COMPLEMENTO

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

En el álgebra de clases se llama comple­mento de una clase A a la clase de todos los miembros que no pertenecen a A. El símbolo del complemento de clases es ‘-’ colocado encima de la letra que designa la clase, de modo que Ᾱ se lee ‘La clase de todas las entidades que no son miembros de la clase A’. Por ejemplo, si Ᾱ es la clase de las entidades animadas, A es la