Vejamos agora a seguinte estrutura de decisão composta.
| Fluxograma | Sintaxe |
|---|---|
|
se (condição) comando_1; senão comando_2; |
Para esta estrutura de decisão, diferentemente das anteriores, dentro da própria estrutura está prevista uma ação a ser executada no caso da condição não ser satisfeita, devido à presença da linha senão e respectivo comando_2.
Devido a este aspecto, considere a correspondência com duas proposições:
se (e somente se) V(p)=V
início
execute q_1;
fim
se (e somente se) V(p)=F
início
execute q_2;
fim