Aplicar a uma bicondicional três movimentos sucessivos, a saber, negar cada uma das duas parcelas e trocar o conectivo pela disjunção exclusiva, produz uma proposição logicamente equivalente à original.
Usamos cookies para melhorar sua experiência. Usamos cookies para melhorar sua experiência no nosso site :) Ao continuar navegando, você concorda com o uso deles. Saiba mais.