

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.
Uma bicondicional equivale a uma conjunção de duas condicionais. Em termos simbólicos, teremos
p ↔ q = (p ˅ q) e (q ˅ p)
p ↔ q = (p → q) e (q → p)
p ˄ q = (p ˅ q) e (q → p)
p ← q = (p → ~ q) e (q → p)