DEMONSTRAÇÕES

A Conjectura de Goldbach é a afirmação

Todo número par maior que 2

é igual à soma de dois números primos.

Essa afirmação é verdadeira?

Ninguém sabe!
Como se demonstra uma afirmação?
Há duas ideias principais!

‚ Para mostrar que uma afirmação do tipo

Dx Ψ
é verdadeira, basta exibir um exemplo para
a afirmação — isto é, um elemento do
universo U que satisfaz Ψ.
Como se demonstra uma afirmação?
Há duas ideias principais!

‚ Para mostrar que uma afirmação do tipo

@x Ψ
é verdadeira, é preciso concluir a afirmação
Ψ por um argumento que se aplique a
qualquer elemento do universo U.
Exemplo
A afirmação a seguir é verdadeira ou falsa no
universo U “ R? Justifique.
Dx @y px ` y “ y q
A afirmação é verdadeira.
Para justificar isso, vamos exibir um exemplo,
isto é, um elemento x de U para o qual a
afirmação
@y px ` y “ y q
seja verdadeira.
Exemplo
A afirmação a seguir é verdadeira ou falsa no
universo U “ R? Justifique.
Dx @y px ` y “ y q
A afirmação é verdadeira:
Tomando x “ 0, a afirmação
@y px ` y “ y q
se torna a afirmação
@y p0 ` y “ y q,
que é verdadeira!
(Pois todo número real y satisfaz 0 ` y “ y .)
Exemplo
A afirmação a seguir é verdadeira ou falsa no
universo U “ R? Justifique.
@x Dy px ă y q
A afirmação é verdadeira.
Para justificar isso, devemos tomar um x
qualquer e mostrar que a afirmação
Dy px ă y q
é verdadeira para esse nosso x — qualquer que
seja ele!
Exemplo
A afirmação a seguir é verdadeira ou falsa no
universo U “ R? Justifique.
@x Dy px ă y q
A afirmação é verdadeira:
Seja x um número real. Para mostrar que
Dy px ă y q,
vamos encontrar um y em R que satisfaça x ă y .
Para tanto, basta tomar y “ x ` 1, e teremos
que x ă y . Como x é arbitrário, provamos que
@x Dy px ă y q.
Exemplo
A afirmação a seguir é verdadeira ou falsa no
universo U “ R? Justifique.
Dy @x px ă y q
A afirmação é falsa!
Para justificar isso, vamos mostrar que a
negação dessa afirmação é verdadeira!
pDy @x px ă y qq
õ
p???q
 pDy @x px ă y qq
õ
@y p p@x px ă y qqq
õ
@y Dx p px ă y qq
õ
@y Dx px ě y q
Voltando...
Vamos provar que é verdadeira a afirmação
@y Dx px ě y q.
Seja y um número real. Para mostrar que
Dx px ě y q,
vamos encontrar um número real x que satisfaça
x ě y.
Para tanto, basta tomar x “ y , e teremos que
x ě y.
Como y é arbitrário, provamos que
@y Dx px ě y q.