Sunteți pe pagina 1din 3

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 Otras conectivas 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 18 conectivas binarias posibles.

Donde: es una tautologa. es la disyuncin. es el condicional material inverso. es el condicional material. es el bicondicional. es la conjuncin. es la negacin alternativa, incompatibilidad, o "NAND". es la disyuncin exclusiva, contravalencia o "XOR". es la negacin del condicional material. es la negacin del condicional inverso. es la negacin conjunta, o "NOR". es una contradiccin.

Vase tambin
Clculo Clculo lgico Funcin de verdad Lgica proposicional

Puerta lgica Tabla de valores de verdad

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo


Conectiva lgica Fuente: http://es.wikipedia.org/w/index.php?oldid=50298387 Contribuyentes: Ascnder, Cegik, Damifb, Davius, Diegusjaimes, Dodo, Edmenb, Elabra sanchez, Eligna, Equiman, Francisco Mochis, GermanX, Ivan rome, JAGT, Jesuja, Julian Colina, Julian Mendez, Luis Felipe Schenone, MONIMINO, Mary dream, Matdrodes, Memiux, Niceforo, Snakeyes, Superzerocool, Xenoforme, Zufs, 43 ediciones annimas

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