Bxercicios 1.4 1. Justifique cada passo na seqliéncia de demonstrago a seguir para a fbf GolPO) > O09] > LPO) > (9E0)] @vfPa) > 2001 . Pla) — Ota) (vn PC) Play Qa) 9Q0) #2, Considere a fbf (Vxi(@PCx, ») A Ay) QCx, »}] > (VAGDLPCL y) A OC,» a, Encontre uma interpretacao que mostre que essa fbf nao é valida ’b, Encontre o erro na seguinte “demonstragao” dessa fbf (YOIGIPE ») AIG.» hip (WLP a) A OG @)] pe (VENP LE, a) A OCx a) 2.8 3. Considere a fbf (Vy\2OUx, ») > GN(Y~)OC »). Encontre uma interpretagio que mostre que essa fbf néo é valida, 9. Encontre o erro na seguinte “demonstracio" dessa fot 1. (VyENOL. yy hip 2. G0te, ») 1, pu 3. Qa.) 2 pe 4. (90) 3, gu 5. GVO y) 4, ge Nos Exercicios de 4 a 8, prove que cada uma das fbfs € um argumento vilido, 4, (V2)PC) > (VOPC) V OW) 5. (VIP) A ANOW) > AD[PO) A GeO] 6. NGO ») > GBIPEe, ») 7. C#NYYIOLE, ») > CHNVIOM Y) 8. (HDPE) A GOIPCO]’ > GnQe) Nos Exercicios de 9 a 18, prove que a fbf é vélida ou encontre uma interpretagdo na qual ela € alsa, £9. GOIAQ) A BO] > GAG) A BOB) MRC) V Six] > GYRE) ¥ GNS) L. (W[PCX) > GE] ICV PC) > (VELL 12. [(VNPCX) > (YOY) > (WLP) > OO) #13. (BVOC, y) > (VYVANOL ») 14, (V2)PC) ¥ QW) > CHIP) V OO] 1S. (VI[A(®) > BIX}] + ((3)A(X) > (NBL) 16. (VYILOLx, ») > POA] > (VOC, ») > PCO #17, (PO) > BNE. 91 > GNIPO) > OC: y)] 18. (AN{POx) + QI] A (YW) > ROY] A (WIPO) > GOR)Usando a I6gica de predicados, prove que cada argumento nos Exercicios de 19 a 25 & simbolos predicados dados. lido. Use os 19. Algumas plantas sto flores. Todas as flores t€m um cheiro doce. Portanto, algumas plantas tém um cheiro doce. P(x), F(x), Dix) #20, Todo crocodilo é maior do que qualquer jacaré. Samuca € um crocodilo. Mas existe uma serpente e Samuca 13o é maior do que essa serpente. Portanto, alguma coisa nao é um jacaré. C(x), J(x). M(x, y). 5, Sta) 21. Existe um astrénomo que no é miope. Todo mundo que usa éculos é miope. Além disso, todo mun- do ou usa éculos ou usa lentes de contato, Portanto, existe um astrOnomo que usa lentes de contato. ACO, M(x), O(8), LO) #22, Todos os membros do conselho vém da indiistria ou do governo. Todos que vém do governa e sio advogados sio a favor da mogdo. Joao no vem da indiistria mas & advogado. Portanto, se Jodo é um ‘membro do conselho, ele é a favor da mogdo. M(x), I(x), Gx), AQ). FO), 5 23, Existe um ator de cinema que é mais rico que todo mundo. Qualquer pessoa que é mais rica do que todo mundo paga mais impostos do que todo mundo. Portanto, existe um ator de cinema que paza ais impostos do que todo mundo. A(x), R(x, ), Hex, 9) Todo estudante de ciéncia da computagao trabalha mais do que alguém e todo mundo que trabalha ‘mais do que uma pessoa dorme menos do que essa pessoa. Maria é uma estudante de ciéncia da com- putagao, Portanto, Maria dorme menos do que alguém. C(x), T(x) Dox Ym 25. Todo embaixador conversa apenas com diplomatas ¢ alguns embaixadores conversam com alguém, Portanto, existe algum diplomata. E(x), C(x, y), DO) 26. Prove que [0 NPEAT > Go1PO!’ € valida, (Dica: Em vez de uma sequéncia de demonstracao, use o Exemplo 31 e substitua as expres- sbes equivalentes.) 27. A equivaléncia no Exercicio 26 diz que, se ¢ falso que todo elemento do conjunto universo tem a propriedade P, entdo algum elemento do conjunto universo nao tem a propriedade P. e reciproca- mente. O elemento que nio tem a propriedade P ¢ chamado de contra-exemplo para a afirmagio de 4que todo elemento tem a propriedade P. Portanto, um contra-exemplo para a afirmagio (We 6 impar) zo dominio dos inteiros & 0 ntimero 10, um inteiro par. (Eclaro que existem montes de contra-exem- pplos para essa afirmagao.) Encontre contra-exemplos no dominio dos inteiros para as afirmagdes seguir. (Um inteiro x > 1 € primo se seus tinicos fatores positives sio 1 e x.) a. (Vax € negativo) b. (x)¢x é uma soma de inteiros pares) . (xxx € primo — x € fmpar) a. (xxx é primo > (=1)"= =1) e. (Wx)ex € primo —> 2*— 1 é primo)