Skip to content

Giselle Reis

Just another human being

  • About me
  • Blog
  • Quick CV
  • Courses
    • 15-110 Principles of Computing (Spring’18)
    • 15-312 Found. of Programming Languages (Spring’18)
    • 15-150 Functional Progr. (Fall’17)
    • 15-317 Constructive Logic (Spring’17)
  • Research
    • Conference Calendar
    • Publications
    • Talks
    • Projects
Giselle Reis

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)
  • Click to share on Google+ (Opens in new window)

Related

Author gisellereisPosted on September 11, 2008Categories lógica

Post navigation

Previous Previous post: Yael Naim
Next Next post: População Mundial

Whereabouts

Assistant Professor at CMU-Qatar (office 1008). Doha, Qatar.

Recent Posts

  • Adobe and Microsoft
  • About the first women in logic workshop
  • About the world
  • Black Mirror
  • Adobe is evil
  • About me
  • Blog
  • Quick CV
  • Courses
    • 15-110 Principles of Computing (Spring’18)
    • 15-312 Found. of Programming Languages (Spring’18)
    • 15-150 Functional Progr. (Fall’17)
    • 15-317 Constructive Logic (Spring’17)
  • Research
    • Conference Calendar
    • Publications
    • Talks
    • Projects
Giselle Reis Proudly powered by WordPress