Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Agora, que j aprendemos muito sobre proposies, estamos preparados para aprender sobre a lgebra das proposies.
6.1
Propriedades da Conjuno
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
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
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.
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
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
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.
(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
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
(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.
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
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), e, portanto:
~(~q
(~~q
(q
p)
~p)
~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
51
lgebra das Proposies
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
Todas essas
equivalncias so muito
importantes para o que
iremos aprender.
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)
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
~q ~p
p (q r)
52
Captulo 6
(b) (p
(q
q)
r)
(p
q)
(p
r)
(b) p
(p
q)
(p
r)
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.