Módulo 01 - Ordenamentos, o Direito e a Moral.

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.

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.

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:

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.