Aula de lógica

Esta é uma aula razoável sobre lógica formal. Na verdade, dedução natural. É a segunda parte de uma série longa, disponível no youtube (não coloquei a primeira parte porque é dispensável). Se quiserem assistir às seguintes, é só procurar ali mesmo.