Sobre sistemas axiomáticos, vejam as seções 1, 2, 3 e 5 da apostila
sobre o teorema da dedução (as seções 4 e 6 são a prova do teorema da
dedução)
http://dl.dropbox.com/u/5959592/teorema_da_deducao.pdf
Uma boa apresentação do tópico está na seção 5.1 do Bostock
http://dl.dropbox.com/u/5959592/bostock_5.1.pdf
E na apostila abaixo
http://dl.dropbox.com/u/5959592/hilbert_prop.pdf
um sistema de Hilbert para a lógica proposicional com algumas provas
de teoremas.
Abraços
Nenhum comentário:
Postar um comentário