Pergunta

Por que [(existe x tq D) => G] é equivalente a [para todo x(D => G)]?

Se alguém souber me responde por favor!

Labels: