Skip to content

Giselle Reis

Just another human being

  • About me
  • Blog
  • Courses
  • Quick CV
  • Research
    • Publications
    • Talks
    • Projects
Giselle Reis

Resposta

Vamos ver se eu consigo escrever isso sem utilizar caracteres especiais:

Lema: D => G == ~D v G

(existe x.D) => G == ~(existe x.D) v G == (paratodo x.~D) v G == paratodo x.(~D v G) ** == paratodo x.(D => G).

** isso pode ser feito porque X não é variável livre em G.

Share this:

  • Click to share on Twitter (Opens in new window)
  • Click to share on Facebook (Opens in new window)

Related

Author gisellereisPosted on September 13, 2008Categories lógica

Post navigation

Previous Previous post: População Mundial
Next Next post: Gosto musical

Whereabouts

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

Recent Posts

  • Sobre debates produtivos
  • Lecture Notebook
  • 10 years away from Brazil / 10 anos fora do Brasil
  • Food, shelter, and companionship
  • My experience in a male dominated discipline
  • About me
  • Blog
  • Courses
  • Quick CV
  • Research
    • Publications
    • Talks
    • Projects
Giselle Reis Proudly powered by WordPress