conectivas de la lógica

Conectivas 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ógicapuede 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ásusuales 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 material


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.

Negación
conjunta


ni... ni
Ni está lloviendo ni es de noche.

Disyunción
excluyente


o bien... o bien
O bien estálloviendo, o bien es de noche.

Las conectivas por la tabla de verdad Dado que las conectivas son funciones de verdad, existirán tantas conectivas como funciones de verdad. Sin embargo, no todas lasfunciones de verdad tienen análogos en el lenguaje natural, y en consecuencia, no todas son estudiadas con el mismo interés. A continuación se incluye una tabla que lista las 16 conectivas binariasposibles.

Donde:
1.

Tautología
2.

Disyunción lógica
3.

Condicional material inverso
4.

Proposición
5.

Condicional material
6.

Proposición
7.

Bicondicional
8.Conjunción lógica
9.

Negación alternativa
10.

Disyunción exclusiva
11.

Negación lógica
12.

Negación del condicional material
13.

Negación lógica
14.

Negación del condicional inverso15.

Negación conjunta
16.

Contradicción

Conectivas por el número de argumentos
Si vemos las distintas conectivas por su número de argumentos podemos distinguir:
Sin argumentos
Artículo...