Miniteste de Avaliacao eae Adored EB indica, justificando, o valor légico de cada uma das seguintes proposicdes: x Wvxez , 1 <0 2 12vxeR, x >0 13.vxeRr, Vie ax 1.4. 3neN: 2n+1 @umntimero par © consideraem = as condigdes: a(x) © 12-3x20. b(x): |x}<3. o(x): Sejam A , Be C os conjuntos-solugao das condi¢des a(x) , b(x) © (x). respetivamente. 2.1. Representa em extensao: a) {xeN: b(x)} b) [xeN: a(x) ac(x)} 2.2. Representa na forma de intervalo ou reuniao de intervalos disjuntos: 8) Ane ») B\c AB 2.3. Determina o valor I6gico de cada uma das proposices, indicando um contraexemplo no caso de considerares falso. a) ¥xeZ : a(x) b) vVxeN: ~e(x) ©) WxeC: -xeC d) vxeR: B(x) Se(x) Considera as condiges p(x) wGhes © g(x): O1x<1 3.1, Justifica que, em yy , as condigbes p(x) € q(x) Sé0 equivelentes. 3.2. Diz, justificando, qual € o valor ldgico da proposicao v¥xeR. p(x)= q(x) 3.3. Escreve a implicagao contrarreciproca de oo <5>0,K<1-Proposta de Resolu 14 1-Eteo 2-14 K50 xc ix O valor ogico de vxez, 1-1 * <0 6 verdadeiro 1.2. Se x=0 temse 7.9. oque é falso. O valor logico de vx=R, x?>0 € falso. 4.3. Considerando, por exemplo, x-—3, tem-se [(-3)'=-3- O valor légico de vxeR, VP =x éfalso. 1.4. Verifica-se que ¥neN: 2n+1 € um nimero impar. O valor logico de 3neN: 2n+1 €um ntimero par, é falso. 12-3x20 > -3x2-12 & x<4: A=] bkj<3 > -3 7-2x<3 S -2x2-4 © x525 CH]2, +41 4) 24.) {xeN: b(x)}={1, 2} b) fre: a(xjac(x)}={3, 4} 2.2.2) ANC 4Jo}2, tf =12, 4] b) B\C=BOC=]-3, J ©) An 2, 4Ja(J-o, -3]U[3, +1) ©, ~3U[3, 4] 23.8) YxeZ: a(x); verdadeiro. b) AxeN : ~e(x) | verdadeiro. c) ¥xeC, ~xeC; falso. Porexemplo, 3e¢ @ 360 d) vxeR, b(x)=e(x) ; falso. Porexemplo, 2-8 © 2 297 Ot & x10: {xeN: p(x)} ={xeN: g(x} .2,3,4,5,6,7, 8, 9} 3.2. Sejam P e Q os conjuntos-solucéo de p(x) © g(x) em R. P Q=]-+, 10. Como PQ . conclui-se que a proposic&o € verdadeira. 2, ge 3.3. A implicacao contrarreciproca de a <5>01K<1€ otre1a tts