Gravar-mail: Raciocínio e Representação do Conhecimento: 1A - Lógica proposicional