Scribd Logo
Upload

Welcome to Scribd!

  • Lista Logica A

    Uploaded by

    Rodrigo Rocha
    5 views14 pages
    Lista

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    Lista

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    5 views14 pages

    Lista Logica A

    Uploaded by

    Rodrigo Rocha
    Lista

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    of 14
    16 1/05 Fundamentos: Logics ¢ Dernonstragies o1 tor 0110 11.0001 1101 M1011 111 ov 01 0001 0100 1010101011 v-aPY@Ag) 5. Considere que pe 4 so as proposigdes:"Nadar na praia em Nova Jersey & permitide.” © “Foram descoberos tubarses pero da praia, respectivamente. Expresse cada uma dessas roposigBes compost como uma sentenga em portugués a4 bprg ova Dra) a D-p-4 Peg WPAY 9) JOHN WILDER TUKEY (1915-2000) Tukey, nasido em New Beier Massichusets, ea illo ico. Seus pas, ambos profeesores, decidir que a cdocayio em cae sera a melhor oppo para o desenelviment de seu pote. Sua educa formal iniciowso na Universidade do Brown, ende estidou matematica e quimice. Tukey receiou 0 ‘Bordo cm guimia da Brown conngou seu estos er Pnceten. Como no da Segsnda Gucrea Mindi, le se jumtou so Fire Congo Research Office, nde como a abuhar com estate, Tukey, em sss pesgiss com ‘sta, iprestionou mits exttstics com su abides rm (945, como im da guews, Tukey eto ‘Scparamena de matemdica de Princeton como profesor de exalstiae ambi sssociot ae ao laboratro ATT, CMMI sic fendoso Deparment de Esatintca da Princeton em 1966 efi seu primeira exter, Fe cotrbiacn signifcavas em malts teas 6 estaisica,inclndo arise de varias, ximativa do cop das sis det, infeéncis sobre valor de um gropo de parmetos de um experiment e filosofia d estatstice, Entretant, ele € muito eonkecido por sua invengo, em parcria com J W. Cooley da wansformayioripida de Fource. Alem de suas contibuigdes em esaistica, Tukey & vite como vam habilidoseconhecedor de Wordsmith; fem o crédito de cunbir os terme bite oftware. “Tukey contribu com sua vio © eonbacimento servindo © Comit® Consultivo de Cidnci do Presidente. Ele iderowdiversoscomits| importantes, idando com melo ambiente, educa, quimicac sade, Ble ambm seria nos comités de desarmamento nuclear Tukey ree ‘be muitos premio, inluindo a Medals Nacional de Ciena. NOTA HISTORICA Hi mutas ouras denominagées para diptebinisio, como bint ¢ big, mas nunca foram mundialmente accitas. A dogo da paar bit liga a su semethanga cm a palavra em ings Para wma descrigo da cunhager da palavra bit por Tukey, va revista Anais da Histina da Compucaedo, de abril de 1984, LW 6. Considere que p eg so proposigdes: “A clei eat deci= ida” € “Os votos foram contados",respectivament, Ex- presse cada uma desias proposigdes compostas como uma ‘sentenga em portugues a bpva 9 -pAq aap od Dap 9 waa WaaVGpAg) 7. Considere que pe 4 so proposiies: path abaixo de zoo @-Esdnevando. Eacreva esas propongSes usando p, ge conetivos icon. 2) Es abaixo de zero e nvando, ') Esa abaixo de zero, mas do esténevando. 6) Nto est abuio de zero eno est nevando, 4) Est ou nevando ou absixo de zero (ou 0 dot). 1) Se ost absio de zr, est amin nevando. 1) Esti ou novando ou absixo de ze, mes néo esti nevand se etverabuixo de 20. £8) Paraque esejasbaixa deer necessvio,esufcente, aque esta nevando. §. Considere que pq sto as proposges: Noo est om grip. 4: Nose prde a prova final. 1 Noet foi aprovado no exo Express cada uma destas proposigbes compostas como ‘uma sentenga em porta, 9 pg gsr 8 @I-NVG--9) D GADVEaA 9. Consdere que pe 4 so proposicdes: _p: Noob dirigea mas de 104 kms, 4 Noo rcebe tm multa por exceso de velocidad Escreva estas proposes usando p, g € conectivos logics. 8) Vooé af drgea mais do 104 kash 1) Voeé dirge amas de 104 kv, mas nto eecebe uma mula pr excess de velocidad ©) Voce receberd uma mia por excesso de veloidade, se ee dig mais de 164s @ Se voct nko digi a mais de 104 km/h, voo! nto receber uma muta por excess de vlocidade. ©) Dirigi a mais do 10% kmh & sucionts para receber uma mula por exces de velocidad. 1) Voce reeebe ums mula por excesso de velocidade, mas voo! nfo digg a mais de 104k ) Sempre que reeeber uma multe por excesso de ‘eloidade, vot estar rigindo mais de 104 km/h, 10. Consdere que p 4 330 propasigies: ‘p: Noot tra um Ano exame fal 4 Noo fa todos os exereicios deste lo 7: os tira um A nesta atria Escreva estas proposigSes usando p, 4, re conestivos ligicos by ager ® pvavr 1M Légica Proposcional 17 4) Voct tra um A nesta mattra, mas allo faz todos 05 cexercicios dese liv. 1) Voct tra um Ano exame final, faz todos 0s exericios este livre tra um A nesta matria, (©) Tirar um A nesta matéria & neceséri para trar um A. sno exame final 4) Yoo tira um A no exame final, mas no faz todos 05 exercicios deste Livro; no entano, tra um A nesta snatéria, ©, Tirar um A no exame finale fazer todos 0s exerfcios este liv €sufleiente para iar Amesta mati 1) Voct vai tirar um A nesta matéia see somente se voot {izer1odes os exereicios deste lvzo ou voce tirur um A, ro exarme fin M1, Considere que p, 4 © rs80 proposiies: 1p: Ursos-cinzentossio vistos na frea. ¢q: Fazer caminhada na trilba é seguro, As bagas esto madusas ao longo da tila, Escreva estas proposigoes usando p, g, re conectivos loicos. 4) As bagas estio maduras a0 longo da teitha, mas 08 ‘ursos-cinzenos no so vistos na dea, 1) Ursos-cinzentos no so visio nareae fazer caminhada a tila é seguro, mas as bags esto madures ao Longo de wilha, ©) Se as bagus catio maduras a longo da tia, fier ceaminhada é seguro see somente se os urss-cinzentos ao forem visto na dre. 4) Nio ¢ seguro fazer caminhada na tila, mas 0s urs0s- Cinzentos ni sla visos na rea a hagas uo longo sah estio madras, ©) Para a caminhads ser segura, & necesiro, mas no sufcent, quo as bagas nfo essen madurs eo longo da ‘hae que os usos-cinzentos no seam vistos na ea 1) Caminhada nfo 6 sogura ao longo datrlha sempre que (08 ursos-cinzentos so Visos na cea as bagas esto ‘maduras 20 longo da tilha. 12, Determine se estes bicondicionsis so verdadeiros ou falsos. a) 2+2=4seesomentese 1 +1 =2. b) 1+ 1=2seesomentese2 +3=4, ©) 1 +1 = 35s esomente se maczeos puderer vost, 4) O> Lseesomente 2 > L 13, Determine se cada uma dostas proposes condicionais & verdadeira ou fsa. 4) Se macacos puderem voar, enti 1+ 1 14, Determine se cada ums desas proposes condicionaisé verdadeita ou fs, a) Sel+1 b) Sel +1 9 Sel+t @ Se2+2 1s. 16. ”. 1 Os Furdamentos: Logica ¢ Dernonstragies Para cada uma destas sentengas, determine seo ou é inclu sivo ou exclusive, Explique sua resposta 8) Café ou chi ver com jantaz. ) Uma senha deve ter 20 menos ts digitos ou oito caracteres de comprimento, ©) 0 prérequisto para o curso 6 um eurso em teoria dos ‘nimeros ou um curso em erprografia. 4) Voc! pode jogur usando délares americanos ou euros. Para cada uma destas sentegas, determine se o ou €incli- sivo ou exclusive. Explique sua reposts 1) Experiencis em C+~ ou Java énecessria. ') 0 almogo inclu sopa ou salads. ©) Para entrar no pas, énevessério um passaporte ou um ‘arti de registro eeitoral 4) Publique ou sucumba Para cada senteng, idemifiqu o que significa a sentena, se (001 € inclsivo (ou sea uma dsjuneZo) ov excusivo. Quis os sigificados do ou voos pens ser intencional? 8) Para cursar materética discret, voo8 deve ter tido cleula ov um curso de ciéncia ds computagio. ) Quando vost compra um novo caro da Companhia Acme Motor, voct pega de volta $ 2.000 ou um ‘empristimo de 2% ©) Jantar pera dos inlui dois itens da colune A ou tts itens de eoluna B 4) Acscola fecha se cair mais de dois pts deneve ou sea ‘sensagho térmica estverabsixo de 100. sereva cada uma desta proposes na forma “sep, entfo 7 em portugnés (Dica: Recor i lista de manerascomuns te exprsiar proposigies condicionais inserida neta seg) 8) Ernecessrio lvar o caro do chee para ser promovid. ) Ventos do su implicam um degelo primaveri ©) Uma condigdo suflciente para a garantia ser valida & ‘que vocttenha comprado 0 computador em menos de 4) Leo é ego sempre que ele trapaceia. ©) Voot pode acessaro site apenas se voe’ pagar uma taxa de assinature 1 Escola as companhias certas, conecendo as pessoas eras {Carol fice enjoada sempre qu est em um barco. Esereva cada uma desta proposes na forma “sep, entfo a” em portuguts. (Dea: Recor i lista de mancias comuns de exprestur proposgies condicionai insrida neta sega) 1) Neva sempre que o vent sopra do nordest, As maciciras Noreserio se contiausr quente por uma ©) 0 Palmeiras panher 0 eampeonato implica derrotar 0 ‘io Paulo. 4) £ nevessirio andar 8 milhas pare chegar a0 topo do "Pico Lon ©) Para conseguir mandato como profesor, € suiiente ser famoso mundiakment. 1) Sevood dirigirpormais de 400 mithas, tent de comprar sgesolina ) Sun garantia é vilida apenas se voo8 compro seu aparelio de som em menos de 90 cas b) Jan madara menos que a yu eseja muito fia 48 20, Escrova cada uma destasproposigdes na. forma “sep, entZo 47m portugus.(Diea: Recor sta de meneiras comuns de express proposigdescondicionas inser nesta seg.) 1) Eulembrare de enviar para voct oenderego apenas Se vvocé me mandar um e-mail by Para serum cidado americana, ésuficiente que wood tena nascido nos Estados Unidos. ©) Se vocé mantiver seu livo térico, ele seri uma refe- cia iil em seus cursos futuros. 4) 0 Sto Paulo vencerd o Campeonato Brasileiro se seu goleirojogar bem: © Conse 0 emprenimpia vet tras malo 1), Haver erosio ne praia sempre que houver um tem- pestade 1 Para ter uma senba valida, énecessrio que nice uma ‘conexdo no servidor. 1) Woot aleangari © cume « menos que voet comece a cscalada muito tarde. 21, Escreva cada uma destas proposiqBes na forma "pst © 0 ‘mente seq em portugués. 8) Seesté calor I fora, voot compra um sorvete se vor ‘compra um sorvete & porque est eal i fora. ) Para que voed ganhe na lotera,énecessrioesuficien- te que vocd tena o nico bilsete premade, ©) Yoo? seri promovido apenas se voe® tvercontato, © ‘vee 36 terkcontaos se for promovide, 4) Se vocé assist &teevisto sua mente se deteriora, © ©) Os tens arasam exatamente nos dias em que eu os pepo. 22, Esereva cada uma destas proposiqSes na forma “p see 0 ‘mente seq” em portuguts. 8) Para que voct obtenha um A neste curso, &novessécio « suficiente que voct aprenda como resolver proble- ss de matematica discret 1) Se voce ler jomal todos os dis, vootestardinformado, ©) Chove se € fina de semana, e€ final de semana quando chove, 4) Yoo8 poders vero feiticeiro apenas se ele no estiver| escondido, eo feitcero no estar escendido apenas se voot puder vé-o, 23, Determine a oposta, @ contrapostiva ¢ a inversa de cada um das proposigbes condicionis, 8) Senevar hoe, esquiarei aman 1) Eu vento dauta sempre que i ums prove ©) Un inteio positivo €um primo apenas seni tem di- visors além de Ie dele mesmo, 24, Determine a oposta « contmpositiva e a inversa de coda lua das proposigSes eondicionas. a) Se evar esta noite, eno feaei em cas, by Bu vou d praia sempre que fiz um dia ensolarado de veto ©), Quando me deito tard, &necessiio que eu durma até omeio-dia, 28, Quantas linhas aparecem em ume tbela-verdade para cada uma destas proposigdes compostas? 9) pop 119 BY AG@V=8) 9 gVpV—8V—rVatVu ® GArADM GAD 26, Quantas linhas aparecem em uma tabele-verdade para ‘ada uma destasproposigbes composts? 9) @> Vp) ») BY-AGV=9 9 AVES DV Guy @ BAAS VGADY EAD 27, Construa uma tabela-verdade para cada ume destaspro- posigBes composts. a) ph-p 9 @V-0=¢ 9 >a Ga—>-) D ea) G2) 728, Construa uma tabela-verdade para cada ums destas pro- posigdes composts. a) poop 9 powva) 9 GP) erg) 0 Gm geer-a) 29. Construa uma tabela-verdade para cada uma destas pro- posigBes composts. ) Va eo9 9 GVDSHAD) 9 Bergeron) D ~oa—GO-9) 30. Construa uma tabela-verdade para cada ume destaspro~ posigles composts. a) pop » pv-p @ @vad—> era b pene @) @Agd—> eva ») ~ON> AD ) Poger—era » po-p 9 pong @) -po-9 9 ANVPO-9 9 PSaAGO-9) 31. Construs uma tabela-verdade para cada uma destas pro osigies compost a) poo 9 > aVER>9) 9 GHgVvereg) 0 penned 132. Construs uma tabela-verdade para cada uma destas pro posigBes composts. by apeg 8) Pa ACP a) ®) @vayr Devaar © @Agyr ® Agar 9 @VQA—r Agar 33, Consrua uma tabea-verdade para cada uma destas pro- posigdes composts ) p>Cavn ») p>) 9 OVER ® PDAC P+) 9 DogVegen D Cpr gen ‘34, Construs ume tabela-verdade para ((p —+ g)—+ 7) 1M Légica Proposcional 19 35, Constun uma tabela-verdade para (p + g) ++ (7). ‘A Qual o valor dex depois que cade uma estas proposigdes se ‘depararem com um programa de computador, = ) Se as aueridades também sabem que apenas um dos ‘quatro estd mentindo, quem cometeuoerime? Exponha seus argumentos. 65, Resolva este firmoso quebracabeca, atrbuido a Albert Finsiein ¢ eonhccido como o“Enigma da Zebra”. Cinco ‘homens de nacionalidades diferentes, com empreyos dift- {ees vive em eass consceatvas em uma ra. Esss «casas esto pntadas com cores diferentes. Os homens tm snimals de estimagto dieromese gotam de bebidas dife- renfes. Determine quem tem uma zebra e quem tem por bbida favorita agua mineral, a partir dests pists: Oin- is vive na casa vermelha.O espanhol tem um eachoro (0 jeponés & pntor.O italian bebe chi. O noruoguas vive ‘primeira case esquerda, Acasa verde éimediatamente do lado dicta da casa branca. O fotbgrfo cra cara. © Aiplomata vive na casa amarela. Bebe-se lite na casa do ‘meio, O dono da casa verde bebe calé. A casa do norue- sus €o lado da azul O volonista bebe suco de lrane ‘A.raposa est nacasa 20 lado dado fisico.O cavaloesté na asa 20 lado da do diplomat, [Dica: Faga uma tabela ex que as fils represen os homens e as clunas, cor das «casas, seus empregos, seus anima e suas bebidas favori- tas e use a arpumemagio Iégia para determina as entra- das cores na tabla] Introducao ‘Um importante tipo de passo usado na argumentago matematica¢ a substituigdo de uma propo- igo por outra com 0 mesmo valor-verdade. Por esse motivo, métodos que produzem proposi- ‘¢ées com o mesmo valor-verdade que uma dada proposigio composta so usados largamente na construgdo de argumentos matematicos. Note que vamos usar 0 temo “proposigdes compostas” ‘para nos rferir a uma expresso formada a partir de variveis proposicionais que utilizam opera- ores ligicos,tais como p A g. ‘Comegaremos nossa diseussio com a classificagio de proposiges compastas de acordo com ‘seus possiveis valores-verdade. DEFINICAO1 ‘Uma proposigo composta que & sempre verdadeira, qualquer que sejam os valores-verda- de das proposigies que ocorrem nel, é chamada de tautologia, Uma proposigSo compos tagque é sempre falsa, qualquer que sejao valor-verdade das proposigSes que a complem, € chamada de contradiedo. Uma proposigo composta que nfo é nem tautologia nem con- ‘digo 6 chamada de contingéncia, ‘Tautologias ¢ contradigdes so muito importantes no racioeinio matemético. O Exemplo | ilustra ‘esses tipos de proposigées compostas. 28 1 / Os Fundamentos: Logics ¢ Dernonstragies Exercicios 128 1. Use a tabela-verdade para verifiear ests equivalénias. a) pAV b) pv © PAF pv © PYP=P Dear 2, Mose que a(-p) €p sto Togicamente equivalents 3. Use a tabela-verdade para verfcar as propriedadescomuta- ®) pva=ave by pgm ane 4, Use tabela-verdade para verficar as propriedesassocia- a) @YQVr=pVGvn DW GADAr=PAGAN 5. Use a tabole-verdade para verifier a propriedade distribu PAGYN=BADV PAD. 6, Use a tabelaverdade para verifcar a primeira lei de De Morgan. AE AQ= PVG J. Use as leis de De Morgan para encontrar a negagdo de cada uma das proposigdesabeixo. 1) Jan rica feliz ») Carlos andard de bicileta ou corer aman 9) Mei ana ou pega o Gnibus para ir escola 4) Torahim € espero trabulha muito. ‘Use as leis de De Morgan para encontrar a negagao de cada ‘uma das proposigBes abaixo, 1), Kwame trabalharé na indistria oo irk para a faculdade, ) Yoshiko conbece Java e cleul. «9 James éjovem e forte, 4) Rita mudaré para Oregon ou Washington. sit aposentarse xn 1952. HENRY MAURICE SHEFFER (1883-1964) 9. Mose que cada ume das proposigdes condicionas seguir ume tutologa,usundo a abela-verdade. 2 eAD=P PHYA) 9 P09 HEAD O-9 9-09-2979 —-9 10. Mostre que cada uma das proposes condicionas abaixo € uma tautologs, usando a tabela-verdade a) bp Aeval—g » (E> 9AG>MI> > 9 PAG= Oa & (PYDAG—>NAG—>N]—>r 11, Mostre que cada uma das proposigdes vondicionas do Exercieio 9 ¢ uma tautologia, sem usar a tabela-verdade, 12, Mostre que cada uma das proposigdes condicionais do Exeroicio 10 ¢ uma autologia, sem usar a tabela-verdade. 13, Use a tabela-verdade para verfcar as propriedades de absorp, a) PYOAM=P_ BW PAGVA=P 14, Determine & (=p 4 (p+ @)) > 9 €uma tautologia. 15, Determine s& (=9 4 (p+ @) > p 6 uma tautolopia Os exericios 16228 pedem que voc8 mosire que duas propo sides compostas s20 logicamente equivalents, Para fazer sso, ou most que os dois lidos sto verdadeirs, ou que os ois sto falsos, para exatamente as mesmas combinages de valores-verdade das vardveis proposicionais nessus expres- ses (0 que for mais fil), 16, Most quep + ge(p Aq) V (>p A-¢) so equivalents, 17, Mosse que (p99) #9 +> so geen en Henry Maurice Sheffor, ho do pas judous, nascou no esto da Ur ni e emigrou para os Estados Unidos em 1892 com seus pais eis imos, Estado ma Escola Latina de Boston antes de entrar em Harvard, onde compiciu sua praduayo em 1905, su mesvado em 1907 ¢ seu Ph.D. em flosofa em 1908, Depois de conguistar uma psig dep door em Harvard, Henry vsjow pa a Europa com bolts de pes: ss Ao reomar para os Estados Unios, cle se tomou um académico némade, peamanecendo iano em cada univer. Sade: Universidade do Washington, Coenall, Minssots, Missouri Unveridado da Cidade, em Nova York. Em 1916, cle eterno a Harvard como membro do corpo docente do department de filosofia. Penmancces em Harvard Sheffer inzoduzi, en 1913, 0 que eanhecemos hoje par “gape de Shot” que se tamu fimoso apenas depois que foi usado em 1925 na ego de Principia Mathematica, de Whitehead © Russel. Nesa mesma edigao, Rusel eseeveu que Sheffer ‘nha inventdo um poderoso método que podeia ser usado para simplificar a Principia. Por causa dessecomentirio, Sheffer er visto como um ome misterioso para os logos, expecalmente porque ele, que teve poucas publica a0 longo de sua carrera, nunca public os ‘etalhes cess metodo, que fo apenas descito em noas de mimiSerafo com una breve publicasdo abate. ‘Sheffer fi um profesor dediado de lgica matemitca Fle gostava de instar auls em trmas pequcnas lo gostava de audios. ‘Quando estanhosapareciam em suas alas, Sheffer pedi-Ihes que se reiessem, mesmo se fosem colegas cu convidaos que iam vsiter ‘Harvard, Sheffer tinha apenas um metzoe mio de altur; era noado por sua intelgéaciae vigor, asim como pelo seu nervosism eiia- Dildade, Embora muito nteligente, ele era muito soznto. Ele €conhecido pea pada que fez a aposenta-s: “Professores velbos nunca ‘morrem, tormam-se emits". Sheffer também tem o crédito de eushar a expresso “igebrabooleana” (assunto do Capitulo 1 deste lo). Ele foi casado por um cur espago de tempo c viveua maior parts e su vida madurt em um quarto de hotel, com seus los de lbgica © um vasto aguive de paps em gue ele costumava anotar suas itis. Infelizmente, Sheiler soffeu de depress profunda durante as duas ‘imas datas de sua ics. 129 18, Mostee que p + g ¢ +g + 7p sio lopicamente equivalents. 19, Mosire que 7p “+ q © p ++ 9 sio logicamente equivalents. 20. Mostre que ~(p © 4) © p + 4 sto logicamente equivalents. 21 Mostre que “1p + 9) € ap 9 g slo logicamente ‘quivalonts. 22, Mostre que (p = 4) 4 (p = Dep + @ Ar) sto logicamenteequivalentes. 23, Mostre que (P >) A (q+ Ne” Vg) +7 si0 logicamente equivalentes 24, Mose que (p -» 4) Vp + ep —+(g Vr) sia logicamente equivalents 25, Mostre que (@ +) V G@ +e Ag) +r sto logicamente equivalents. 26. Mostreque—p (q+ r)eq— (9 V7) so logicamente cequivalentes. 27. Moatre que p ++ 4 ¢(p—+4) A (gp) so logicemente equivalents, 28, Mostee que p ++ g ¢ ap e+ 9 sto logicamente ‘quivalentss.| 29, Mostre que (@ > 4) A@ =) = @ +7) e uma ‘wutologia. 30. Mostre que (pV 9) A ap Vr) > @ VA) é uma tautologia. 31. Mostre que (p —+ 9) + re p + (g + 7) nko sto cequivalentes. 32, Mostre que (p Ag) > re (p+) A (9 =) no sto equivalents. 33. Mostre que (p+) (r—+5) €(@ +7) +g +9) nto slo logicamente equivaleates. (© dual de uma proposigio composta que contim epenas ‘operadores logicos V, e+ € a proposicao compost obida pela roca de cada V por A cada A po v, cada V por Fccada Por V.O dual des é representa por s™ ‘34, Encontre 0 dual de cada uma destasproposigdes com- posts. 9) pv-4 9 GA~DYGAD ‘38. Enconre 6 dul de cade ume destasproposigdes com- posts 3) pagar 9 GYR A@YY) ‘36. Quando s* = s, em que sé uma proposicto compost? 237. Mose que (2)* = quando s una proposisio compost. ‘38. Mostre que as equivaléncias logicas da Tabela 6, exce- to pela proprisdade da dupla negapio, vim em pares, fm que cada par contém proposigSes compostas que So dns de st propeas #939, Porque os dusis de dus proposigdes composts equiva- lentes so também equivalentes, em que essa propos- «es composias cont apenas os operadores, V €-? 40. Encontre uma proposisHo compost que envolva as v2- ‘ves proposicionis pr, que éverdadeirs quando p eg slo venders e 7 & alsa, mas o contri ¢ flo. [Dica: Use uma conjungio de cada varsvel proposicio- ‘alow sua neg0580,] D PAGVIrAYD ») @AgArVs KAYm x4 1.2 BquivalnciasProposcionas 29 41, Enconire uma proposicdo composta que envolva as vardveis propositions p,q er que ¢ verdadeira quando cexammente dias de p, q er forem verladeirs, mas 0 contririo&fls,[Dica: Formeuma dsjungiodeconjungses. Inclua uma conjungao para cada comibinagao de valores ara os quais a varanteproposicional for vedadeira. Cada ‘conjungao deverincluir eada uma dessas ts varveis ov suas nepagdes.] ‘42, Suponhaqueatabele-verdadcem variéveisproposicionais dada. Mostre que pode ser formada uma proposigio ‘composta com esse abela-verdade = partir de ume Alisjunglo das conjungdes das varéveis, ou suas negagies, ‘com uma conjungdo formada por cada combinagdo de valores para os quais a proposig2o composta ¢ verdadeia. A proposigio composta resultant € chamada de forma ‘normal disjuntiva. ‘Um conjunto de operadores ligicoséchamado de funcionalmen- ‘e-completo quando todas as proposigdes composas so logics- ‘mente equivelenes «uma proposigdo composts que envclva apenas esses operadores logics. 48. Mostreque >, Ae V formam um grup de operadores logicos funcionalmenie completo. [Diea: Use 0 fato de que toda roposiglo composts ¢ logcameate equivalent a outra em ‘uma forma normal xjuntva, como visio no Exerciio 42.) M44, Mestre que ¢ # fermam um grupo de operadores 1gicos funcionalmente completo (Dica: Primeiro use @ lei de De Morgan para mostrar que p V q & equivalente aap Ano) "45. ‘Mostce que € V formam um grupo de operadores Iigivas {ancionalmeste completa 0 exerci subsoqientes enoltem os opsradores Iipcos [NAND e NOR. A propesigdo p NAND q& verdadeira quando ou ‘pong, ou mbes, orem Eilts; «6 fsa quando p eg, mbes, forem verdadeires. A proposgto p NOR € verdadeira quando amas, pe form falas, e€ flea em ghalque uo cao. As roposgdesp NAND g ep NOR g io indeadss por p|g ep | ay respectivament, (Os operadores ej sochamados de conective de Sheffer e fecha de Pere, seecoendo os nomes de 1. M. Sheffer eC. 8, Pete, respectvament.) YR Consus iabela-verdade pata. 0opetador lgico NAND. Moatee que p| 6 losicamente equivalent a(p 9). Consinun a tabol-verdade par ooperadr gio NOR. Mose que |g lopieamenteequivalente (9 Va). Neste exerccio, mosrremos que {1} ¢ um conjunto de operadores ogiosfencionamente completo 4) Moste que p |p €loglcamente equivalente ap. By) Mostreque(@ 14) (pL a) élopicamente equivalent apve 1) Conelue a pats dos tens (a eb) ¢ do Bxercicio 49 cue {J} € um conjnlo de openderes ligicos funcionalmente completo Enconte una propor; composts lopiamensequvalete apg, usando apenas 0 operaer gio |. Mose que} € um conjunto de operadores Iipcos funcionalmests completo. Mose que|4.eq | sto equivalentes Mose que p | (|r) © @ |g |r no so equivalents; portato, operator pico | do &associtvo, 30 1/ Os Fundamentos: Logiea ¢ Demonsrages Be Quunts formas diferentes de abelas-verdade de proposi- es composts cxstem gue envolvam as variates propo Scionsispeq? 56. Mosre que se, 9 so proposgdes composts, em que pe 4 Solopkanenic eqialenes eg er soar opcames- ‘Cexuivlents, eno p erst ocamen equivalents 430 ap 7g Vasp VV sep Vr 75 podem ser ver- dadciras simultancemente, 2 pertir da consiruglo de uma abela-verdade com valores para p, 9, 7 ¢ 2? ‘Uma proposigdo composia & satsfatria se existe uma strug de valores-verdade para as vardveis na propo- A sent ‘a seguir foi tirada das especificaydes de um on 3G A senenea a sep fol tad das especifieacdes sg Queda propasigs composts abuixo so saifiras? berto, entio o monitor é posto em estado de fechemento, a) PV VAD AQVgV 8) APVarV 8) A Seo ssa no estiverem ses inca” Eas xp (Pv-4¥-) AG VaV~8) cilagio dil de ser compreendda porque ewvolve ———_b) (apV—g VDA Cp VG 8) AV a Vs) A Proposes com dus eondiconas.Eneotre um equiva ey ey HAGMAN SAU tem, una specifier de fc ompreensa, WEEWOI- a) DV gVZ) AY a V AV FV) A 2 See tees ae eng Gpvrvgncpvav- AG oaVaa 58. Quins das disungtes pV 4, pV 9 Vig are pv a9) pV V8) “iq Vr podem ser verdadeiras simultaneamente, apar- 61. Explique como um algoritmo para definir se uma proposi- tir da construgfo de ume tabela-verdade com valores ara, qr? 59. Quantas das dsjungées p Vg Vs, ap Vr V 5, 4p. Var Vnasinp Va Vasa VrV8, gar, fo composta¢ satisfatria pode ser usado para detemi- nar se uma proposigio composta & uma tautologi, [Dia Observe -yp, em que p &a proposigdo composia que esth sendo examninada 1.3. Predicados e Quantificadores Introdug: A logica proposicional, estudada nas segGes 1.1 ¢ 1.2, ndo pode expressar adequadamente 0 sig- nificado das proposigSes em matematica ¢ em linguagem natural. Por exemplo, suponha que saibamos que “Todo computador conectado a rede da universidade esté fumcionando apropriadamente." ‘Nenhuma regra da l6gica proposicional nos permite decidir sobre a veracidade da afirmacio “MATTED esté funcionando apropriadamente,” ‘em que MATHS um dos computadores conectados & rede da universidade, Da mesma forma, alo podemos usar as regras da logic proposicional para conclu da proposigo “C82 esté sob ataque de um hacker” fem que CS2 é um computador na rede da universidade, para concluir que é verdade que “Bxiste um computador na rede da universidade que esté sob ataque de um hacker. Nesta sepo, vamos introduzir uma logica mais poderose chamada ligien de predicados. ‘Veremos come & logica de predicados pode ser usada para expressar 0 significado de um amplo ‘7upo de proposigdes em metemtica e em ciéncia da computagdo de modo que nos permits ra- ciocinar¢ explorarrelagdes etre objetos. Para entender a logica de predicados,precisamos pri- :eiramenteintroduzit 0 conesto de predicedo,Posteiormente, vamos introduzir o conceito de quantficadores, que nos permite racocinar com declaragées sobre dcterminada propriedade que ‘ale para todos os objetos de cert tipo ¢ com declaragdes sobre a cxsténc de um objeto com uma propriedade especitica 6 1 Os Furdamentos: Logica ¢ Dernonstragies 146 ‘Umnovo predicado teaches(p,), que representa que o professor p ensina o estudante s, pode ser definido usando uma Prolog rule teaches (P,S) :~ instructor (?,¢), enrolled(s,©) ‘© que significa que teaches(p,s) ¢ verdadeiro se existr uma classe c tal que o professor p & ins- ‘tutor dessa classe e 0 estudante 5 esti matriculado na classe c, (Note que uma virgula é usade para representer uma conjunedo de predicados em Prolog. Similarmente, um ponto-e-virgula & usado para representar ume disjungdo de predicados.) Prolog responde as perguntas usando os fatos€ as regras dads. Por exemplo, usando os fatos, eas rogras listadas, a pergunta ?enrolled (kevin,math273) produz a resposta yes porque o fato enrolled (kevin, math273) foi dado como entrada. A pergunta enrolled (x,math273) produz a resposta kevin kiko ara produzir essa resposta, Prolog determina todos os valores possiveis da varivel X, para os quais envolled(X, math273) foi dado como Prolog fact. Similarmente, para encontrar 0s profes- sores que sio os instrutores das classes de Juana, usamos @ pergunta 2 teaches (X, juana) Essa pergunta retoma patel grossman Exercicios 1 Considere PG) como a proposigio “x < 4". Quais sto os, valores-verdade das proposiqdes abaixo? ) PO) HPA PO 2. Considere P(x) como a proposiglo "a palavra x contém a Tea a". Quais slo os valoresverdade 436 proposigbes abaixo? 8) P(orange) ¥) P(lemon) ©) PCirue) a) Pifalse) 3. Considere Q(x, ») como a proposigto “x é a capital dey.” ‘Quuis os vulores-verdade das proposigbes a seguir? 2) Q(Denver, Colorado) b) Q(Deteoit, Michigen) ©) O(Massachusets, Boston) 4) Q(Nova York, Nova York) 4. Consias valor de + depois que a proposigio if P(x) the xe:= | for excoutnda, om que P(x) 8 proposiqio "x > 1 seo valor de, quando essa proposiglo for aleangada, for ae wx or ‘5. Considere P(2) como a proposisio “x passe mais do que inco horas em aula todos os dias", em que o dominio de x So todos 0s estudantes. Expresse cada uma. dessas quantificagSes em portgués. 1 a) PG) d) YP) AP) d) Ve PQ) 6. Considere N(2) como a proposiglo "x visitow Dakota do 10, un 2, ‘Nort’, em que o dominio soos estudates de sua escola [Express cada uma dessas quanticagbes em portgués, RNG) bY YENG) 6) AEN) ® NG) YENG) 1) ¥rG) ‘Transoreva estas proposgées para o portugués, em que C(x)" é um comedian” ¢ F(x) € "x &divertdo” c 0 dominio so todas us pessoas 8) Ve(CO)—+ FLD) BY VK) AFD) 9 (CG) FE) €) 3x(Cle) AF) ‘Transcreva estas proposigdes para o portugues, em que RG) 6° 6 um eoelho” e HC) "x sali 0 dominio so todos 0s anima. 8) Va(RG)—= HG) —_b) YaCRE) AHS), 9) BRE) HE) — @ BR) AH) (Considere A) como aproposigio “rfala uso” econsidere {2G comoa roposigio "seb linguagemcomputaciosl C4 Express ead uma dosss setengas em termos de (@), 0), quanificadores¢eonetivos gins. O deminio parm quantiicadores si tos os estudants de su escola 4) Ha um estudante em sua escola qu fala asso e sabe CH. b) Hijum estudante em sua escola que fal russ, meso sabe CH. 9, Todo estudante em sua escola ou fale asso ou sabe cH. 4) Nenhum estudante em sus escola fla russo ou sab_ CH. Considere C(x) como proposigio “x tem um gato", DG) ‘como “x tem um eachomo” ¢F() como “tern um far" Express cada uma dessa proposigies em termos de C2), DQ), FC), quanificadoese emectivos Kigicos.O dominio, ‘io todos os estudiantes de sa sal. 4) Um estdante de su slater um guto, ur cachor © um fist. 1) Todos os estudantes de sua sla tém um gato, um ‘achoro ovum fro, ‘9, Algum estudante de su sla tem um gato e um fark, ‘as alo tem um cackoro. @) Nenhum estudante de sua sala tom um gat, um cashoroe um fur, 19, Para cada um desestrés animais, gatos, cachoros € furbes, hd um estudante em sua sla que possi um dos ‘ués como animal de estimagdo. Considere P(x) come proposigio Se o dominio forem os nimeros intros, quis serio os valores-verdae? 27 FX) BP @ PCD xP) YEP) CConsidere Qt) como a proposigio “x + 1 > 22". Se 0 ominio frees todos 0s imerosintiros,quais sro 08, valores verdade? 900) HaA-D ® 9@) 9) VO) 8) %e-00) 9 oa) 9) 3-20) 1B. Ma. 15, 16. 1 8 1. 20, a. 2 1.3 Predicados e Quantifeadores 47 Determine valor-verdade decade umadests roposigBes, seo dominio forem todos os nimeros interes, a) Yn(n+1>n)—b) 2nQn=3n) ©) Bn(n=—n) A) Valo? nd Determine valor-verdade de cada ums dests roposigbes, seo dominio foem todos 08 nimeros reais. a) 3-1) by akeet2) Determine valor-verdade de cada uma dests roposiges, se 0 dominio para todas as varidveis forem todos os menos insiros. a) VnGr? > 0) ©) Yate? > m) Determine o valor by n(n? = 2) 4) n(x? <0) dade de cada uma destas proposi-

    You might also like