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.