a Capelo 1. tala inv hints 16.5.1 Regras para identidade ‘As regeas para identidade dlecoxtume no caso de tables, para cada sfmbolo fm que a férmala em que esse simbolo éo principal aparece precedi- ddade V, e outra em que aparece peecedidla de FA primeira regra di Ggue, se em um camo de um tab acorre uma expressio como Fe=t (elternativamente, Ve), este ramo do tablo fecha-se imediatamen: te. A razio disto€ dba, pois, como estamos supondo que a relagi0 de Mentidade vale para qualquer individu, afrmar, sobre um certo f, que tt seria contraditéri. ‘Quanto a segunda testa, ela tem dus verses, mas. kéiabisica & evere a dentidade de dows termos quaisquer, ou seja, Vit = tp, ou Vip =th,"e rend alguna fe mula @ onde ty ocorte — no importa se esa frm sea precedia por V ou F (o que estamos representando na figura 16.1 pelo imbolo, 1#) — voct pode substiuir ima ot mais ocorséneias de ty em & por ‘corténcias det), O valor # de a apés a substituigao € mantide: se fra verdadeira, continua verdadeiea; se flsa, continu presentadas a figura 16.1. Como das tegras: uma «que, tendo uma fen inde # 6 V 09 F # eqn) Ve # ate) —_ FIGURA 16.1 — Regras de tabi para identidade ‘Um exemplo para comesar. Vames mostrar que a=b Rab > Rha. © tabld fechado cesultante € apresentado logo a seguir. Note aque, na terceita linha do taba, de cima para babwo, 0 que fzemos foi substtuig.em Rab —> Rha, as ocoreéncias de b por a (gerando Raa —> Raa), ja que temos, no taro, Va=b. O passo seguinte foi red F Rag > Raa, obrendo imediatamente uma contradig. “score de que estamos rablhar ps om em chs 165. Teemtonptas COC} 1» y, F Rab — Ro ¥FRut— Raa VRaa F Raa ‘Un segundo exemplar vamos mostrar que Ps, Pb a=b. O table Note que nada mais podemoe fazer no caso acima. Como nie temos uma identidade wrladeira, nenhum substituigao & possvel E, como as formulas envolvidas si atdmicas, nada ha que redusi. O tabld fica aberto, ea=b no & consequéncta lgica de Pae Pb. Exercicio 16.7 Determine, sind tablin se a rms bain sia vie das, cu conseénci gc das premisas india, enorme oc. () FSde=s) ® be ab (uaF Fab (FW ey) (FY Kee ye) (YF 9Gy), “Pi = Seer) () 3chReo F BA(Rey oxy) th) FVAvy(Gig9x=9) 9G) () Wste=avx=b) FVy9=c ymavy by ) Bueeanze by AQ QF Qe 165.2 _Alteragbes nas regras de quantificadores Vamos ar agora das mudangas necessrias pela introdugio de simbolos funcionais. Nao hé regras especiais para ele, lato, como no caso da kfenridade, uma ver que nio slo sfmbolos ligicos. No