Para estudar

Para os meus alunos. Podem estudar duas formas de inferência válidas, Modus Tollens e Ponens entre as páginas 43 e 45 do vosso manual. As outras formas principais que servem para as derivações são dadas numa fotocópia nas próximas aulas.