No cálculo proposicional, os operadores lógicos { ¬ , Λ , V , → , ⇔ } podem ser deduzidos a partir dos operadores