UNIDADE VI - ÁLGEBRA DAS PROPOSIÇÕES

1. PROPRIEDADES DA CONJUNÇÃO

Sejam p, q, e r proposições simples quaisquer e sejam t e c proposições também simples

cujos valores lógicos respectivos são V e F.

a) Idempotente: ppp

Exemplos:
(i) x1x1x1
(ii) x<0x<0x<0

b) Comutativa: pqqp

Exemplos:
(i) x1x<0x<0x1
(ii) >3>4>4>3

c) Associativa: (p  q)  r  p  (q  r)

Exemplo:
(i) (`x 0  x > 1)  x < 3  (x  0  (x > 1  x < 3)

d) Identidade: ptp e pcc

Exemplos:
(i) x1|x|0x1
(ii) x1|x|<0|x|<0

2. PROPRIEDADES DA DISJUNÇÃO

Sejam p, q, e r proposições simples quaisquer e sejam t e c proposições também simples

cujos valores lógicos respectivos são V e F.

a) Idempotente: ppp

Exemplo:
(i) x0x0x0

b) Comutativa: pqqp

Exemplo:
(i) x1x0x0x1

c) Associativa: (p  q)  r  p  (q  r)

Exemplo:
(i) (x  0  x > 1)  x < 3  (x  0  (x > 1  x < 3)
d) Identidade: ptt e pcp

Exemplos:
(i) x1|x|0|x|0
(ii) x1|x|<0x1

3. PROPRIEDADES DA CONJUNÇÃO E DA DISJUNÇÃO

Sejam p, q e r proposições simples quaisquer:

a) Distributivas:
(i) p  (q  r)  (p  q)  (p  r)
(ii) p  (q  r)  (p  q)  (p  r)

Assim, por exemplo,segundo (i), a proposição:

“Carlos estuda e Jorge ouve música ou lê”
é equivalente à seguinte proposição:
“Carlos estuda e Jorge ouve música ou Carlos estuda e Jorge lê”

Segundo(ii), a proposição:
“Chove ou faz vento e frio”
é equivalente à seguinte proposição:
“Chove ou faz vento e chove ou faz frio”

b) Absorção:
(i) p  (p  q)  p
(ii) p  (p  q)  p

Exemplos:

(i) | x |  0  (| x |  0  x  1)  | x |  0
(ii) | x |  0  (| x |  0  x  1)  | x |  0

b) Regras de De Morgan:
(i) ~( p  q)  ~p  ~q
(ii) ~( p  q)  ~p  ~q

As Regras de De Morgan ensinam que:

(i) Negar que duas dadas proposições são ao mesmo tempo verdadeiras equivale a
afirmar que pelo menos uma é falsa.
(ii) Negar que pelo menos uma de duas proposições é verdadeira equivale a afirmar
que ambas são falsas.
(iii) Essas regras podem exprimir-se ainda dizendo que a negação transforma a
conjunção em disjunção e a disjunção em conjunção.
Assim, por exemplo, segundo (i), a negação da proposição:
“É inteligente e estuda”
é a proposição:
“Não é inteligente ou não estuda”.

Segundo (ii), a negação da proposição:

 “É médico ou professor”
é a proposição:
“Não é médico e não é professor”.

4. NEGAÇÃO DA CONDICIONAL

Dada a afirmação que p  q  ~p  q, temos:

~(p  q)  ~(~p  q)  ~~p  ~q, ou seja:
~(p  q)  p  ~q

5. NEGAÇÃO DA BICONDICIONAL

Dada a afirmação que p  q  (p  q)  (q  p), temos:

p  q  (~p  q)  (~q  p)

e, portanto:
~(p  q)  ~(~p  q)  ~(~q  p)
~(p  q)  ~~p  ~q)  (~~q  ~p)

ou seja:
~(p  q)  (p  ~q)  (~p  q)

Exercícios:
1. Demonstrar as propriedades comutativa e associativa da bicondicional, isto é:
(a) p  q  q  p (b) (p  q)  r  p  (q  r )

2. Dar a negação em linguagem corrente das proposições abaixo:

a) Rosas são vermelhas e violetas são azuis.
Rosas não são vermelhas ou violetas não são azuis
b) É falso que não está frio ou que está chovendo.
Não está frio ou está chovendo.
c) Não é verdade que o pai de Marcos é pernambucano ou que a mãe de Marcos é
gaúcha.
O pai de Marcos é pernambucano ou a mãe de Marcos é gaúcha.
d) Não é verdade que as vendas estão diminuindo e que os preços estão aumentando.
As vendas estão diminuindo e os preços estão aumentando.
e) Não é verdade que Jorge estuda Física, mas não estuda Química.
Jorge estuda Física, mas não Química.