Deixo aqui uma solução para os dois exercícios de Dedução Natural em Lógica Proposicional que o Prof. Branquinho avançou no final da aula de 18/1 e que sugeriu que resolvêssemos em casa.
Aceitam-se dúvidas, sugestões, críticas etc.
Cumps.
PS: A solução está manuscrita e é em formato JPEG. É aconselhável guardar primeiro o ficheiro e só depois abrir.
Subscrever:
Enviar feedback (Atom)
Sem comentários:
Enviar um comentário