Resoluo Lista 1 1c) Exemplo:no h; contraexemplo x=2 2c) existe um nico x para todo y, tal que, x menor que

e y universal e falsa 2d)para todo y existe x tal que y maior que x - universal e falsa 2f) para todo x e para todo y, x menor que y universal e falsa 4b) 3 par e 5 mpar 4c) 2 impar ou 3k+1 par 4d) 2 impar ou 3 impar 4f) 5 primo ou 4 impar 4g) 5 primo e 4 par

5a) 5c) 5d)

5b)

6a) recproca: q =>no p / contrapositiva no q=>p / inversa p=>no q 6c) recproca: no q=> p/ contrapositiva q=>no p/ inversa no p =>q 6e)rec: se 2x+1 impar, x par/ cont. se 2x+1 par, ento x impar/ inv. Se x impar, ento 2x+1 par 6f) rec. Se eu sou uma moto-serra, minha me um trator/ inv. Se minha me no um trator, eu no sou uma moto serra/ cont. se eu no sou uma moto-serra, minha me no um trator. 6g) rec. Se k uma potencia de 2, ento 2^k+1 primo/ inv. Se 2^k+1 no primo, ento k no uma potncia de 2. / cont. se k no uma potncia de 2, ento 2^k+1 no primo. 6h) rec. Se x e y so iguais a 0, ento x+y =0. / inv. Se x+y =/=0, ento x e y so diferentes de 0. / contr. Se x e y so diferentes de 0 ento x + y=/=0 8c) necessria e suficiente. 8d) necessria e suficiente. Questes 9 e 10 muito compridas, fcil de fazer, pulei! =D 11c) no sei o q significa o ! depois do smbolo de existe, se algum souber, faa o favor. 11d) existe n real cujo seu quadrado igual ao seu cubo 11e)para todo n natural, existe k natural menor que n. 11f) para todo valor de a e b reais, existe c e d reais tal que a menor que a soma de d com c e a soma de d com c menor que b. 11g) para todo a, b inteiros, existe c inteiro, tal que a diviso de a por b multiplicado por c um nmero inteiro. 11h) existe b real tal que para todo c real, o produto de a por b resulta em c.

11i) para todo a real e para todo c real, existe b real tal que o produto de ab igual a c. 13b) {0,1,2,3,4,5,6,7} 13d) {4} 13f) {2,3,4,5} 14a) demonstrao direta, provou se por etapas que p->q 14b) demonstrao por reduo ao absurdo. Assume-se que a hiptese falsa e demonstra-se que invlido, concluindo-se que a proposio inicial verdade 14c) demonstrao pelo mtodo contrapositivo, prova-se que se ab racional, ento a e b devem ser racionais. Uma vez que a proposio e sua contrapositiva so simultaneamente verdadeiras ou falsas, temos que se a e b so reais e ab irracional, a ou b irracional. 14d) para subtrair (a-b) de (a+b)(a-b) e de b(a-b) temos primeiro que resolver as multiplicaes. 16a) se alb, existe k:ak=b, mas porque alc, existe k: ka=c. Assim, b+c= ak+ak = a(k+k), e mostramos que existe K: b+c=aK 16b) Se tanto p como q forem racionais, ento h k1, k2, k3 e k4, inteiros, tais que p=k1/k2 e q=k3/k4, ento p+q= k1/k2 +k3/k4 => (k4k1+k2k3)/ k2k4, o que significa que p+ q pode ser escrito como quociente de dois inteiros, portanto racional, c.q.d. 17a) Suponhamos que 2 = k/k, com k e k inteiros. Elevando ao quadrado os dois lados da igualdade temos 2= k/k -> k=2k (1), logo k par e k par tambm. Podemos escrever k como 2k. Substituindo em (1) temos: (2k)= 2k => 4k=2k => 2k=k; logo k tambm par. Mas k e k no podem ser simultaneamente pares, pois se fossem, poderamos simplificar a frao at que um dos termos fossem impar. Portanto 2 tem que ser irracional, c.q.d. 17b) (acho que t errado) - Suponhamos que a no divide bc e a divide b. Ento existe k inteiro : ak=b. Mas se ak=b, podemos escrever: bc/a como akc/a = kC, que inteiro, o que absurdo uma vez que a condio diz que a no divide bc. 18a) no q -> no p = se dentre x e y, ao menos um par, xy par. Suponhamos que x par e y mpar. X=2k e y=2k+1 xy = 2k (2k+1) = 4kk+2k => 2(2kk)+2k, por definio par. C.q.d. Demonstrada a contrapositiva verdade, a proposio inicial verdade. 18b) no q->nop = Se a e b so racionais, ab racional. Se a e b so racionais, podem ser escritos na forma a=k1/k2 e b=k3/k4, com k1,k2,k3 e k4 inteiros. Ento ab = k1k3/k2k4. Uma vez que ab pode ser escrito como quociente de dois nmeros inteiros, ab racional, c.q.d. 19) Suponhamos que a racional e ab irracional, e se a racional pode ser escrito como k/k, com ambos inteiros, ento ab = k1/k2.b, o que independente dos valores de k e k, sempre multiplicara a irracionalidade de b, resultando sempre em um nmero irracional. 20) temos que demonstrar duas proposies: 1- se a divide b, ac divide bc e 2-se ac divide bc, a divide b

1- alb ->aclbc Se a divide b existe k inteiro tal que ak=b = b/a = k Temos que bc/ac = b/a = k. 2- se aclbc, existe k inteiro tal que ack=bc => ak=b. E assim alb pois equivale a b/a=k.