LOGICA para CIENCIA da COMPUTAGAO ELSEVIER: Exercicios Demonstre, utilizando qualquer um dos métodos estudados neste eapftule, que as firmulas « seguir séa tautologias, Le (GHD) 0 fh, SH = G) = (HA (2G), “UE G) (Ft), (HO) (6), 2, HVG) = (oH + G), (HYG) = (8G) ~ G), (HAG) = (HH 3, (HG) GHG), (HG) oe U0 4 (HAG) a (Ho UNG), (HG) 5. (HG) = (HG) (G— H)), (#7 6. (HG) = (HAG) Y GH AG), (HA(GV B)) = (HAG) (HAE (GAB) & (HV G)A(H VE) (HG) (Ga Ft), (VG) = (GVH), (HG) (Cm Ht) 8 (HAG)AH) m+ GEA(GAH)) (HYG) 1) — (HV(GVH), ((H 9 G) + H) (HE = (Go FD) 10. ((H — G) A (G+ H)) = (HH), (Hm G) AG =H) 4 (H = Fi) 1. (HV HERG) + H, A EY G)) oH. 12, OH)VH, HH, Hm Hy Ho (HE 18, (Hm G) = (CoB) > 2G), (HEA: LH = HAG)HAG) +H. 3 (WG) 41) A), Gi (HO 36. (HAG) 5B) (AME) 6). 11 (otro false, (false) + trae, (AEA te 18, (HV false) + H, (BT — folie) > (df), (Hd — 18, (false Hf) 4 thus, Ho (true =H), H = (f 20, Cousidere G uma das férmulas indicalas a sez. a) PV by Qa P PQ d) P=Q 6) Pg 1) Pang Determine, utilizando o método da nog ) PAQKG | i) PQrG ii) PV iv) Pog 21, Demonstee H Hm (HH), Hm (AH VG)), Ho (HV (HAG) H) (> (GH), HG (HH). 3) HH, (A false) = folse, (HV true) > true, tre, (true) oH (9H). ou redugio ap ahsntdo, os easos emt que (Po = PY) | 5) + P) & (P= Py) > (((PAQ) = P)A(PV A) = 8) =P) ‘= ((PrA Ps) — ((PLA Pe) = (Pe AP) — Ps) 22. Considere « féronla HF H = A(PAQV AVS) MBA) 4) Consteua u ‘ou contraditéva, b) Quanas lishas tom a tabela-verdade tre, utilizando @ métoda daw intica associada a H e identilique se HY & umna tautol satisfativel cocinda a H? 39. ou redupio ao absurdo, so as frmmuls a seguir sie = (69 PyA(Py P= (Q— RY) > ((PAQ)~ A) (Hh vs)© SLSEVIER Capitulo 4 i j 1a demonstrasio de que Gy nfo & tautologia, quando considerames I[#i] = 7, obtemos um absurdo, Mas quanda J[y] =F, nlo & observado nenhurm absurdo, Comente o significada de tais fatos 24, Demonstre,usiliando o método da negasia, ou redugio ao absurdo, que ») [Pa PIA Q)E (PQ) N(Q> A) Yea Considare asf silos asegui G (PAQ)— (RAS) UPAQ)YRVS)A(PLAQL) a) Construs & éevore seméntics associada a cada fSrmula H. : 1) Mdentique,2 partis das érvores semfsticas determinadas no Stem anterior, uma interpretagdo f tal que 1 f)= Fe uma interpretagio J tal que J[@l| = 7, para ena tml 26.) Consiere os frmulas a seguir: i A = ((PV-Q)V RY (R— (QP) E=((PAS) PF) (P= PY) (PQ) ~ PACE AR) — 8) ~ P) PVQ)Y (-P.AQ) Utiize o mstodo ta negacao, ou redugdo 20 absurdo, para demonstrar se tes femulas sfo ta tobogna, 5p ea em qu a férmula nfo for uma ¢eitologia utlie o resltato do metodo paca ientfcar win interpetagio, qu iterpreta a formula coma sondo fala >) Supoata que 1[P] =, o que podemos conclur a eespeito de JIHfl, [1G], onde HS (P59) = B) (B= P) UPA) = AYAUPEAI > B)— BY) (PAP) = Go (((R So Py) — (Pe¥ Si) = Ra) > PAP 27. A pattr da le da contrepostgo, temas que (P= 0) equate a GQ — =P) ie desse foto, utillzands o teorema da deducts, que AP + ((Fy + Pm (SAP)? Demonstee, = PQ. st, e somente se, -Q = =P. | | 98, (Atirioindects>) Considere us trésafirmanies a seguir. Hy: Se Aliria tome vinho e 0 winho esté ruim, ele fia com ressaca, ‘Hy: Se Alitio 2ca com ressaca, entdo ele fica triste e vai para casa Hy: Alirio vai 22 seu enconteo rorndutico com Vieginia ou ele fica triste e val para casa. Suponha que a2 cris afinnasies anteriores sio verdadeitas. A partir dasse fato, qual das afirmagies 3 soguic também: ¢ verdadetra, Ger Se Alicio tema vinho e este esté ruim, entio cle perde seu enconteo romantico com Virginia. lirio Boa con ressacn © vai para eas, entdo ala nfo perde seu encontro rosantico vom Virginia, Se vinko std ruim, entia Alito nio o toma ou ele nfo fica cotn ressaca. Seo vino #24 ruim ow Alri fica com ressaca, entio ele fica triste | aa vinho e wi para casa, entio ele ni fica triste sv o vinho | 29, (Candas amass) Uiilize 0s prinefpios da Léglea Proposicionst para responder is seguintes questdes. i) Suponha qu as das aiemagbes, «seguir, so verdadeiras I ') Ricardo ama Liicia ou Elaine D) Se Ricardo ama Liica, entio ele também atna Biaine. Cunelutse, nevessariamente, que Ricardo ama Lic Conclu-se necessariamente, que Ricardo ama Elaine? alguim faga a seguinte pergunta. no Ricardo: see verdade que se voo8 ama Tsicia, entZo voo8 também ama El 2 respond 0 8 verdade, entia amno Lacia, | Conclu-se dese diflogo, que Ricardo ama Lica ‘oncli-t, dese didlogo, que Ricardo ama Elaine? slgném faca a soguinte pergunta. no Ricardo. 50 rn ine? Suponbs que ii) Supona gs