Oi, Eduardo, Eu nao sou expert em deducao natural, mas me parece que a prova e' essa:
Pabb'|-Qabb' b=b' ------------------------- Pabb'|-Qabb |-Pabb b=b' ----------------- --------------- |-Pabb' => Qabb |-Pabb' ------------------------------------- |-Qabb Abraco, Elaine. 2010/6/18 Eduardo Ochs <eduardoo...@gmail.com>: > Oi pessoas, > > acabei de descobrir, pela n-ésima vez, que eu sei menos de Dedução > Natural do que deveria... 8-\ > > Eu imaginava que as regras para igualdade fossem: > > ---=I > b=b > > b=b' Pabb > ----------=E > Pabb' > > e a partir delas todas as outras propriedades "naturais" da igualdade > pudessem ser obtidas como regras derivadas... eu consigo > reflexividade, simetria, transitividade e um monte de outras, mas não > estou conseguindo substituição (b':=b): > > [Pabb'] > : > Qabb' Pabb > ===========subst > Qabb > > Alguém sabe como derivá-la? > > Pra piorar: descobri (mas tomara que eu esteja errado) que o Prawitz > fala bem pouco sobre igualdade no "Natural Deduction"... Num artigo > que eu estou tentando ler com todos os detalhes, > > http://www.math.mcgill.ca/rags/ZML/ZML.PDF > > as regras "=I" e "=E" aparecem, mas nem sei de onde é que o autor as > tirou... Dicas?... 8-/ > > Obrigado, > Eduardo Ochs > eduardoo...@gmail.com > http://angg.twu.net/ > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Elaine. ------------------------------------------------- Elaine Pimentel - DMat/UFMG Address: Departamento de Matematica Universidade Federal de Minas Gerais Av Antonio Carlos, 6627 - C.P. 702 Pampulha - CEP 30.161-970 Belo Horizonte - Minas Gerais - Brazil Phone: 55 31 3409-5970/3409-5994 Fax: 55 31 3409-5692 http://www.mat.ufmg.br/~elaine ------------------------------------------------- _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
