Grupo de Lógica - 18/11

Abaixo, uma apostila com alguns exercícios sobre regras para quantificadores - sistemas G3i e G3c.

http://dl.dropbox.com/u/5959592/regras_qtfs.pdf

Veremos isso no encontro do grupo dia 18/11.

Abraços