• Estrutura Faça-Enquanto

Note que a lógica do raciocínio é realmente similar ao das estruturas de decisão, sendo que com a funcionalidade de repetição. Assim, permanecem todas as correspondências que vimos nas estruturas de decisão quanto à lógica das proposições, pois continuam válidos os aspectos relacionados à capacidade de decidir entre duas ou mais possibilidades de execução.

O aspecto acrescido, que é a capacidade de repetir um ou mais comandos até o limite desejado, traz o diferencial à relação entre estes tipos de estruturas algorítmicas e a lógica das proposições:

A checagem quanto à satisfação da condição é feita mais de uma vez durante a utilização do programa. Assim, garante-se que a execução prevista será repetida até o momento estabelecido pela estrutura algorítmica.

A cada checagem há a possibilidade de mudança de valor lógico da condição, e, consequentemente, de alteração na interpretação e no curso da execução. No entanto, nas estruturas de decisão, esta checagem ocorre uma única vez, definindo por definitivo a interpretação e respectiva execução.