Deixo aqui (1 e 2) e também aqui (3 e 4) mais alguns exercícios resolvidos de dedução natural (LP). São o tipo de exercícios que podem sair nos testes.
Boa pausa e bom estudo!
PS. Relembro que haverá sessões de tutoria na próxima semana, dias e horários habituais.
Subscrever:
Enviar feedback (Atom)
Sem comentários:
Enviar um comentário