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 almoçar fora.

Se e somente se não acordar cedo, irei ao cinema à tarde e ao supermercado à noite.

Analogamente, para esta estrutura algorítmica, tem-se:

Se e somente se a condição p for satisfeita, o programa executa o bloco de comandos q_1 e q_2.

Se e somente se a condição p não for satisfeita, o programa executa o bloco de comandos q_3 e q_4.

Note que a execução do bloco de comandos q_1 e q_2 exclui a possibilidade da execução do bloco de comandos q_3 e q_4, e vice-versa, característica esta que é coincidente com a regra da disjunção exclusiva. Além disso, é importante lembrar que o comportamento de execução dos blocos de comandos corresponde à lógica da conjunção. Ou seja:

(q_1 ∧ q_2) ∨ (q_3 ∧ q_4)

A tabela verdade abaixo mostra esta relação:

Sendo,
A: q_1 ∧ q_2
B: q_3 ∧ q_4