Você está na página 1de 21

Prova por

casos e
reduc
ao ao
absurdo
Renata de
Freitas e
Petrucio
Viana
Prova por
casos

Prova por casos e reducao ao absurdo

Reduc
ao ao
absurdo

Renata de Freitas e Petrucio Viana

Instituto de Matematica e Estatstica, UFF


Marco de 2011

Prova por
casos e
reduc
ao ao
absurdo

Sumario

Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo

Prova por casos.

Reduc
ao ao absurdo.

Prova por
casos e
reduc
ao ao
absurdo

Turing

Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo

Matem
atico, l
ogico,

criptoanalista e cientista da
computacao ingles.
Formalizou os conceitos de

algoritmo e de computacao
com a Maquina de Turing.
Seu trabalho faz parte da

base teorica tornou possvel a


criacao do computador.
Alan Turing (1912 1954)

Prova por
casos e
reduc
ao ao
absurdo

Provando inclusoes A B C

Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo

Dados
A = {x N : o u
ltimo algarismo de x e 0},
B = {x N : o u
ltimo algarismo de x e 5} e
C = {x N : x e m
ultiplo de 5}
temos A B C ?

Prova por
casos e
reduc
ao ao
absurdo

Provando inclusoes A B C

Renata de
Freitas e
Petrucio
Viana
Prova por
casos

Sejam A, B e C conjuntos definidos por propriedades.

Reduc
ao ao
absurdo

Para justificar que A B C , basta fazer o seguinte:

(1) Pegar um elemento generico em A B, ou seja, pegar um


objeto que satisfaz a propriedade que define A ou que
satisfaz a propriedade que define B;

Prova por
casos e
reduc
ao ao
absurdo

Provando inclusoes A B C

Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo

(2) Supor que ele satisfaz apenas a propriedade que define A e


explicar por que, neste caso, ele satisfaz a propriedade que
define C .

(3) Supor que ele satisfaz apenas a propriedade que define B e


explicar por que, neste caso, ele satisfaz a propriedade que
define C .

Se voce fizer isso corretamente, todos vao considerar que A B


esta, de fato, contido em C .

Prova por
casos e
reduc
ao ao
absurdo
Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo

Chapeuzinho insegura

Prova por
casos e
reduc
ao ao
absurdo
Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo

Chapeuzinho confiante

Prova por
casos e
reduc
ao ao
absurdo
Renata de
Freitas e
Petrucio
Viana

Provando inclusoes A B C
Dados os conjuntos A, B e C , tais que A B C , a prova da
inclusao deve seguir o seguinte modelo de redacao:

Prova por
casos
Reduc
ao ao
absurdo

(1) Escreva Prova: ao iniciar a prova;


(2) Escreva Seja x A B ou qualquer sentenca contendo
a mesma informacao;
(3) Escreva Caso 1) x A ou qualquer sentenca contendo a
mesma informacao;
(4) Explique, tao detalhadamente quanto voce achar
necessario, por que, no caso em que x A, temos tambem
que x C ;

Prova por
casos e
reduc
ao ao
absurdo
Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo

Provando inclusoes A B C
(5) Escreva Caso 2) x B ou qualquer sentenca contendo a
mesma informacao;
(6) Explique, tao detalhadamente quanto voce achar
necessario, por que, no caso em que x B, temos
tambem que x C ;
(7) Escreva Em qualquer caso, x C ou qualquer sentenca
contendo a mesma informacao;
(8) Escreva para terminar a prova.

Prova por
casos e
reduc
ao ao
absurdo
Renata de
Freitas e
Petrucio
Viana
Prova por
casos

Problema 1
1. Prove que, para todos A, B, C U,
A (B C ) (A B) (A C ).

Reduc
ao ao
absurdo

2. Prove que, para todos A, B, C U,


(A B) (A C ) A (B C ).

3. Prove que, para todos x, y , z N,


se x|y ou x|z, entao x|yz.

Prova por
casos e
reduc
ao ao
absurdo

Provando inclusoes A B

Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo

Prove que, para todos A, B U,


A B = B A.

Prova por
casos e
reduc
ao ao
absurdo
Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo

Provando inclusoes A B
Sejam A e B conjuntos definidos por propriedades.
Para justificar que A B, basta fazer o seguinte:
(1) Pegar um elemento generico em A, ou seja, pegar um
objeto que satisfaz a propriedade que define A;
(2) Supor que ele satisfaz a propriedade que define B.
(3) Explicar por que esta suposicao leva a conclusoes
contraditorias.
Se voce fizer isso corretamente, todos vao considerar que A
esta, de fato, contido em B.

Prova por
casos e
reduc
ao ao
absurdo
Renata de
Freitas e
Petrucio
Viana
Prova por
casos

Provando inclusoes A B
Dados os conjuntos A e B, tais que A B, a prova da inclusao
deve seguir o seguinte modelo de redacao:

Reduc
ao ao
absurdo

(1) Escreva Prova: ao iniciar a prova;

(2) Escreva Seja x A ou qualquer sentenca contendo a


mesma informacao;

(3) Escreva Suponhamos, para uma contradicao, que x B


ou qualquer sentenca contendo a mesma informacao;

Prova por
casos e
reduc
ao ao
absurdo

Provando inclusoes A B

Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo

(4) Explique, tao detalhadamente quanto voce achar


necessario, por que esta suposicao nos permite tirar
conclusoes contradit
orias;

(5) Escreva Logo, x 6 B ou qualquer sentenca contendo a


mesma informacao;

(6) Escreva para terminar a prova.

Prova por
casos e
reduc
ao ao
absurdo

Provando igualdades A =

Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo

Prove que, para todo A U,


A A = .

Prova por
casos e
reduc
ao ao
absurdo
Renata de
Freitas e
Petrucio
Viana
Prova por
casos

Provando igualdades A =
Seja A U um conjunto definido por propriedade.
Para justificar que A = , basta fazer o seguinte:

Reduc
ao ao
absurdo

(1) Pegar um objeto generico em U;


(2) Supor que ele satisfaz a propriedade que define A.
(3) Explicar por que esta suposicao leva a conclusoes
contraditorias.
Se voce fizer isso corretamente, todos vao considerar que, de
fato, A = .

Prova por
casos e
reduc
ao ao
absurdo
Renata de
Freitas e
Petrucio
Viana
Prova por
casos

Provando igualdades A =
Dado um conjunto A U tal que A = , a prova da igualdade
deve seguir o seguinte modelo de redacao:

Reduc
ao ao
absurdo

(1) Escreva Prova: ao iniciar a prova;

(2) Escreva Seja x U ou qualquer sentenca contendo a


mesma informacao;

(3) Escreva Suponhamos, para uma contradicao, que x A


ou qualquer sentenca contendo a mesma informacao;

Prova por
casos e
reduc
ao ao
absurdo

Provando igualdades A =

Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo

(4) Explique, tao detalhadamente quanto voce achar


necessario, por que esta suposicao nos permite tirar
conclusoes contradit
orias;

(5) Escreva Logo, x 6 A ou qualquer sentenca contendo a


mesma informacao;

(6) Escreva para terminar a prova.

Prova por
casos e
reduc
ao ao
absurdo

Problema 2

Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo

1. Prove que, para todo A U,


A.

2. Prove que, para todo A U,


U A A.

Prova por
casos e
reduc
ao ao
absurdo
Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo

Exerccios
1. Exerccios do Captulo 3 do Menezes
(Paulo B. Menezes, Matem
atica Discreta para Computac
ao e
Inform
atica, 2a. edic
ao, Sagra Luzzatto / Instituto de Inform
atica da
UFRGS, Porto Alegre, 2006).

2. Exerccios do Captulo 2, pp. 73-75, itens 1, 2, 7, 10-15,


16(a-e), 16(g,h), 17, 21, 22, 25, do Scheinerman
(E.R. Scheinerman, Matem
atica Discreta, Thomson, S
ao Paulo,
2006).

3. Exerccios da Lista 5.