CONECTORES LÓGICOS Y TABLA DE VERDAD.

Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o dos valores de verdad, y devuelven un único valor de verdad. En consecuencia, cada conectiva lógica puede ser definida mediante una tabla de valores de verdad que indique qué valor devuelve la conectiva para cada combinación de valores de verdad. A continuación hay una tabla con las conectivas más usuales y su definición mediante tablas de verdad:

Conectiva	Notación	Ejemplo de uso	Análogo natural	Ejemplo de uso en el lenguaje natural	Tabla de verdad
Negación			no	No está lloviendo.
Conjunción			y	Está lloviendo y es de noche.
Disyunción			o	Está lloviendo o es de noche.
Condicional			si... entonces	Si está lloviendo, entonces es de noche.
Bicondicional			si y sólo si	Está lloviendo si y sólo si es de noche.