Segue neste episódio as regras de inferência finais e fundamentais para a aula assíncrona e prova formal do dia 15.09.