Utilización de conectivos lógicos
En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo que se utiliza
para conectar dos fórmulas, de modo que el valor de verdad de la fórmula compuesta
dependa del valor de verdad de las fórmulas componentes.
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.
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. ==Conectivas == Las conectivas son funciones de verdad. Quiere decir que
son funciones que toman uno o dos valores de verdad, y devuelven un único valor de
verdad. En consecuencia, cada conectiva lógica puede ser definida mediante una tabla de
valores de verdad que indique qué valor devuelve la conectiva para cada combinación de
valores de verdad.
Los conectivos son:
Conjunción: En razonamiento formal, una conjunción lógica ( ) entre dos
proposiciones es un conector lógico cuyo valor de la verdad resulta en ciertosólo si ambas
proposiciones son ciertas, y en falso de cualquier otra forma. Existen diferentes contextos
dónde se utiliza la conjunción lógica.
En lenguajes formales, la palabra "y" se utiliza en español para simbolizar una conjunción
lógica. La noción equivalente en la teoría de conjuntos es laintersección ( ). En algebra
Booleana, la conjunción como operador binario entre dos variables se representa con el
símbolo de punto medio ( · )
Disyunción: En razonamiento formal, una disyunción lógica ( ) (en especifico,
una disyunción inclusiva) entre dos proposiciones es un conector lógico cuyovalor de la
verdad resulta en falso sólo si ambas proposiciones son falsas, y en cierto de cualquier
otra forma. Existen diferentes contextos dónde se utiliza la disyunción lógica.
En lenguajes formales, la palabra "ó" se utiliza en español para simbolizar una disyunción
lógica. Se debe distinguir entre el "ó" inclusivo y el "ó" exclusivo, este artículo se refiere al
"ó" inclusivo. La noción equivalente en lateoría de conjuntos es la unión ( ). En algebra
Booleana, la disyunción como operador binario entre dos variables se representa con el
símbolo demás ( + ).
Condicional: El condicional material, también conocido como implicación
material, condicional funcional de verdad o simplemente condicional, es una constante
lógica que conecta dos proposiciones. El condicional material intenta ser la versión formal
del condicional en el lenguaje natural, el cual se expresa por medio de palabras como las
siguientes:
o Si llueve, entonces voy al cine.
o Voy al cine si llueve.
o Cuando llueve, voy al cine.
Simbólicamente, el condicional material se suele denotar de las siguientes maneras:
, y en ocasiones:
Donde A y B son proposiciones cualesquiera. Las variables A y B se conocen
respectivamente como el antecedente y el consecuente del condicional.
Bicondicional: En matemáticas y lógica, un bicondicional, (también
llamado equivalencia o doble implicación, en ocasiones abreviado como ssi,sii, o syss), es
una proposición de la forma «P si y solo si Q» y afirma que la proposición P será
verdadera exclusivamente cuando Q también lo sea, así como también P será falsa
cuando Q lo sea. Otra forma de expresar el bicondicional es decir que Q es una condición
necesaria y suficiente para P
Negación: En lógica y matemática, la negación, también llamada complemento lógico, es
una operación sobre proposiciones, valores de verdad, o en general, valores semánticos.
Intuitivamente, la negación de una proposición es verdadera cuando dicha proposición es
falsa, y viceversa. En lógica clásica la negación está normalmente identificada con
la función de verdad que cambia su valor de verdadero a falso y viceversa. En Lógica
intuicionista, de acuerdo a la interpretación BHK, la negación de una proposición p es la
proposición cuyas pruebas son las refutaciones de p. En la semántica de Kripke, donde
los valores semánticos de las fórmulas son conjuntos de posibles mundos, la negación
de p, es su complemento.
=====Otras conectivas ===== Dado que las conectivas son funciones de verdad,
existirán tantas conectivas como funciones de verdad. Sin embargo, no todas las
funciones de verdad tienen análogos en el lenguaje natural, y en consecuencia, no todas
son estudiadas con el mismo interés. A continuación se incluye una tabla que lista las 16
conectivas binarias posibles.
Dónde:
es una tautología.
es la disyunción.
es el condicional material inverso.
es el condicional material.
es el bicondicional.
es la conjunción.
es la negación alternativa, incompatibilidad, o "NAND".
es la disyunción exclusiva, contravalencia o "XOR".
es la negación del condicional material.
es la negación del condicional inverso.
es la negación conjunta, o "NOR".
es una contradicción.
Relación de la lógica formal con la vida cotidiana.
“Se entiende a la Lógica como la disciplina que estudia el pensamiento en cuanto a sus
formas mentales (concepto, juicio y raciocinio) con la finalidad de elaborar razonamientos
correctos y verdaderos. Y es que existe una gran diferencia entre lo que es correcto y lo
que es verdadero, pues en Lógica lo correcto se refiere a la estructura de los
razonamientos, a su forma; es decir a la manera en cómo están construidos, pero no al
contenido de verdad o falsedad de los mismos.
En este sentido, hay razonamientos que pueden estar perfectamente bien estructurados o
construidos, pero que al analizar su contenido de verdad resultan falsos. Por ejemplo, he
aquí un razonamiento correcto pero completamente falso: “Ninguna mujer piensa, María
es mujer, por lo tanto, María no piensa”. Este silogismo es correcto porque su conclusión
“María no piensa” se deriva por necesidad de 2 premisas previamente planteadas, pero es
falso porque tiene como punto de partida una premisa falsa: “Ninguna mujer piensa” y por
lo tanto, su conclusión también es falsa. Vemos así como a la Lógica Formal, que es una
especie de primera parte en el estudio de la Lógica, no se interesa por la verdad o
falsedad de los razonamientos, sino sólo de su estructura o forma.
La Lógica Formal, se interesa por el razonamiento correcto, que es lo mismo que decir
coherente y ordenado. Un razonamiento de esta naturaleza es posible si la conclusión
que se obtiene se deriva por necesidad de otros pensamientos previamente planteados
llamados premisas. Esto es, todo razonamiento o argumento está estructurado con
premisas y conclusión.
¿Qué es una premisa? Es un pensamiento que funciona como punto de partida o sustento
para derivar otro al cual llamamos conclusión; y ¿qué es una conclusión? Es un
pensamiento derivado por necesidad de otro(s) que llamamos premisa(s).
Para que un razonamiento sea correcto debe existir una conexión tan estrecha entre las
premisas que haga necesaria la existencia de la conclusión. Pero, ¿qué se entiende en
Lógica por necesario? Esto: lo necesario es aquello que es y ocurre de una manera y no
puede ser ni ocurrir de otra.
Por ejemplo, si yo sostengo un objeto pesado y después lo suelto sin que haya ningún
obstáculo entre mi mano y el piso es de toda necesidad que caiga hasta el suelo, en
condiciones naturales no puede ser de otro modo. Eso es lo necesario, lo que no puede
ser de otra manera, aquello que no deja opción para que suceda de otro modo.
Así, un razonamiento incorrecto ocurre cuando no existe un vínculo de necesidad entre
su(s) premisa(s) y la conclusión, por ejemplo: “Está nublado y por tanto va a llover”, este
es un pensamiento ilógico o incorrecto por la sencilla razón de que del hecho de que esté
nublado no se deriva por necesidad que tenga que llover, ya que todo el día puede
permanecer totalmente nublado y sin embargo no caer una sola gota de lluvia.
En cambio, un razonamiento correcto sería el siguiente: “Todos los hermanos de Juan son
varones, Toño es hermano de Juan, por lo tanto, Toño es varón”, como es evidente, que
Toño siendo hermano de Juan sea varón no podría ser de otra manera, pues la primera
premisa ha establecido categóricamente que todos los hermanos de Juan son varones.
Tautologías, Contradicción y Contingencia.
♦Con cinco conectivas lógicas básicas se construyen proposiciones compuestas que
pueden ser tautologías, contradicciones o contingencias.
Si la tabla de verdad de la proposición es siempre verdadera, independientemente
de la verdad o falsedad de las proposiciones simples, entonces la expresión
es tautológica.
Si la tabla de verdad es siempre falsa, será una contradicción.
Si es verdadera y falsa, la proposición es una contingencia.
↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓
•TAUTOLOGÍA: Una proposición compuesta es una tautología si es verdadera para todas
las asignaciones de valores de verdad para sus proposiciones componentes. Dicho de
otra forma, su valor V no depende de los valores de verdad de las proposiciones que la
forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con
otras. Sea el caso:
•CONTRADICCIÓN: Se entiende por proposición contradictoria, o contradicción, aquella
proposición que en todos los casos posibles de su tabla de verdad su valor siempre es F.
Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones
que la forman, sino de la forma en que están establecidas las relaciones sintácticas de
unas con otras. Sea el caso:
•CONTINGENCIA:Se entiende por verdad contingente, o verdad de hecho, aquella
proposición que puede ser verdadera o falsa, (combinación entre tautología y
contradicción) según los valores de las proposiciones que la integran. Sea el
caso:
