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

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 as ações o bloco 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:

q_1 ∧ q_2 ∧ ... ∧ q_n

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.

Se a condição for falsa, lembre-se que o programa executará o primeiro comando que encontrar fora da estrutura algorítmica.