Ei Légica e teoria dos conjuntos Avaliacao global Tl qual das proposigaes é verdadeira? i @) VnEN, n32 (@) Wx, x €umlosango => x é um quadrado (© 3xER: x>2r @) 3xER: Veer iisave-se que p A~q éuma proposigao verdadeira, Qual das proposigdes 6 verdadeira? ®~pva © pq operq © ~p=> Av) EA negacio da proposigio 3rEZ: x<0 Ax 30 €: @) 3xEZ: xB0VrKO ©) VxEZ, xd0V°<0 © VxEZ, xa0VrK0 © VEZ, x>0Ax<0 [i A negacao da proposicao VxER, x=a=> x'=! (@) SER: xsaAxtea’ (@) BxER: x-aVa'ea" (© 3xER: xeanx @ VxER, aaxted EX sabendo queaproposicao p Alp => ~a) Alp =~) A(rV g) é verdadeira, entao: (®) r éverdadeira, (8) s éverdadeira. (6) q éverdadeira. (0) p 6falsa EX considere as proposigoes: 4: Omar tem ondas. bs O Rui faz surf : ORui tem trabalho. A tradugao em linguagem simbélica da seguinte proposigao 6: smpre que 0 mar tem ondas, 0 Rui faz surf, a menos que tenha trabalho.” @@ad=b @aVv~j=b O~b=(ard — (aA~D=>b () (x€IR: x> 16) (@) (ER: -x< 16} (© {x€IR: -x> 16) (0) {xER: x-16<0) 64{3 Condigées e conjuntos Cereansate() Avaliacao global EX sendo 1 0 conjunto dos tridngulose 1. 0 conjunto dos losangos de um plano, considere as pro posigoes: tr Vx€ 7, x 6is6sceles => x nao tem Angulos internos retos I: Vx€L, x 6 temas diagonais iguais => x é um quadrado 84, Indique o valor légico de cada uma das proposigées. 82, Escreva as respetivas contrarreciprocas. ED traduza em tinguagem natura cada uma das proposigdes e indique o seu valor logico, oa. VxER, x} 132. 3v@IN: 5~2x= 133. Vn EN, n éprimo => n éimpar 134, VXEIR, x>5 =) x>4 $ 135. VxER, 3(x*—1)=3x°-3 136 3v€Q: 2x-1=0 atane-r-0s 65BY css ts cctres Avaliacao global soba 7 Wi considere a proposigio q: VxER, x°>25 = x>5 vi 142. Bscreva a negagio de q (sem utilizar o simbolo ~). 142, Mostre que q 6 uma proposigao falsa EB considere as proposicoes: ‘ 1 Hé ntimeros inteiros entre 4 e pik teiros entre 4 e 8 4: Qualquer ntimero racional é menor que o seu tiplo, rr: Nenhum quadrado perfeito é negative, Relativamente a cada uma destas proposicées, esereva: 182. em linguagem simbslica 15.2. asua negacio. ‘ 7 Considere as proposigdes a, be c, sendo: ' a: OLuistocaviola. bs OLuistocabateria, _¢: O Luistoca piano. ‘Admitindo que a proposicao (b= ~ a) V (a => 6) éfalsa, quais so 0s instrumentos musicais que o Lufs toca? Mostre,utilizando uma tabela de verdade, que (~pV q) > ~(pA~4) ‘ Mostre que a proposicao ~(p A~q) => ~(~pV 4) éverdadeira se e somente se p for verda- + deirae q forfalsa. Considere, em R, as condigoes: “ Gs): bx>0 BG): xe -x43 cy): Ve >0 +1 1 wa, VERO A xt-x+3=0 192. VF D0 A wna. Vp0 V xare8=0 ga teo v = BB] Escreva a negagao de cada uma das proposigoes. ' 204. VER, xp2—*St>0 20.2. 3xER: xB2AVED4 El] oostre que a afirmacao seguinte ¢falsa, apresentando um contraexemplo. 2 “Todo o quadriitero que tem as diagonals perpendiculares 6 um quadrado” 66{3 Condigées e conjuntos Avaliacao global Classifique cada uma das condigdes definidas no conjunto indicado, 224, 5x-1<3, em N 222. 2x*+x=0, em Z 223, °-2=0, em O 24 em R 225. (v-2)'=0Ax*—4x+40, em B EX) considere os seguintes conjuntos de nuimeros reais. ER: ~(x-9<0)} KER: ~(e<-1Vx35)} C={x@ IR: v b 6 uma proposicao verdadetra, : Mostre que aVe=> bV c, qualquer que seja a proposigao ¢. EB considere a proposigao: “Esuficiente que um mimero seja miiltiplo de 4 para que seja um mimero pat” 253. Escreva.a proposigdo sob a forma de implicacéo. 25.2, Indique, justficando, o seu valor logico. 25, Escreva a implicagao reciproca da implicagdo escrita em 282. (a implicagao reeiproca de a= b é b= a) eindiqueo seu valor logico. Bl aual das proposicdes é verdadeira, quaisquer que sejam os valores légicos das proposicées ae b?—& W (av~a)=>b ©) an~a=b) ()aA~a=ob (©) av(~a=> b) EZ] Determine, em {V, F}, ovalorde x tal que: 2m. XAV EV 2a. VAxe@V 2a. VVx ex 214. (v= F) > V 28. (w=~N EV EB) aoostre que quaisquer que sejam as proposigoes p,q er 28. [~~ pAg = pl & PVG 282. [p> (prgl @ p> 4) 203. [p> (= 1 [pAddr] 67s. 12,34) B=[l, 2,3, 4, 5, 6,8, 12, 2) P={2, 3, 6, 8, 12, 24) } 2, Foo, a sez. [-$.-1]ute, soot cain | 25.1, 1 S26. [r, took ee 4. 6) 32.6) 23.11) s4 [2,51 35, |= Lu} ute, sturs, +20 4.11) se 1-2, 62-3, 21 54a, Joo, 11 564, J-80, UL, +00 545, Joo, -a]UF-2, of pis 62 1 W 2 © 2 © “© 5 @ 6 © 2 ©) 2 0 . @) ig. 68 CCondigaoimposivel Condigao universal CCondgaopossve no universal CCondigao possvet no universal vsea, x>0 Na. HEA: 30 32€,A: « nia visa de praia 122, 3264 « niojoga futebol V x 123, VeER, Se-1>2Ax00 tah YEN, xe0V. 12, Porexemplo: um lsango no quadrado tem os quatro Iadosiguaie no é um poligono regula Condigto posse no universal 482. Condigio universal 16. Condo impossivel 184 Condigto possivel nto universal 185. Condigto possivel no universal 184 Condo impossivel ‘14:1. Proposgto verdadeira M2, 3xER: x>5Ax'¢25 Wa, WER, F< 25 res fm. h va] £172. 10, 3LUL4, +00 £172, Feo, o]U}V2, aL ULs, +00f aa Jo, Valuls, at 178. 0, 11UI3, af 174, 0, 1) 1p: 3r€R. Proposicio verdadera a: VXEN, €Z — Proposicio verdadel r:WxEQ, 20 Proposicto verdadel S:VeER, rcx* Proposigiofilsa (1>1) 1: MxER', x<2r Proposicdo verdadeira 19.1. A proposiao é alsa, pois por exemplo, 0) <0. BrER: ice 192, Proposicio verdadel 193, A proposigo é asa. Para x=2 ver (5x2~10)'<0. S4€R: (5x-10/<0 4194, Proposigto verdadelra(e=1) pag. 6 1 © 2 © 2 ® « 5 6 ©) 7 pag. 65 81. 1 éfalsae 1 évertadel 82, Vx T, x temum nguloreto => x nio éisdscles WXEL, x nto équadrado => x temas diagonals ferentes ‘ode o nimero real é menor do que. seu quadrado. Proposicao fsa (por exemple, 92. Existe pelo menos um niimero primo no eonjunto {2, 8, 4). Proposigio verdadet 93. Araizquadrada do quadrado de um ndmero real é um a ‘mero positivo, Proposicao falsa [V0"=0) ‘24, Existe pelo menos um niimero real diferente de 2 cujo ‘quadrad € 4, Proposigio verdadeira (—2')= 104. A=(0, 1} 102 B=(1, 3} 103. c=1-3, 104, 48=(0), 108. 4nc=(0, 1) 106 C\AUB)={-3, -2,-1,2) Beles, Mull, Us, +00f, 498, TAB=1-00, Ul, +201 m4. (1, 3,9) 492. (1,2,3,4,6,7,8,9} 42, a: ‘Asoma dos algarismos de 1235 émiliplo de 3° 2: *Onimero 125 émiitiplode 3." ~a=~b 1341. Proposicio alsa Por exemplo, 0! aa aren: vet 122, Proposictofalsa. 522: REN: 52002 123, Proposiciofalsa.2 éprimo-e 2 épar. BEN: n éprimoA n épar Fee terest 4188, Proposicte verdadet 4124, Proposicte verdadet 1,0,1,2,3} 1 a lmpossivel em IN 253eae z & M44. ER: x3 25 AxES 142. A proposicao ¢ ¢ falsa porque, por exemplo, (C6) 325.A-6e5, ouseja, ~q éverdadeira, waa. p:3xez: Sex x épar 282. Proposigaoverdadeira 283. x épar = x émiliplode 4 Proposigo fal, Por exemplo, 6 éparento émalipo de & m2. 275. F aa.P 254 By Assebra E at. 18 a2 50 ant p ae a fae BA. 23 82 3V3 Ba. 4V5 Ba AVS 58. 10V6 86. 352 on VIB 42 Veo 63. Vida>0 6h Vari7z; xR ey, ER ma. VE 12. -4V5 73. V3 1h 2-V2 as. Uva, a>0 z tva(eetja 2A. (Bx—1)(x+1) 123, [2r-V8)lar+-V5) 128. (6x-VA)(6x-V3) sna Vale 122. (e204) 24, (2re)2r+3) pe. 72 ‘Aviad iia? mc ww < ac uw 2 > 2a 0 aa. 3Va; a> 22, 2a, a>0.e b>O