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