¿Qué son?
Son los operadores que permiten construcciones del lenguaje más complejas a partir de construcciones más simples (átomos (lenguaje de enunciado)).
¿Cuáles son?
Otras:
- La conectiva ←>, denominada bicondicional y que se lee ‘si y sólo si’. Es el equivalente a una conjunción de dos implicaciones o condicionales
- La conectiva ⊻, denominada disyunción exclusiva y que se utiliza para formalizar las construcciones en las que la disyunción tiene un significado exclusivo (‘o el uno, o el otro, pero no los dos’). Es el equivalente a una conjunción de dos implicaciones o condicionales , estando una de estas negadas