Conectiva lógica

De Wikipedia, la enciclopedia libre
(Redirigido desde «Conectores lógicos»)
Saltar a: navegación, búsqueda

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

Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos diádicos)que unen dos frases que pueden considerarse como operandos de la función. También comúnmente, la negación es considerada como una conectiva unitaria. Las conectivas lógicas junto con los cuantificadores , son los dos tipos principales de constantes lógicas usadas en sistemas formales, tales como la lógica proposicional, y la lógica de predicados. La semántica de una conectiva lógica es a menudo pero no siempre como una función verdadera. Una conectiva lógica es similar pero no igual a un operador condicional. Lenguaje coloquial: En la gramática del lenguaje coloquial dos frases podrán ser unidas por una conjunción gramatical, para formar una frase gramaticalmente compuesta. Algunos pero no todas estas funciones gramaticales son funciones verdaderas.Algunas palabras o pares de palabras expresan conectivas lógicas y parte de ella son sinónimo , son : “y” , conjunción . “y entonces” conjunción con secuencia “o”disyunción “o...o...”disyunción exclusiva “implica” implicación “si … entonces...” implicación “si y sólo sí” equivalencia “solo sí” implicación “solo en el caso” bicondicional “pero” conjunción “sea como sea” conjunción “ni … ni” negación de las articulaciones

La palabra no, de negación y las frases no es verdad que y no es el caso de que , ambas de negación,expresan también una conectiva lógica,incluso cuando se aplican a un único estado, y no conectan dos estados.

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.

Lenguajes[editar]

Lenguaje natural o coloquial[editar]

En la gramática de los lenguajes naturales, dos frases pueden unirse mediante una conjunción gramatical para formar una oración gramaticalmente compuesta. Algunas de estas conjunciones gramaticales, pero no todas, son funciones de verdad. Por ejemplo, considere las siguientes frases:

A: Juan subió la montaña.
B: Pedro subió a la montaña.
C: Juan subió a la montaña y Pedro se subió a la montaña.
D: Juan subió la montaña, por lo tanto Pedro subió la montaña.

Algunos pero no todas estas funciones gramaticales son funciones verdaderas.Algunas palabras o pares de palabras expresan conectivas lógicas y parte de ella son sinónimo , son :
"Y" -> conjunción.
"Y entonces"->conjunción con secuencia.
"o"->disyunción.
"o...o"->disyunción exclusiva.
"implica"-> implicación.
"sí y sólo sí"->equivalencia.
"sólo en el caso"->bicondicional.
"pero"->conjunción.
"sea como sea"->conjunción.
"ni...ni"->negación de las articulaciones.
La palabra no, de negación y las frases no es verdad que y no es el caso de que , ambas de negación,expresan también una conectiva lógica,incluso cuando se aplican a un único estado, y no conectan dos estados.

Lenguajes formales[editar]

En lenguajes formales las funciones verdaderas se representan por símbolos inambiguos, estos símbolos se llaman conectivas lógicas,operadores lógicos,operadores proposicionales , o en la lógica clásica de “función verdadera” . Vistas las fórmulas bien formadas de las reglas que permiten nuevas formulas bien formadas para ser construidas uniendo otras fórmulas bien formadas utilizando conectivas lógicas que pueden ser utilizadas para unir más de dos estados por lo que pueden hablar de conectivas lógicas n-aria (binaria,ternaria...).

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

Conectiva Notación Ejemplo
de uso
Análogo
natural
Ejemplo de uso en
el lenguaje natural
Tabla de verdad
Negación no No está lloviendo.
Conjunción y Está lloviendo y la calle está mojada.
Disyunción o Está lloviendo o la calle está mojada.
Condicional material si... entonces Si está lloviendo, entonces la calle está mojada.
Bicondicional si y solo si Está lloviendo si y solo si la calle está mojada.
Negación
conjunta
ni... ni Ni está lloviendo ni la calle está mojada.
Disyunción
excluyente
o bien... o bien O bien está lloviendo, o bien la calle está mojada.

Lista de conectivos lógicos comunes[editar]

Nombre / Símbolo Valor de verdad Diagrama
desmall
P = 0 1
Verdad/Tautología   1 1 Venn11.svg
Proposición P   0 1 Venn01.svg
Falso/Contradicción   0 0 Venn00.svg
Negación ¬   1 0 Venn10.svg
Conectivos binarios Q = 0 1 0 1
Conjunción 0 0 0 1 Venn0001.svg
Conjunción Opuesta 1 1 1 0 Venn1110.svg
Disyunción 0 1 1 1 Venn0111.svg
Disyunción Opuesta 1 0 0 0 Venn1000.svg
Condicional material 1 1 0 1 Venn1011.svg
O exclusivo 0 1 1 0 Venn0110.svg
Bicondicional 1 0 0 1 Venn1001.svg
Implicación Opuesta 1 0 1 1 Venn1101.svg
Proposición P 0 0 1 1 Venn0101.svg
Proposición Q 0 1 0 1 Venn0011.svg
Más información

Lista de conectivos lógicos comunes[editar]

Conectivos lógicos comúnmente usados:

Nombres alternativos para bicondicional son "sii", "xnor" y "bi-implicación."

Por ejemplo, el significado de los estados está lloviendo y estoy en el interior se transforma cuando los dos se combinan con conectivos lógicos:

  • No está lloviendo
  • Está lloviendo y estoy dentro de casa (P ∧ Q)
  • Está lloviendo o estoy dentro de casa (P ∨ Q)
  • Si está lloviendo, entonces estoy en casa. (P → Q)
  • Si estoy en casa, entonces está lloviendo. (P → Q)
  • Estoy dentro si y solo si está lloviendo (P ↔ Q)
  • No está lloviendo (¬ P)

Por declaración P = Q = Está lloviendo Estoy dentro de casa.

También es común considerar la fórmula siempre verdadera y la fórmula siempre falsa como conectivos

Historia de las notaciones[editar]

  • Negación: el símbolo ¬ apareció en Heyting en 1929.[1] [2] (comparar con en símbolo Begriffsschrift connective1.svg de Frege en Begriffsschrift); el símbolo ~ apareció en Russell en 1908;[3] una notación alternativa es añadir una línea horizontal encima de la fórmula, como en ; otra notación alternativa es utilizar una comilla simple como en P'.
  • Conjunción: el símbolo ∧ apareció en Heyting en 1929[1] (comparar el uso de la notación de Peano de notación de intersección ∩ en teoría de conjuntos)[4] ); & apareció al menos en Schönfinkel en 1924;[5] vino la interpretación de Boole de la lógica como un álgebra elemental.
  • Disyunción: el símbolo ∨ apareció en Russell en 1908 (comparar el uso de Peano de la notación de unión ∪ en teoría de conjuntos); El símbolo + es también utilizado a pesar de que la ambigüedad proviene del hecho de que el + de la álgebra elemental es un exclusivo o cuando es interpretado lógicamente en un anillo de dos elementos ; puntualmente en la historia un + junto a un punto en la esquina inferior derecha ha sido utilizado porPeirce,[6]
  • Implicación: el símbolo → se puede ver en Hilbert en 1917;[7] ⊃ fue utilizado por Russell en 1908[3] (comparar con la notación de la C invertida de Peano); se utilizó en Vax.[8]
  • Bicondicional: el símbolo fue utilizado ≡ al menos por Russell en 1908;[3] se utilizó ↔ al menos por Tarski in 1940;[9] ⇔ fue utilizado en Vax; otros símbolos aparecieron puntualmente en la historia como ⊃ ⊂ en Gentzen,[10] ~ en Schönfinkel[5] o ⊂ ⊃ en Chazal.[11]
  • Verdadero: el símbolo 1 vino de la interpretación de Boole de la lógica como un álgebra elemental de booleana como la álbegra dos elementos; otras anotaciones incluyendo fueron encontrados en Peano.
  • Falso: el símbolo 0 también proviene de la interpretación de Boole de la lógica como un anillo [?]; otras anotaciones inclusive fueron encontradas en Peano.

Algunos autores utilizan letras para conectivos en algún momento de la historia: u. para conjunción (del Alemán "und", significa "y") y el. para la disyunción (del Alemán "oder", significa "o") en los primeros trabajos de Hilbert (1904); N para la negación, K para la conjunción, A para la disyunción, C para bicondicional en Łukasiewicz (1929).[12]

Redundancia[editar]

El conectivo lógico de la implicación recíproca ← es en realidad el mismo que el condicional material con las premisas cambiadas, luego el símbolo de implicación es recripoca es redundante. En algunos cálculos lógicos (en particular, en la lógica clásica, ciertas afirmaciones compuestas esencialmente diferentes son lógicamente equivalentes. Un ejemplo menos trivial es una redundancia de la equivalencia clásica entre ¬ P ∨ Q → P y Q. Por lo tanto, un sistema lógico de base clásica no necesita del operador condicional "→" si "¬" (no) y "∨" (o) operador condicional que ya se utilizan, o se puede utilizar el "→" solo con un azúcar sintáctico para una composición que tiene una negación y una disyunción.

Hay 16 funciones booleanas que asocian los valores verdad de entrada de P y Q con salidas binarias 4 dígitos. Estos corresponden a las posibles opciones conectivos lógicos binarios para la lógica clásica. Una implementación diferente de la lógica clásica puede elegir diferentes subconjuntos de funcionalmente completos de conectivos.

Un método consiste en elegir un mínimo establecido y fijado por cualquier otra manera lógicas como en el ejemplo con el condicional material anteriormente. Los siguientes son conjuntos mínimos funcionalmente completos de conectivos de los operadores en la lógica clásica, cuyo aridades no excedan 2:

Un elemento
{↑}, {↓}.
Dos elementos
{, ¬}, {, ¬}, {→, ¬}, {←, ¬}, {→, }, {←, }, {→, }, {←, }, {→, }, {→, }, {←, }, {←, }, {, ¬}, {, ¬}, {}, {}, {}, {}.
Tres elementos
{, , }, {, , }, {, , }, {, , }, {, , }, {, , }.

Vea más detalles sobre integridad funcional.

Otro enfoque es utilizar en igualdad de derechos, de un cierto conjunto conveniente y funcionalmente completo, pero no mínimo. Este enfoque requiere más axiomas proposicionales y cada equivalencia entre las formas lógicas debe ser o bien un axioma o comprobada como un teorema.

Pero la lógica intuicionista tiene una situación más complicada. De sus cinco conectivos {∧, ∨, →, ¬, ⊥} solamente la negación ¬ tiene que ser reducida a otros conectivos (¬p ≡ (p → ⊥)). Ni la conjunción, disyunción y condicional material tiene una forma equivalente construida de los otros cuatro conectivos lógicos.

Propiedades[editar]

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) = (ab) + (ac) 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 a1b1, a2b2,..., anbn. 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 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 y 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.

Ciencias de la computación[editar]

El planteamiento funcional a la verdad a los operadores lógicos se implementa como puertas lógicas en circuitos digitales. Prácticamente todos los circuitos digitales (la principal excepción es DRAM) se construye a partir de NAND, NOR, NOT y puertas de transmisión; ver más detalles en función de verdad en informática. Los operadores lógicos más de vectores de bits (correspondientes a finita álgebra de boole) son operaciones bit a bit.

Pero no todo uso de un conector lógico en programación informática tiene una semántica de Boole. Por ejemplo, a veces se implementa evaluación perezosa para P ∧ Q y P ∨ Q, de modo que estos conectores no son conmutativo si algunas de las expresiones P, Q tiene efecto secundario. También, un condicional, que en cierto sentido corresponde al conectivo condicional material, es esencialmente no-booleano porque para si (P) entonces Q; la consiguiente Q no se ejecuta si el antecedente P es falso (aunque un compuesto como un todo es exitosa ≈ "verdadera" en tal caso). Esto se acerca más a las ópticas intuicionistas y constructivistas sobre el condicional material, más que a las de la lógica clásica.

Conectivas por el número de argumentos[editar]

Si vemos las distintas conectivas por su número de argumentos podemos distinguir:

Sin argumentos[editar]

Las conectivas lógicas sin argumentos son:

Positiva Negativa
Tautología Contradicción

Con un argumento[editar]

Las conectivas con solo un argumento son:

Positiva Negativa
Proposición Negación lógica

Con dos argumentos[editar]

Las conectivas que necesitan dos argumentos son:

Positiva Negativa
Disyunción lógica Disyunción opuesta
Conjunción lógica Conjunción Opuesta
Condicional material Adjunción lógica
Implicación Opuesta Adjunción Opuesta
Bicondicional Disyunción exclusiva

Véase también[editar]

Referencias[editar]

  1. a b Heyting (1929) Die formalen Regeln der intuitionistischen Logik.
  2. Denis Roegel (2002), Petit panorama des notations logiques du 20e siècle (véase chart en página 2).
  3. a b c Russell (1908) Mathematical logic as based on the theory of types (American Journal of Mathematics 30, p222–262, también en From Frege to Gödel edited by van Heijenoort).
  4. Peano (1889) Arithmetices principia, nova methodo exposita.
  5. a b Schönfinkel (1924) Über die Bausteine der mathematischen Logik, translated as On the building blocks of mathematical logic in From Frege to Gödel edited by van Heijenoort.
  6. Peirce (1867) On an improvement in Boole's calculus of logic.
  7. Hilbert (1917/1918) Prinzipien der Mathematik (Bernays' course notes).
  8. Vax (1982) Lexique logique, Presses Universitaires de France.
  9. Tarski (1940) Introduction to logic and to the methodology of deductive sciences.
  10. Gentzen (1934) Untersuchungen über das logische Schließen.
  11. Chazal (1996): Éléments de logique formelle.
  12. Véase Roegel

Enlaces externos[editar]