Conectiva lgica

Conectiva lgica
En lgica, una conectiva lgica, o simplemente conectiva, es un smbolo que se utiliza para conectar dos frmulas, de modo que el valor de verdad de la frmula compuesta dependa del valor de verdad de las frmulas componentes. En programacin se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa. Las conectivas lgicas son, junto con los cuantificadores, las principales constantes lgicas de muchos sistemas lgicos, principalmente la lgica proposicional y la lgica de predicados.

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 lgica puede ser definida mediante una tabla de valores de verdad que indique qu valor devuelve la conectiva para cada combinacin de valores de verdad. A continuacin hay una tabla con las conectivas ms usuales y su definicin mediante tablas de verdad:
Conectiva Notacin Ejemplo de uso Anlogo natural no Ejemplo de uso en el lenguaje natural No est lloviendo. Tabla de verdad

Negacin

Conjuncin

Est lloviendo y es de noche.

Disyuncin

Est lloviendo o es de noche.

Condicional material

si... entonces

Si est lloviendo, entonces es de noche.

Bicondicional

si y slo si

Est lloviendo si y slo si es de noche.

Negacin conjunta

ni... ni

Ni est lloviendo ni es de noche.

Disyuncin excluyente

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

Conectiva lgica

Las conectivas por la tabla de verdad

Dado que las conectivas son funciones de verdad, existirn tantas conectivas como funciones de verdad. Sin embargo, no todas las funciones de verdad tienen anlogos en el lenguaje natural, y en consecuencia, no todas son estudiadas con el mismo inters. A continuacin se incluye una tabla que lista las 16 conectivas binarias posibles.

Donde:
1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. Tautologa Disyuncin lgica Condicional material inverso Proposicin Condicional material Proposicin Bicondicional Conjuncin lgica Negacin alternativa Disyuncin exclusiva Negacin lgica Negacin del condicional material Negacin lgica Negacin del condicional inverso Negacin conjunta Contradiccin

Conectivas por el nmero de argumentos

Si vemos las distintas conectivas por su nmero de argumentos podemos distinguir:

Sin argumentos
Las conectivas lgicas sin argumentos son:
Positiva Tautologa Negativa Contradiccin

Conectiva lgica

Con un argumento
Las conectivas con un solo qrgumento son:
Positiva Proposicin Negativa Negacin lgica

Con dos argumentos

Las conectivas que necesitan dos argumentos son:
Positiva Disyuncin lgica Conjuncin lgica Condicional material Condicional material inverso Bicondicional Negativa Negacin conjunta Negacin alternativa Negacin del condicional material Negacin del condicional inverso Disyuncin exclusiva

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Conectiva lgica Fuente: https://es.wikipedia.org/w/index.php?oldid=65483627 Contribuyentes: Ascnder, Cegik, Damifb, Danke7, Davius, Diegusjaimes, Dnu72, Dodo, Edmenb, Elabra sanchez, Equiman, Francisco Mochis, GermanX, Gusama Romero, Igna, Ivan rome, JAGT, Jesuja, Jkbw, Julian Colina, Julian Mendez, Luis Felipe Schenone, MONIMINO, Mary dream, Matdrodes, Memiux, Niceforo, Snakeyes, SuperBraulio13, Superzerocool, Xenoforme, Zufs, 53 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/