alguém. Uma constante nova no faz nenhuma suposigio adicional fa respeito de um individuo —além de que ele existe Exercicio 16.8 Determine, usando tlds, seat firms seuintes so ‘das, oa coaseqincia Kia das premises indicads, conform o cs Go) VaPs 3 Ye, VaPflO Ob ty Eee fl) >24 fo) 3yy= ht) (VIG) VAIO, © 4a) PHO) (Yar b varfeey (a) F Yahi) > PhO) Gh) BabGxe fo) ays hy) F Fite =f) Rae VC PAC)» PhD G) ¥aPx = Y5(Bb 9 Phiy.b) Fvevy(x=94f0)=/0) () Vad EWR Phi.bD lon) EA VE Ue yazew) etme) =KO.")) fo) VEBHASCG = hy) CORWISHAI) > VIS) xe APL) 16.6 Dedugao natural no CQC ‘Coma seria de esperar, a nagio de conseaiéneta sintiticatambémn ro softer alteragies. Ou seja, dado um conjunta de formulas Te a Krmula O& uae, anda teens que C+ at see somente se puner set devivada a partir de formulas er T através de um nimero finite de aplicagbes das regtas de inferéncia do QC}. O que vai mu dt, no caso da dedugio natural, so as repras de que vamos dspor primo, eterios que fer regs especias para o caso da identidades pois, tetemos de ver que alteragies so necessérias para erator de formulas envolvendo simbelos funcionais, 16.6.1 Regras para identidade ‘Vamos comegar pela identidade. Como = esté sendo considers do um simbolo logico — i., na mesma situagio que operadores & 166. Debs nando CG quantifcadores —, precisamos de duas regras: uma que introduca ceoutra que elimine a identidade, Essas regrasestio formuladas na figura 16.3. A regra de introducéo, como voo® ve, tem um cari ter especial: ela no tem premissas. Isto 6 poslemos incr, em qualquer linha de una dedugao, uma formula ¢= t Quanto & negra de eliminacao, ela tem duas versbes, mas a idéia bisica & que, ten cdo uma formula que assevere a ientidade de dois termos uaisquer, voc’ pode substitu uma ou mais ocoe por ocorréncias do outro Inout da end (I=) lea da Meni ( atu) aw) 4st ben sora qualgsr cms fechas awit) ate) FIGURA 16.3 — Regras para identidade ‘Vamos ver ui exemple. Supon PY¥sa=9) nos que eu quisesse mostrar que iy A féemula «=a na linha | fo! introduzida por meio do uso da regra i=. Note que nfo precisamos de nenbuma premissa ou hipstese para fazer isso. Depois, claro, uma simples aplicagao de IV nos dé 0 resultado desejado. Suponlamos agora que quiséssemos mostrar ue F etx #2). Va tos tentar mostra isso por absurdo, ou sea, comegames com ai potese 3x(r #3), ¢continuemos a partir dat. A solugdo se 1. [ake HAA) ocTR. 2 |jaea HER 4 | [Anna 5. | Aaa 6 Bax)