Traduz em linguagem corrente as seguintes proposições