Agora observe a estrutura algorítmica abaixo.
| Fluxograma | Sintaxe |
|---|---|
|
se (condição) início comando_1; comando_2; . . . comando_n-1; comando_n; fim |
Nesta estrutura algorítmica de decisão só se apresenta uma chance de execução do conjunto de comandos de 1 até n: é a satisfação da condição p, ou seja, o V(p) tem que ser Verdade.
Vamos chamar o conjunto de comandos como bloco de comandos q e considere que a correspondência com a lógica das proposições:
se (e somente se) V(p)=V
início
execute q_1;
execute q_2;;
...
execute q_n-1;
execute q_n;
fim