Forma normal prenexa
https://dl.dropbox.com/u/5959592/prenexa.pdf
Completude - Henkin
https://dl.dropbox.com/u/5959592/completude_QS.pdf
Completude com identidade
https://dl.dropbox.com/u/5959592/completude_identidade.pdf
Ver também: Mortari, tablôs com identidade e símbolos funcionais
Nenhum comentário:
Postar um comentário