Conectivo lógico
En lógica , un conectivo lógico (también llamado operador lógico , conectivo enunciado u operador enunciado ) es una constante lógica que se usa para conectar dos o más fórmulas. Por ejemplo, en la sintaxis de la lógica proposicional , el conectivo binario se puede usar para unir las dos fórmulas atómicas y , al traducir la fórmula compleja .
Los conectivos comunes incluyen negación , disyunción , conjunción e implicación . En los sistemas estándar de lógica clásica , estos conectivos se interpretan como funciones de verdad , aunque reciben una variedad de interpretaciones alternativas en lógicas no clásicas . Sus interpretaciones clásicas son similares a los significados de las expresiones del lenguaje natural tales como Inglés "no", "o", "y", y "si", pero no idénticos.Las discrepancias entre los conectivos del lenguaje natural y los de la lógica clásica han motivado enfoques no clásicos del significado del lenguaje natural, así como enfoques que combinan un lenguaje clásico.semántica composicional con una pragmática robusta .
Un conectivo lógico es similar, pero no equivalente, a una sintaxis comúnmente utilizada en lenguajes de programación llamada operador condicional . [1] [se necesita una mejor fuente ]
En los lenguajes formales , las funciones de verdad están representadas por símbolos inequívocos. Esto permite que las declaraciones lógicas no se entiendan de forma ambigua. Estos símbolos se denominan conectores lógicos , operadores lógicos , operadores proposicionales , o, en la lógica clásica , la verdad-funcional conectivas . Para conocer las reglas que permiten construir nuevas fórmulas bien formadas uniendo otras fórmulas bien formadas utilizando conectivos de función de verdad, consulte fórmula bien formada .
Los conectivos lógicos se pueden usar para vincular más de dos declaraciones, por lo que se puede hablar de conectivo lógico n -ary .
Por ejemplo, el significado de las declaraciones está lloviendo (denotado por P ) y estoy adentro (denotado por Q) se transforma, cuando los dos se combinan con conectivos lógicos:
