Conectiva lógica

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 la fórmula compuesta dependa delvalor 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 un algoritmo o programa.
Lasconectivas 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 de predicados.

ConectivasLas 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 lógica puede serdefinida 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 las conectivas más usuales y sudefinición mediante tablas de verdad:

Conectiva |Notación |Ejemplo
de uso |Análogo
natural |Ejemplo de uso en
el lenguaje natural |Tabla de verdad | |Negación |[pic] |[pic] |no |No estálloviendo. |[pic] | |Conjunción |[pic] |[pic] |y |Está lloviendo y es de noche. |[pic] | |Disyunción |[pic] |[pic] |o |Está lloviendo o es de noche. |[pic] | |Condicional |[pic] |[pic] |si... entonces |Siestá lloviendo, entonces es de noche. |[pic] | |Bicondicional |[pic] |[pic] |si y sólo si |Está lloviendo si y sólo si es de noche. |[pic] | |

Conjunción lógica

En matemáticas , una conjunciónlógica (comúnmente conocida como Y, ó [pic]) es un operador lógico que resulta en verdadero si los dos operadores son verdadero.

Definición

En lógica y matemáticas una conjunción es un "enunciadocon dos o más elementos simultáneos". Una lámpara eléctrica se enciende si hay corriente eléctrica, el interruptor esta conectado, el fusible esta bien y la lámpara no esta fundida, en cualquier...