Funciones De Verdad De Las Conectivas Logicas

Funciones de verdad de las conectividades lógicas
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 verdadde la fó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 controlde un algoritmo 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 lalógica 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, 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 | notacion | Ejemplo
de uso | Análogo
natural | Ejemplo de uso en
el lenguaje natural | Tabla de verdad |
Negación || | no | No esta 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 | | | si y sólo si | Está lloviendo si y sólo si es de noche. | |
Negación
conjunta Ni está lloviendo nies de noche. | | | ni... ni | Ni está lloviendo ni es de noche. | |
Disyunción
excluyente | | | bien... o bien | O bien está lloviendo, o bien es de noche. | |
Dado que las conectivas sonfunciones 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...