Identando e renomeando variáveis - proposicoes.py