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