Programação - Filosofia

...

Joana comprou um vestido azul e Ana comprou um vestido vermelho

Você pode escolher qualquer letra minúscula para representar uma proposição, mas deve ficar atento pois ao longo de todo exercício, essa letra representará sempre a mesma proposição.

Por hábito, como a palavra proposição começa com p, começamos pela letra p:

p= Joana comprou um vestido azul

q= Ana comprou um vestido vermelho

Usamos o "." (ponto) para representar a função lógica "e", logo, nossa proposição composta fica sendo:

p.q

Usamos o "+" (mais) para representar a função lógica "ou", logo, a proposição compostaJoana comprou um vestido azul ou Ana comprou um vestido vermelho

Agora que sabemos como usar símbolos, vamos estabelecer que:

Para "E" usamos "." e assim p.q significa "Joana comprou um vestido azul e Ana comprou um vestido vermelho"

Para "OU" usamos "+" e assim p+q significa "Joana comprou um vestido azul ou Ana comprou um vestido vermelho"

Para "Não" usamos "~" e assim ~p significa " Joana não comprou um vestido azul"

função "ou" tem sempre significa de "ou inclusivo" da Língua Portuguesa, isto é, admite que quando mais de uma alternativa é verdadeira, a proposição composta continua verdadeira.

Ela também é conhecida por seu nome em inglês: OR

A tabela-verdade do OU é bem simples:

p

q

p+q

F

F

F

F

V

V

V

F

V

V

V

V

Também existe o "ou-exclusivo", também chamado de "ou-mutuamente-exclusivo", também expresso por "ou" na Língua Portuguesa, que não admite que mais de uma alternativa seja verdadeira.

Nos nossos exercícios, ou vamos explicitar que o significado do ou é exclusivo pelo contexto, como por exemplo:

"Você está aqui dentro ou está lá fora" (dentro e fora são mutuamente exclusivos)

pois é impossível, em nosso mundo cotidiano, estar dentro e fora; ou, usaremos a expressão "ou....ou...":

Ou você fica aqui dentro ou você fica lá fora.

O "Ou-exclusivo" é mais conhecido por seu nome em inglês: "XOR" e tem por símbolo o sinal "⊕"

p

q

p⊕q

F

F

F

F

V

V

V

F

V

V

V

F

Note que apenas a última linha é diferente do ou-inclusivo, pois o XOR não admite que as duas alternativas, p e q, sejam verdadeiras ao mesmo tempo.

Muita gente tem curiosidade de saber a tabela-verdade do ou-exclusivo para mais de duas variáveis. Basta aplicar a definição de XOR, que não admite que mais de uma alternativa seja verdadeira ao mesmo tempo. Vamos ver para três variáveis, p,q,r:

p

q

r

p⊕q⊕r

F

F

F

F

F

F

V

V

F

V

F

V

F

V

V

F

V

F

F

V

V

F

V

F

V

V

F

F

V

V

V

F

A função "não" apenas inverte o valor de verdade da proposição original, seja ela simples ou composta. Por esse motivo, ela tem dois nomes em inglês "NOT" e "INVERTER" - em português: função inversora ou simplesmente, inversor.

É representada por uma barra em cima do símbolo da proposição simples ou de toda a proposição composta ou pelo til: ~p.

Como o Moodle dá algum problema