Um exemplo da lógica das proposições:
Se e somente se acordar cedo, irei à praia de manhã e irei ao cinema à tarde.
Analogamente, para esta estrutura algorítmica, tem-se:
Se e somente se a condição p for satisfeita, o programa executa o comando q.
Neste caso, perceba que o bloco de comandos utiliza a interpretação da conjunção, já que o programa deverá fazer a execução de todos os comandos de q_1 até q_n, ou de nenhum deles. Ou seja:
A seguir, a linha 1 da tabela verdade de (q_1 ∧ q_2 ∧ ... ∧ q_n) representa a execução de todos os comandos do bloco, simbolizando o que deve acontecer quando a condição for Verdade.
| A | B | X | Resultado final | |||||
| q_1 | q_2 | ... | q_n | q_1 ∧ q_2 | A ∧ q_3 | . . . ∧ q_n-1 | X ∧ q_n | |
| 1. | V | V | V | V | V | V | V | V |
| 2. | V | V | V | F | F | F | F | F |
| 3. | V | V | F | F | F | F | F | F |
| 4. | V | F | F | F | F | F | F | F |
| 5. | F | F | F | F | F | F | F | F |
| . . . |
. . . |
. . . |
. . . |
. . . |
. . . |
. . . |
. . . |
. . . |
| 2n | F | F | F | F |
Se a condição for falsa, lembre-se que o programa executará o primeiro comando que encontrar fora da estrutura algorítmica.