Módulo 01 - Ordenamentos, o Direito e a Moral.

Um exemplo da lógica das proposições:

Se e somente se acordar cedo, irei à praia.

Analogamente, para esta estrutura algorítmica, tem-se:

Se e somente se a condição p for satisfeita, o programa executa o comando q.

Caso seja falsa a condição, o programa executa o primeiro comando localizado logo depois do fim da estrutura algorítmica, que, por sua vez, não faz parte dos comandos previstos pela estrutura em referência.