Conectivas Lógicas

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.