Lista de exercícios 5 – Lógica (noturno)
Prazo de entrega: 23/06/2011
1. Mortari 16.1, 16.2
2. Mortari 16.7 (usando dedução natural para provar os sequentes válidos), 16.9.
terça-feira, 7 de junho de 2011
Assinar:
Postar comentários (Atom)
abilio.arf@gmail.com
Nenhum comentário:
Postar um comentário