Matematica Discreta, Conectivas Logicas
1
Conectiva lógica
En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo que se utiliza para conectar dos fórmulas,
de modo que el valor de verdad de lafórmula compuesta dependa del valor de verdad de las fórmulas componentes.
En programación se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de
control de unalgoritmo o programa.
Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de muchos sistemas
lógicos, principalmente la lógica proposicional y la lógica depredicados.
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, cadaconectiva 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 lasconectivas 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
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
Disyunción
excluyente
Ni está lloviendo ni es de noche.
o bien... o bien O bienestá lloviendo, o bien es de noche.
Tabla de verdad
Conectiva lógica
Otras conectivas
Dado que las conectivas son funciones de verdad, existirán tantas conectivas como funciones de verdad.Sin
embargo, no todas las funciones 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...
Regístrate para leer el documento completo.