Todas as estruturas de decisão são também compostas por um ou mais comandos com execução dependente do julgamento da condição. Assim, o programa executará o comando ou os comandos previstos, se e somente se a condição for verdadeira, uma relação clara com a bicondicional.

p q p↔q
Linha 1. V V V
Linha 2. V F F
Linha 3. F V F
Linha 4. F F V

A relação das estruturas de decisões com uma proposição condicional é restrita às linhas em que o valor de p é verdade, conforme destacado abaixo, pois os comandos de dentro da estrutura algorítmica somente são executados quando a condição for satisfeita, ou seja, quando o seu valor for uma verdade.

p q p→q
Linha 1. V V V
Linha 2. V F F
Linha 3. F V V
Linha 4. F F V

Ao fazer a seguinte correspondência fica mais fácil o entendimento:

t → q
onde t é uma tautologia.

Aplicando as regras de simplificação em t  q, o resultado final será sempre o próprio q:

p q p←q
Linha 1. V V
 V
Linha 2. V F F
Linha 3. F V V
Linha 4. F F V

Isso só reforça a seguinte relação:

As estruturas algorítmicas de decisão só apresentam uma chance de execução do q (que pode ser um comando único denominado q ou um bloco com dois ou mais comandos chamados q), que é a satisfação da condição p, ou seja, o V(p) tem que ser Verdade.
Copyright © 2016 AIEC.