Você está na página 1de 7
UC ee een Introdugao a légica bivalente Para cad ma ds quests desta sop, snlecione p80 cortentreak erates qe Ihe so orsetass, 5 Sejam p © g as seguintes proposies: p: Alots tm uma sia caste 4g: As term ua caso amarela Sabendo que p = ¢ €uma propos fas, selecione a proposigo vedadera (9) A Ins em uma sai castanhae uma camisola amare (@) A lds tem uma camisoa amarela ou no tem uma sin estan, (©) Se Inds no tem una camisol amel nto note ua sai asta, (©) A 8s no tem uma camisola amarela ou no tem uma sa casas, Sejam p © 4 dus poposigtes com o mesmo valor ico (Qual das proposes seguintes& necessrtmente verdad? Moenrr pra @pv~a>p Mar@v~a a ‘A negago da proposigto «Se o gto pret, eno, io perence x0 Joo» & (a) © gato pro e petence 0 Joo, (©) 0 gato no ¢preto ou no perence a0 Jos, (©) 0 gato nto ¢ prea epetence 20 oto. (©) 0 gato pretw ou to penance 20 Jose, ‘Consider rs cana A, Be C,e uma bole Scjam a, © as segues proposes: 4: Abolaesénacaina A > A bola x6 nasa B : A bolacsénacina C Sabendo que a proposigso ~[(~b A ~c) > ~ a] € verdad, seleione a ope core: () A bola es nacina A. (©) Abola x6 na cana B (©) A bola no est na cana. (©) A bola no est em nenhuma dss cas, hae questes ests sce, preset eu acini d forms das indcando todos ele ue ner Se eta a8 stares recesses. Consider as proposiges: 2: O imal tem quatro pats : O animal éuma we 1 animal no tem aos 112 Esceva em linguagem coment, 18 proposes sepintes eso nego a Sejam p © q dus proposes Lil as proprieddes das operas gies par implies sx expresses MPADY WA~ HV I~PAQ wiprgrpvg 3~~>~a a Sejam p © g dus proposes. Prove, rcorendo abel de verdad, que Mpedsleova Dip > 9) > pV g) E uma tutologia Sabendo que a proposigto ~[(~p Ag) =p] (p A 4) & alsa, determine os valores ipicos ee pedeg Consider a tbela de verdad represent prcalment a segui. Determine em cada linha os valores Wgics ds roposigdes a, b © © [EET aaa | F | Sejam a © b dus proposes Usilizando as propredades das operas peas, escreva uma expresso simplificada da negagio a propongao les A~mVa Condigdes e conjuntos Sein po) a condigdo definida por: — x A proposgdoverdaeia & 20) ¥ pty ©) 0) A pr) (© Kp) © x0 © pa) Consider a proposigto: «Existem ndmeros rei gus ao eu var absolut, as ops sepuints, selesion aque trad cometament afrmago em lnguagem smb «identi o valor igo da afrmagio Ww Veer @ VeeR.s=|sl; verde (© Bee Rex = ||; false (©) 3x Rex= ||; verdad 5 A proposigso ~(3.x © R:[x—1| = 2) é equivalent a a @ Vee Rx] + (© rE R[x—1]= (© 3rE Rei] + x flidade (© conjanto A MB pode ser defini por mldee| 1-2. 1-21 a condo ( ~ ee + 1) <0 tem conjuna sols: J, 1-1, +04 oni }-2, = wf; ae qostve esta sop, preset se rice de forma cla indeane toe oeesos que ver se tetas stags meessira. a Consider as cones a): =F = He 18 my. Serta Ctessingu, nos uivenon egies, scones dads ats) Dn oR a Escev em liagugen cress, popesges seis aVseZ et 6<8 bye Ray=2v y=) a “ 3:1 Uiliznde quanificadorestradua, em inguagem simi, cs uma das expresses segues: 2) Exit pelo menos um nimero primo que €quadrado perf 1) Todo omimero rea ao posvo tem um simétco positvo. 5:2 Indigu ovale gio das proposgtes ancriores 3.3 Esreva em linguager corrent, nego das roposgbes dads em 3. a Indique um cotraexemplo para as seguinesproposiies a VreRx<0Ve>1 oO VEE Ne x4 11 épimo peer’ |a]>1 are (2 Ihe 21 a Consider em IR, 8 segintescontigaes a: HIP H 24S He 12+ ca: 142820 5.1 Classique cada uma das conde. 5.2 Determine o conju slugs de: 29.069) 4 bes) 1b) ~(40) A et) V ota) a Indiqu, jusificando o valor Iiico das proposiies segues 9 Wee Ra = ar34G—2)>0 ¥ ot -twer-2th=) w VEER + ara ate 1) + 10ex— AF a Sem utilizar simbolo ~ ,escreva em lnguagem simbslica a nega das proposgSsconsiderads x 6. a ‘Considers, no universo U. os coajuntos: A= WEUDEW< I} B= [KEU—¥ =O} x € [2043] <4} 182 Seno UR, define poste, sob forma de itervalo de nmeros eis, ido de intervals

Você também pode gostar