Olá para todos.
Abaixo, uma apostila com algumas provas em G1 (mais precisamente, G1ip, i.e. G1 para lógica proposicional intuicionista, que vimos no último encontro).
http://dl.dropbox.com/u/5959592/G1.pdf
Minha sugestão é que vocês peguem alguma lista de tautologias - do
Mortari por exemplo - e verifiquem com G1ip todas que valem
intuicionisticamente.
Abraços
Nenhum comentário:
Postar um comentário