Nada Que Ver

Conectiva lógica
De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo que se utiliza para conectar dosfórmulas, de modo que el valor de verdad de 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 valoresque determinen el flujo de control de un algoritmo o programa.
Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de muchos sistemas lógicos, principalmentela lógica proposicional y la ló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 únicovalor de verdad. En consecuencia, cada conectiva 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. Acontinuación hay una tabla con las conectivas 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 lenguajenatural | Tabla de verdad |
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 | Ni está lloviendo ni es de noche. | |
Disyunción
excluyente | | | o bien... o bien | O bien está lloviendo, o bien es de noche. | |

Mejor respuesta - Elegida por la comunidadVamos por orden. Las operaciones lógicas posibles en lógica proposicional son: negación, conjunción (o producto lógico), disyunción (o suma lógica), implicación (o condicional), doble implicación (o...