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 chover, irei ao cinema à tarde e ao supermercado à noite.

Se e somente se conseguir uma carona, pegarei meu carro na oficina e farei uma visita ao Lucas.

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

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

Se e somente se for satisfeita a condição da opção ser 2, o programa executa o o bloco de comandos q_3 e q_4.

Se e somente se for satisfeita a condição da opção ser 3, o programa executa o bloco de comandos q_5 e q_6.

Note que a execução de qualquer um dos blocos de comandos exclui a possibilidade de execução de qualquer um dos outros blocos de comandos, característica esta que é coincidente com a regra da disjunção exclusiva. Além disso, já vimos que o comportamento da execução dos blocos de comandos corresponde à lógica da conjunção. Ou seja:

(q_1 ∧ q_2) ∨ (q_3 ∧ q_4) ∨ (q_5 ∧ q_6)

A tabela verdade abaixo mostra esta relação:

Sendo,
A: q_1 ∧ q_2
B: q_3 ∧ q_4
C: q_5 ∧ q_6