Pergunta Por que [(existe x tq D) => G] é equivalente a [para todo x(D => G)]? Se alguém souber me responde por favor! Share this:Click to share on Twitter (Opens in new window)Click to share on Facebook (Opens in new window) Related