Cálculo lógico: El complemento, o la negación

El complemento de una clase A es la clase de todos aquellos elementos que no pertenecen a esa clase. Se representa con una raya encima de la letra que designa la clase ¯.

Ã

se lee: la clase de todos los elementos que no pertenecen a la clase A, o, simplemente: complemento de A.

Se define como:

à = def. x ¬(x ε A)

La clase complemento es la de todos los x tales que x no pertenece a A.

Gráficamente

Se trata, simplemente, de la negación, que se representa con ¬ y corresponde a la partícula no. en lenguaje ordinario.

Así: «El coche no es azul»

Se representa ¬p y tiene la siguiente tabla de verdad

Lo que quiere decir que si p es verdadero ¬p es falso y si p es falso ¬p es verdadero.

Anuncios

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s