ler Dedução Infinita