Vejamos agora a seguinte estrutura de decisão composta.
| Fluxograma | Sintaxe |
|---|---|
|
se (condição) início comando_1; comando_2; fim senão início comando_3; comando_4; fim |
Dentro desta estrutura de decisão também já contempla a ação a ser executada no caso da condição não ser satisfeita, conforme evidencia a linha senão e respectivo bloco de comandos.
Devido a este aspecto, considere 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;
fim
se (e somente se) V(p)=F
início
execute q_3;
execute q_4;
fim