1 - Estruturas de decisão e a lógica das proposições

A lógica booleana é também base do raciocínio das estruturas algorítmicas, que, por sua vez, são as células da fase de desenvolvimento dos softwares computacionais.

A seguir são abordadas as convergências de interpretações entre as regras das operações lógicas e as regras das estruturas algorítmicas, conforme detalhamento dos dois grandes grupos a seguir:

• estruturas algorítmicas de decisão e
• estruturas algorítmicas de repetição.

A lógica do raciocínio das operações condicional e bicondicional é correspondente à utilizada pelas estruturas algorítmicas de decisão, que atribuem ao programa a capacidade de decidir entre duas ou mais possibilidades de execução.

Perceba que a interpretação das estruturas de decisão parte da análise de uma condição. Relacionando com a lógica das proposições, uma condição tem que ser um pensamento completo, pronto para ser julgado como verdadeiro ou falso, conforme define o conceito de proposição lógica.

Além disso, os princípios da lógica das proposições são também preservados na interpretação da condição: uma condição ou é verdadeira ou é falsa, sendo excluída a possibilidade de um terceiro valor, além de não poder ser verdadeira e falsa ao mesmo tempo.