Académique Documents
Professionnel Documents
Culture Documents
casos e
reduc
ao ao
absurdo
Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo
Prova por
casos e
reduc
ao ao
absurdo
Sumario
Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo
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
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
Reduc
ao ao
absurdo
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
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
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
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
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
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
Prova por
casos e
reduc
ao ao
absurdo
Provando igualdades A =
Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo
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
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
Prova por
casos e
reduc
ao ao
absurdo
Provando igualdades A =
Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo
Prova por
casos e
reduc
ao ao
absurdo
Problema 2
Renata de
Freitas e
Petrucio
Viana
Prova por
casos
Reduc
ao ao
absurdo
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).
3. Exerccios da Lista 5.