conectivas

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 conectivaló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 conectivasmá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 material si... entonces Si está lloviendo, entonces es de noche.
Bicondicional si y sólosi 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.[editar]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 las funciones de verdadtienen 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 binarias posibles.

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 alternativa10. Disyunción exclusiva
11. Negación lógica
12. Negación del condicional material
13. Negación lógica
14. Negación del condicional inverso
15. Negación conjunta
16. Contradicción[editar]Conectivas por el número de argumentos

Si vemos las distintas conectivas por su número de argumentos podemos distinguir:
[editar]Sin argumentos
Artículo principal: Operación nularia.
Las...