Sistemas axiomáticos - lógica proposicional

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

Dedução natural

Nos próximos encontros (como na semana passada) estudaremos o capítulo 1 do livro da Negri e von Plato.

Robbin cap. 1 - lógica proposicional

Olá para todos.
No link abaixo
http://dl.dropbox.com/u/5959592/robbin_cap_1.pdf
o capítulo 1 do Robbin. Vamos usá-lo para estudar sistemas axiomáticos.
Uma apostila com a prova do teorema da dedução está no link
http://sites.google.com/site/textoslogica/arquivos/teorema_da_deducao.pdf
e algumas derivações do Robbin estão em
http://sites.google.com/site/textoslogica/arquivos/robbin_teoremas.pdf
Abraços