Observe a estrutura algorítmica abaixo.
| Fluxograma | Sintaxe |
|---|---|
|
se (condição) então comando; |
Observe que esta estrutura algorítmica de decisão só apresenta uma chance de execução do comando q: é a satisfação da condição p, ou seja, o V(p) tem que ser Verdade.
Devido a esta característica, relacionando com lógica das proposições, considere a correspondência com a lógica das proposições:
então
execute q;