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
