Algunos conectivos lógicos tienen propiedades que se pueden expresar en teoremas que contienen el conectivo.