Como vimos en "Variables Lógicas", las proposiciones se relacionan para completar la expresión más compleja. En ese ejemplo y para que se entendiera la expresión, empleamos la letra y entre paréntesis.
En Lógica, para relacionar las proposiciones simples y conformar las fórmulas lógicas, se emplean unos símbolos especiales a los que se denomina Conectivas Lógicas.
Las Conectivas Lógicas básicas son:
¬ Negación (NO)
Λ Conjunción (Y)
V Disyunción (O)
Tomando el ejemplo visto anteriormente, podríamos expresar:
¬p = El auto NO es Fiat.
p Λ q = El auto es Fiat Y es de color azul.
p V r = El auto es Fiat O tiene 2 puertas.
Introducción a la Lógica para Computación
Conectivas Lógicas
Obra publicada con Licencia Creative Commons Reconocimiento No comercial Compartir igual 4.0