Comando lógico que permite executar um conjunto de comandos enquanto uma condição, pré-definida no inicio do comando, for verdadeira.