proyesctos

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 elvalor de verdad de la fórmula compuesta dependa del valor de verdadde 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 unalgoritmo o programa.
Las conectivas lógicasson, 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.

Lógica proposicional
La lógicaproposicional o lógica de orden cero trata con sistemas lógicos que carecen de cuentificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variablesde tipo entidad, sí existen signos paravariables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ahí el nombre proposicional. Lalógica proposicional incluye además de variables interpretables como proposiciones simples signos paraconectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica deproposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.1
Una lógica proposicional es un sistema formal cuyos elementos más simplesrepresentan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.2

IntroducciónConsidérese el siguiente argumento:
1. Mañana es miércoles o mañana es jueves.
2. Mañana no es jueves.
3. Por lo tanto, mañana es miércoles.
Es un argumento válido. Quiere decir que es imposible quelas premisas sean verdaderas y la conclusión falsa. Esto no quiere decir que la conclusión sea verdadera. Si las premisas son falsas, entonces la conclusión también podría serlo. Pero si las...