conectividad logica
En programación se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa.
Las conectivasló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 de predicados.
Conectivas [editar]
Lasconectivas 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ógica puede ser definidamediante 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ás usuales y su definiciónmediante 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
yEstá 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 siEstá 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 denoche.
Las conectivas por la tabla de verdad [editar]
Dado que las conectivas son funciones de verdad, existirán tantas conectivas como funciones de verdad. Sin embargo, no todas las funciones deverdad 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 binarias posibles....
Regístrate para leer el documento completo.