Aula 2: Proposições e variáveis proposicionais