Lógica das Proposições: uma introdução para professores