Conectiva lógica

En los lenguajes formales, las funciones de verdad son representadas por símbolos inequívocos.Conectivos lógicos comúnmente usados: 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: Por declaración P = Está lloviendo; Q = Estoy dentro de casa.Por otra parte, ni la recíproca, q→p , ni la inversa, ¬p→¬q, tienen los mismos valores de verdad que p→q para todos los posibles valores de p y q.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]​ 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.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.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: Vea más detalles sobre integridad funcional.Ni la conjunción, disyunción y condicional material tiene una forma equivalente construida de los otros cuatro conectivos lógicos.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).