Por que [(existe x tq D) => G] é equivalente a [para todo x(D => G)]?
Se alguém souber me responde por favor!
Just another human being
Por que [(existe x tq D) => G] é equivalente a [para todo x(D => G)]?
Se alguém souber me responde por favor!