Documente Academic
Documente Profesional
Documente Cultură
En lógica, una conectiva lógica, o simplemente conectiva, (también llamado operador lógico o conectores
lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias
(atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de
verdad de las fórmulas componentes.
Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos diádicos) que
unen dos frases, que pueden ser consideradas los operandos de la función. También es común considerar a la
negación como un conectivo monádico.
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 de predicados.
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.
Los conectivos lógicos pueden ser utilizados para conectar más de dos afirmaciones,
entonces es común hablar de "conector lógico n-ario".
Si está
Condicional si...
lloviendo, entonces la calle
material entonces
está mojada.
Está lloviendo si y solo si la
Bicondicional si y solo si
calle está mojada.
Propiedades
Algunos conectivos lógicos tienen propiedades que se pueden expresar en teoremas que
contienen el conectivo. Algunas de estas propiedades que una conectiva lógica puede tener son:
Asociatividad: En una expresión que contiene dos o más del mismo conectivo asociativo
en una línea, el orden de las operaciones, no importa, siempre y cuando la secuencia de
los operandos no cambia.
Conmutatividad: Los operandos del conectivo pueden ser intercambiados (uno por el
otro), mientras que la preservación de equivalencia lógica de la expresión original.
Distributividad: Un conectivo denotado por • distribuye sobre otra que conecta denotado
por el signo +, • si a • (b + c) = (a • b) + (a • c) para todos los operandos a, b, c.
Monotonicidad: Si f(a1,..., an) ≤ f(b1,..., bn) para todo a1,..., an, b1,..., bn ∈ {0,1} tal
Afinidad: Cada variable siempre hace una diferencia en el valor de verdad de la operación
Dualidad: Para leer las asignaciones de valores de verdad para la operación desde arriba
hacia abajo en su tabla de verdad es lo mismo que tomar el complemento de lectura de la
tabla de la misma u otra conectiva desde abajo hacia arriba. Sin recurrir a tablas de verdad
esto se puede formular como g̃(¬a1, ..., ¬an) = ¬g(a1, ..., an). E.j., .
Preservación de la verdad: El compuesto todos los argumentos son tautologías es una
She asked me, "Son, when I grow old, And when your father turns to stone,
Will you buy me a house of gold? Will you take care of me?"
And when your father turns to stone,
Will you take care of me?" I will make you queen of everything you see,
I'll put you on the map,
She asked me, "Son, when I grow old, I'll cure you of disease.
Will you buy me a house of gold?
And when your father turns to stone, Ohhhh...
Will you take care of me?" And since we know that dreams are dead,
And life turns plans up on their head,
I will make you queen of everything you see, I will plan to be a bum,
I'll put you on the map, So I just might become someone.
I'll cure you of disease.
She asked me, "Son, when I grow old,
Let's say we up and left this town, Will you buy me a house of gold?
And turned our future upside down. And when your father turns to stone,
We'll make pretend that you and me, Will you take care of me?"
Lived ever after happily.
I will make you queen of everything you see,
She asked me, "Son, when I grow old, I'll put you on the map,
Will you buy me a house of gold? I'll cure you of disease.
Letra en español de la canción de Twenty One Pilots, House of gold (letra traducida)
Ella me preguntó:
"Hijo, cuando me haga mayor,
¿me comprarás una casa de oro?
Y cuando tu padre se convierta en piedra,
¿te ocuparás de mí?"
Ella me preguntó:
"Hijo, cuando me haga mayor,
¿me comprarás una casa de oro?
Y cuando tu padre se convierta en piedra,
¿te ocuparás de mí?"
Ella me preguntó:
"Hijo, cuando me haga mayor,
¿me comprarás una casa de oro?
Y cuando tu padre se convierta en piedra,
¿te ocuparás de mí?"
Ella me preguntó:
"Hijo, cuando me haga mayor,
¿me comprarás una casa de oro?
Y cuando tu padre se convierta en piedra,
¿te ocuparás de mí?"