45

Mtodos e Estratgias de Estudo

LGEBRA DAS PROPOSIES

Agora, que j aprendemos muito sobre proposies, estamos preparados para aprender sobre a lgebra das proposies.

6.1

Propriedades da Conjuno

Sejam p, q e r proposies simples quaisquer e sejam t e c proposies

tambm simples, cujos valores lgicos respectivos so V (verdade) e F
(falsidade) (ALENCAR FILHO, 2003).
(a) Idempotente : p
p
V
F

p
p

V
F

(b) Comutativa : p
p
V
V
F
F

q
V
F
V
F

q
p

q
q

V
F
F
F

p
V
V

p
q

p
V
F
F
F

p q

q p
V
V
V
V

Lgica e Matemtica Discreta

46

Captulo 6

(c) Associativa : (p

q)

(q

p q
(1)

1 q) r
(p

q r

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
V
F
F
F
F
F
F

V
F
F
F
F
F
F
F

V
F
F
F
V
F
F
F

r)
p (q

r)

(p q) r
p (q r)
V
V
V
V
V
V
V
V

V
F
F
F
F
F
F
F

As colunas 5 e 7 so equivalentes
(d) Identidade: p t p e p c c
p
V
F

t
V
V

c
F
F

p t
V
F

(d) Identidade : p
c outro valor = c.
c elemento absorvente.

p c
F
F

p t p
V
V

pep

p c
V
V

t outro valor = outro valor.

t elemento neutro.

As colunas equivalentes so 1, 4 e 3, 5.
Estas propriedades exprimem que t um elemento neutro
e que c um elemento absorvente da conjuno.

6.2 Propriedades da Disjuno

Sejam p, q e r proposies simples quaisquer e sejam t e c proposies
tambm simples cujos valores lgicos respectivos so V (verdade) e F
(falsidade) (ALENCAR FILHO, 2003).
(a) Idempotente : p
p
V
F

p p
V
F

p p
V
V

(b) Comutativa : p
p
V
V
F
F

q
V
F
V
F

p q
V
V
V
F

p
p

q
q p
V
V
V
F

p q

q p
V
V
V
V

Tecnologia em Anlise e Desenvolvimento de Sistemas

47
lgebra das Proposies

(c) Associativa : (p
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

q)

p q
V
V
V
V
V
V
F
F

(q

(p q) r
V
V
V
V
V
V
V
F

r)

q r
V
V
V
F
V
V
V
F

p (q r)
V
V
V
V
V
V
V
F

(p q) r

p (q r)
V
V
V
V
V
V
V
V

As colunas 5 e 7 so equivalentes
(d) Identidade: p t t e p c p
p
V
F

t
V
V

c
F
F

(d) Identidade : p

p t
V
V
t

p c
V
F

t
p t p
V
V

p c
V
V

t outro valor = t.
e p c absorvente.
p
t t elemento

cp

c outro valor = outro valor.

t elemento neutro.

As colunas equivalentes so 1, 5 e 2, 4.
Estas propriedades exprimem que t um elemento absorvente e que c um elemento
neutro da disjuno.

6.3 Propriedades da Conjuno e da Disjuno

(a) Distributivas
(i) p
p
V
V
V
V
F
F
F
F

(q
q
V
V
F
F
V
V
F
F

r)
r
V
F
V
F
V
F
V
F

(p

q)

(p

q r p (q r)
V
V
V
V
V
V
F
F
F
V
F
V
F
V
F
F
F

r)
p q
V
V
F
V
F
F
F
F
F

p r
V
F
V
F
F
F
F
F

(p q) (p r)
V
V
V
F
F
F
F
F

As colunas 5 e 8 so equivalentes

Lgica e Matemtica Discreta

48

Captulo 6

(ii) p
p
V
V
V
V
F
F
F
F

(q
q
V
V
F
F
V
V
F
F

r)
r
V
F
V
F
V
F
V
F

(p
q r
V
F
F
F
V
F
F
F

q)

(p

r)

p (q r)
V
V
V
V
V
F
F
F

p q
V
V
V
V
V
V
F
F

p r
V
V
V
V
V
F
V
F

(p q) (p r)
V
V
V
V
V
F
F
F

As colunas 5 e 8 so equivalentes
(b) Absoro
(i) p

(p

p
V
V
F
F

q
V
F
V
F

q)

p q
V
V
V
F

p (p q)
V
V
F
F

p (p q)
V
V
V
V

As colunas 1 e 4 so equivalentes

proposio final s depende do valor

de p, absorvendo o valor de q.

(ii) p

(p

q)

p
V
V
F
F

p
V
F
V
F

p q
V
F
F
F

p
p (p q)
V
V
F
F

p (p q)
V
V
V
V

As colunas 1 e 4 so equivalentes
(c) Regras de DE MORGAN (1806 1871)
Com De Morgan pode-se colocar a negao associada a cada uma
das proposies, sejam elas conjunes ou disjunes ou seja
(ALENCAR FILHO, 2003):
(i) ~ (p q)
~ p ~ q ( ex. No verdade que a rua est molhada e tambm suja equivale a dizermos que ou a rua no est molhada
ou no est suja.)
Tecnologia em Anlise e Desenvolvimento de Sistemas

49
lgebra das Proposies

Explicando o exemplo, quando montamos uma conjuno ela formada por duas proposies que ocorrem ao mesmo tempo. Para
que uma conjuno formada por duas proposies seja F, uma das
duas proposies falhou.
p
V
V
F
F

q
V
F
V
F

p q
V
F
F
F

~(p q)
F
V
V
V

~p
F
F
V
V

~q
F
V
F
V

~p ~q
F
V
V
V

As colunas 4 e 7 so equivalentes
~ p ~ q (ex. No verdade que eu tirei mais de
(ii) ~ (p q)
5 na prova ou que eu tirei menos de 3 na prova. Equivale dizer que eu
no tirei mais de 5 na prova e tambm no tirei menos que 3 na prova.
Explicando o exemplo, quando temos uma disjuno, uma das duas
proposies verdadeira. Para que eu negue uma disjuno, no basta
apenas uma ser falsa, as duas devem ser falsas.
p
V
V
F
F

q
V
F
V
F

p q
V
V
V
F

~(p q)
F
F
F
V

~p
F
F
V
V

~q
F
V
F
V

~p ~q
F
F
F
V

As colunas 4 e 7 so equivalentes

Regras de De Morgan:
(i) Negar que duas preposies so ao mesmo tempo verdadeiras
equivale a afirmar que uma pelo menos falsa.
(ii) Negar que pelo menos uma de duas preposies verdadeira
equivale a afirmar que ambas so falsas.
As regras de De Morgan mostram como possvel definir a disjuno a partir da
conjuno e da negao, ou a conjuno a partir da disjuno e da negao.

Lgica e Matemtica Discreta

50

Captulo 6

6.4

Negao da Condicional

Como p
q
~ p q (ex. Se choveu ento a rua est molhada. "
Ou "No
no choveu ou a rua est molhada.), temos (ALENCAR FILHO, 2003):
~( p
q)
~( ~p q)
~~ p ~q, ou seja, ~( p
~q, como se pode ver na tabela-verdade abaixo:
p
V
V
F
F

q
V
F
V
F

~(p

V
F
V
V

~q
F
V
F
V

q)
F
V
F
F

q) )

p ~q
F
V
F
F

q no possui as propriedades idempotente,

A condicional p
p, p
comutativa e associativa, pois as tabelas-verdade de pp
p ep,
qeq
p, (p
q)
rep
(q
r) no so idnticas.
resultado

6.5
aplica-se as regras de equivalncia
da bi-condicional e da condicional
aplica-se a regra de De Morgan na
equivalncia da bi-condicional
aplica-se a regra de De Morgan em
cada parnteses.
aplica a regra de equivalncia da
dupla negao.

Negao da Bicondicional

Como p

(~p

(p

q)

q)

(q

(~q

~(p

q)

~(~p

q)

~(p

q)

(~~p

~q)

~(p

q)

(p

~q)

p), temos (ALENCAR FILHO, 2003):

p), e, portanto:
~(~q
(~~q

(q

p)
~p)

~p)

Como se pode ver na tabela-verdade abaixo:

p

V
V
F
F

V
F
V
F

q ~(p
V
F
F
V

q)
F
V
V
F

~q

p ~q

~p

~p q

F
V
F
V

F
V
F
F

F
F
V
V

F
F
V
F

(p ~q)
(~p q)
F
V
V
F

Tecnologia em Anlise e Desenvolvimento de Sistemas

51
lgebra das Proposies

A tabela verdade das proposies ~(p

so idnticas
p
V
V
F
F

q
V
F
V
F

Portanto, ~(p

q ~(p
V
F
F
V

q)
F
V
V
F

q)

q), p

~q
F
V
F
V

~q

~q, ~p

~p
F
F
V
V

~q
F
V
V
F

~p

~p

q
F
V
V
F

q no possui a propriedade idempotente,

A bicondicional p
pois as tabelas-verdade de p
p e p no so idnticas.
Mas goza das propriedades comutativa e associativa.

6.6 Equivalncias Notveis

Todas essas
equivalncias so muito
importantes para o que
iremos aprender.

Nos prximos captulos, utilizaremos as seguintes equivalncias:

1. Idempotncia (ID): p ^ p

p; p

2. Comutao (COM) : p ^ q

q ^p; p

3. Associao (ASSOC): (p ^ q) ^ r
p (q r)

p ^ ( q ^ r) ;

p; p^C
C; p
4. Identidade (IDENT): p ^ T
C
p obs.: T = Tautologia e c: Contradio
5. Distributiva (DIST): p ^ ( q
(p q) ^ ( p r)
6. Absoro (ABS): p ^ (p

q)

7. De Morgan (DM): ~( p ^q)

r)

(p ^ q)
p; p

~p

p
q)

T; p

(p ^r); p

(p ^ q)

~q;

(p

~(p

(q ^ r)

p
q)

~p ^ ~q

8. Condicional (COND): p q

~p

9. Bicondicional (BICOND): p
( p ^q) v (~p ^~q)

(p q) ^ (q p); p

10. Contraposio (CP): p q

~q ~p

11. Dupla negao (DN): ~~p

12. Exportao Importao (EI): p ^ q r

Lgica e Matemtica Discreta

p (q r)

52

Captulo 6

ATIVIDADE 11 Para exercitar, vamos realizar algumas das

atividades propostas por (PINHO, 1999, p. 75):
1. Demonstrar as propriedades comutativa e associativa da bicondicional, isto :
(a) p

(b) (p
(q

q)
r)

2. Demonstrar, por tabelas-verdade, as equivalncias:

(a) p

(p

q)

(p

r)

(b) p

(p

q)

(p

r)

3. Dar, em linguagem corrente, a negao das seguintes

proposies:
(a) O cu azul e as nuvens so brancas.
(b) falso que no est frio ou chovendo.
(c) No verdade que Maria faz informtica, mas no medicina.
4. Demonstrar as seguintes regras de De Morgan:
(a) ~(p

r)

~p

~q

~r

(b) ~(p

r)

~p

~q

~r

Para maior compreenso, ler o captulo 7 lgebra das Proposies do livro ALENCAR FILHO, Edgard de. Iniciao Lgica Matemtica. So Paulo: Nobel, 2003.

Tecnologia em Anlise e Desenvolvimento de Sistemas