O símbolo de equivalência lógica e o conectivo bicondicional desempenham o mesmo papel: ambos formam uma nova proposição composta a partir de duas proposições dadas.
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.