

Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
No cálculo proposicional, os operadores lógicos { ¬, ∧, ∨, →, ↔} podem ser deduzidos a partir dos operadores
{ ∧, ∨}
{ ¬, ∧)
{ ↔, ∨}
{ ↔, →}
{ →, ∧}