Sunteți pe pagina 1din 7

CONJUNTOS CONECTIVOS LOGICOS

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".

Ejemplo Análogo Ejemplo de uso en Tabla de


Conectiva Notación
de uso natural el lenguaje natural verdad

Negación no No está lloviendo.

Está lloviendo y la calle está


Conjunción y
mojada.

Está lloviendo o la calle está


Disyunción o
mojada.

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.

Negación Ni está lloviendo ni la calle


ni... ni
conjunta está mojada.

Disyunción o bien... o O bien está lloviendo, o


excluyente bien bien la 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.

 Idempotencia: Cuando los operandos de una operación son iguales, el compuesto es


lógicamente equivalente al operando.

 Absorción: Un par de conectivos , satisface la ley de absorción si para


todos los operandos a, b.

 Monotonicidad: Si f(a1,..., an) ≤ f(b1,..., bn) para todo a1,..., an, b1,..., bn ∈ {0,1} tal

que a1 ≤ b1, a2 ≤ b2,..., an ≤ bn. Ej., , , , .

 Afinidad: Cada variable siempre hace una diferencia en el valor de verdad de la operación

o nunca hace una diferencia. Ej., , , , , .

 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

tautología en sí. E.j., , , , , , ⊂. (ver validez)

 Falsedad de preservación: El compuesto de todos los argumentos son contradicciones es

una contradicción en sí. Por ejemplo, , , , , ⊄, ⊅. (ver validez)

 Involutividad (para conectivos unarios): f(f(a)) = a. Por ejemplo negación en la lógica


clásica.

En la lógica clásica, tanto la conjunción y la disyunción son asociativas, conmutativas e


idempotentes, en la mayoría de las variedades de lógica multi-valuada y la lógica intuicionista. Lo
mismo es cierto sobre distributiva de la conjunción y la disyunción sobre más de conjunción, así
como para la ley de absorción.

En lógica clásica y algunas variedades de lógica multi-valuada, la conjunción y la disyunción son


duales, y la negación es auto-dual, en la lógica intuicionista, esta última también es auto-dual.
Twenty One Pilots Lyrics
"House Of Gold"

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í?"

Te haré reina de todo lo que ves,


te pondré en el mapa,
te curaré de la enfermedad.

Y si nos levantamos y dejamos este pueblo,


y volvemos nuestro futuro del revés,
fingiremos que tú y yo,
vivimos felices después de todo.

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í?"

Te haré reina de todo lo que ves,


te pondré en el mapa,
te curaré de la enfermedad.

Y desde que sabemos que los sueños están muertos,


y la vida vuelve los planes en nuestra contra,
planearé ser un vagabundo,
así quizás consiga llegar a ser alguien.

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í?"

Te haré reina de todo lo que ves,


te pondré en el mapa,
te curaré de la enfermedad.

Twenty One Pilots - La casa de oro

S-ar putea să vă placă și