GABARITO Exerccios da Relao de Equivalncia ()

1. Demonstre, utilizando tabelas-verdade, as seguintes relaes de

equivalncia:
a)
b)
c)
d)

p ( p q ) p (equivalentes)
p ( p q ) p (equivalentes)
( p q ) ( p r ) p p r (no equivalentes)
p q ( p q ) ~( p q ) (equivalentes)

2. Negue em linguagem corrente as seguintes proposies:

a)

Atltico alvi-verde e Coritiba rubro-negro.

Atltico no alvi-verde ou Coritiba rubro-negro.

b) As vendas diminuem e os preos aumentam.

As vendas no diminuem ou os preos no aumentam.

c) falso que est frio ou que est chovendo.

~~(p q) p q : Est frio ou est chovendo.
d) Se Joo passar em Fsica ento se formar.
Joo passa em Fsica e no se forma.

e) No tenho carro e no tenho moto.

Tenho carro ou tenho moto.

3. Demonstre as relaes abaixo utilizando as equivalncias notveis:

a) p q r ( p
pqr
~p ( q r )
(~p q) (~p r)
(p q) (p r)

q)(pr)
(reescrita da condicional)
(distributiva)
(reescrita da condicional)

b) p q r ( p q ) ( p r )
pqr
~p ( q r )
~p q r
~p ~p q r
(~p q) (~p r )
(p q) (p r)

(reescrita da condicional)
(associativa)
(idempotente, adicionei um ~p, pois ~p ~p ~p)
(associativa)
(reescrita da condicional)

c) p ( r s t ) ( p r ) ( p s ) ( p t )
p(rst)

p ( r (s t))
(associativa em s t )
(p r) (p (s t)) (distributiva)
(p r) (p s) (p t)
(distributiva)

d) p q r p ( q r )
pqr
~(p q) r
~p ~q r
~p (~q r)

(reescrita da condicional)
(De Morgan)
(associativa)
lgica Aplicada - Prof. Tacla
p g ( 1/9)
arq.: 332265659.doc

~p ( q r)
p (q r)

(reescrita da condicional)
(reescrita da condicional)

e) ~( ~p ~q ) ~p q
~( ~p ~q )
~( ~~p ~q)
~(p ~q)
~p ~~q
~p q

(reescrita da condicional)
(dupla negao)
(De Morgan)
(dupla negao)

4. Demonstre as leis de Morgan para trs proposies:

a) ~( p q r ) ~p ~q ~r
~(p ( q r) )
~p ~(q r)
~p ~q ~r

(associativa)
(De Morgan)
(De Morgan)

b) ~( p q r ) ~p ~q ~r
~(p ( q r) )
~p ~(q r)
~p ~q ~r

(associativa)
(De Morgan)
(De Morgan)

5. Demonstre, utilizando as equivalncias notveis, que as relaes de

implicao so vlidas:
a) Exemplo.: Regra da simplificao: p q q
Para provarmos uma relao de implicao temos que demonstrar que a
condicional p q q tautolgica, ou seja, que a condicional p q q
V
Desenvolvendo o lado esquerdo da equivalncia, tem-se:
pqq
(aplicando-se a equiv. de reescrita da condicional)
~( p q ) q (aplicando-se a Lei de Morgan)
~p ~q q
(aplicando-se lei complementar, ~q q uma tautologia)
~p V
(pela lei da identidade ~p V um tautologia)
V
Portanto, est provado que p q q uma tautologia
b) Regra da adio: p p q
ppqV
(devemos demonstrar que a relao de implicao equivale a uma tautologia)
~p (p q)
~p p q
Vq
V

(condicional)
(associativa)
(complementares ~p p)
(identidade)

c) Regra do Silogismo Disjuntivo: (p q) ~q p

(p q) ~q p V (devemos demonstrar que a relao de implicao equivale a uma tautologia)

(p ~q) (q ~q) p (distributiva)
(p ~q) F p
(complementares)
(p ~q) p
(identidade)
~(p ~q) p
(condicional)
~p ~q p
(De Morgan)
(~p p) ~q
(associativa)
V ~q
(complementares)
V
(identidade)
lgica Aplicada - Prof. Tacla
p g ( 2/9)
arq.: 332265659.doc

d) Regra de Modus Ponens: (p q) p q

(p q) p q V
(devemos demonstrar que a relao de implicao equivale a uma tautologia)
(~p q) q q
(condicional)
(q ~p) (q q) q (distributiva)
(q ~p) q q
(idempotente)
~((q ~p) q) q
(condicional)
( ~(q ~p) ~q ) q (De Morgan)
((~q p) ~q) q
(De Morgan)
(~q ~q) (~q p) q (distributiva)
~q (~q p) q

(idempotente)

(~q q) ( ~q p ) (associativa)
V (~q p )
V

(complementares)
(identidade)

e) Regra de Modus Tollens: (p q) ~q ~p

(p q) ~q ~p V (devemos demonstrar que a relao de implicao equivale a uma tautologia)

(~p q) ~q ~p
(De Morgan)
(~q ~p) (~q q) ~p (Distributiva)
(~q ~p) F ~p (Complementares)
(~q ~p) ~p
(Identidade)
~(~q ~p) ~p
(condicional)
~~q ~~p ~p
(De Morgan)
q p ~p
(Dupla Negao)
qV
(complementares)
V

6. Reescreva os testes abaixo reduzindo as condies atravs das relaes de

equivalncia:
a) SE fluxo_ext > fluxo_int ~( fluxo_ext > fluxo_int presso < 1000 ) ENTO
faa bloco de comandos A
SENO
faa bloco de comandos B
Fazendo p: fluxo_ext > fluxo_int e q: presso < 1000 tem-se:
p ~(p q)
p (~p ~q)

(De Morgan)

(p ~p) (p ~q)

(Distrib.)

F (p ~q)

(Complem.)

p ~q

Se fluxo_ext > fluxo_int presso 1000

faa bloco A
Seno
faa bloco B
b) SE ~(idade > 21 sexo="F") ( ~(idade > 21) sexo="F") ENTO
faa bloco de comandos A
SENO
faa bloco de comandos B
Fazendo p: idade > 21 e q: sexo = "F":
~(p q) (~p q)
(~p ~q) (~p q) (De Morgan)
lgica Aplicada - Prof. Tacla
p g ( 3/9)
arq.: 332265659.doc

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

(Distributiva)
(Complem.)
(Identidade)

Se idade 21
faa bloco A
Seno
faa bloco B
c) SE (cab="loiro" pele="morena") (cab="loiro" pele="branca") ENTO
faa bloco de comandos A
SENO
faa bloco de comandos B
Fazendo p: cab="loiro", q: pele="morena" e r: pele="branca" tem-se:
(p q) (p r)
p (q r)
(Distribuitiva)
Se cab="loiro" (pele="morena" pele="branca")
faa bloco A
Seno
faa bloco B
d) SE (cab="loiro" pele="morena") (cab="loiro" pele="branca") ENTO
faa bloco de comandos A
SENO
faa bloco de comandos B
Fazendo p: cab="loiro", q: pele="morena" e r: pele="branca" tem-se:
(p q) (p r)
(p p) q r
(Associativa)
pqr
(Idempotente)
Se cab="loiro" pele="morena" pele="branca"
faa bloco A
Seno
faa bloco B
e) SE (cidade="Curitiba") ENTO
SE (bairro="Centro" bairro="Rebouas") ENTO
faa bloco de comandos A.
Fazendo p: cidade="Curitiba", q: bairro="Centro" e r: bairro="Rebouas" tem-se:
p (q r)
(note que se aninhados so conectados por conjuno)
Se cidade="Curitiba" (bairro="Centro" bairro="Rebouas")
faa bloco A

7. Reescreva os testes abaixo negando as condies:

a)

SE i > 8 ENTO
faa bloco de comandos A
SENO
faa bloco de comandos B
Fazendo p: i > 8 tem-se que a negao do teste :
~p
Reescrevendo o teste condicional (note a inverso entre os blocos de comando A e B):
Se i 8
lgica Aplicada - Prof. Tacla
p g ( 4/9)
arq.: 332265659.doc

faa bloco B
Seno
faa bloco A
b) SE i > 8 estado="OFF" ENTO
faa bloco de comandos A
SENO
faa bloco de comandos B
Fazendo p: i > 8 e q: estado="OFF" tem-se que a negao do teste :
~( p q)
~p ~q

(DM)

Reescrevendo o teste condicional (note a inverso entre os blocos de comando A e B):

Se i 8 estado "OFF"
faa bloco B
Seno
faa bloco A
c)

SE ttulo_livro="Cortio" autor="Machado de Assis" editora="LTC" ENTO

faa bloco de comandos A
SENO
faa bloco de comandos B
Fazendo p: ttulo_livro="Cortio", q: autor="Machado de Assis" e r: editora = "LTC" tem-se que a
negao do teste :
~( p q r)
~p ~q ~r

(DM)

Reescrevendo o teste condicional (note a inverso entre os blocos de comando A e B):

Se ttulo_livro "Cortio" autor "Machado de Assis" editora "LTC"
faa bloco B
Seno
faa bloco A
d) SE (assunto="redes" assunto="teleinformtica") data_public > 20/12/1998
faa bloco de comandos A
SENO
faa bloco de comandos B
Fazendo p: assunto="redes", q: assunto="teleinformtica" e data_public > 20/12/1998 tem-se que a
negao do teste :
~( ( p q ) r)
~( p q ) ~r
(DM)
(~p ~q) ~r
(DM)
Reescrevendo o teste condicional (note a inverso entre os blocos de comando A e B):
Se (assunto "redes" assunto "teleinformtica") data_public 20/12/1998
faa bloco B
Seno
faa bloco A

8. Escreva os testes condicionais do exerccio 7a e 7b em linguagem lgica

matemtica. Faa o mesmo com os testes abaixo:
Breve explicao: Existe um tipo de lgica matemtica denominada Lgica de Floyd-Hoare que
permite utilizar o raciocnio matemtico sobre programas de computadores e suas especificaes. Esta
lgica permite verificar programas, ou seja, estabelecer conclusivamente que um determinado programa
lgica Aplicada - Prof. Tacla
p g ( 5/9)
arq.: 332265659.doc

atende a sua especificao. Alm disso, permite constru-los a partir de suas especificaes. Esta lgica,
estabelece uma traduo para todas as construes utilizadas num programa de computador. Assim, a
traduo que ela estabelece para um teste condicional a seguinte:
Se x < 0
Bloco A
Seno
Bloco B

Fazendo: p: x < 0 , q: bloco A executado e r: bloco B executado temos:

( p q ) ( ~p r )

Resposta da traduo do exerccio 7a

Fazendo p: i > 8, a: bloco A executado e b: bloco b executado, tem-se:
( p a ) ( ~p b )
Resposta da traduo do exerccio 7b
Fazendo p: i > 8 e q: estado="OFF" tem-se:
( p q a ) (~(p q) b )
a) SE (estado_fita="emprestada") ENTO
SE (data_entrega < hoje) ENTO
faa bloco de comandos A.
Fazendo p: estado_fita=emprestada e q: data_entrega < hoje tem-se:
(pqa)
b) SE (estado_fita="emprestada") ENTO
SE (data_entrega < hoje) ENTO
faa bloco de comandos A
SENO
faa bloco de comandos B
Fazendo p: estado_fita=emprestada e q: data_entrega < hoje tem-se:
( p q a ) (p ~q b)

9. Demonstre a validade dos argumentos abaixo mediante utilizao de regras

de inferncia e equivalncias notveis:
a) p q, q r | ~p r
1. p q
2. q r
---------------------3. p r
SH em 1 e 2
4. ~p r

COND em 3

b) ~p ~q, q | p

1. ~p ~q
2. q
---------------------3. ~~q ~~p CP em 1
4. q p
5. p

DN em 3
MP em 2 e 4

c) p ~q, q | ~p
1. p ~q
2. q
----------------------

lgica Aplicada - Prof. Tacla

p g ( 6/9)
arq.: 332265659.doc

3. ~p

MT em 1 e 2

d) p q, r ~q | p ~r
1. p q

2. r ~q
---------------------3. ~q ~p
CP em 1
4. r ~p

SH em 2 e 3

5. ~~p ~r

CP em 4

6. p ~r

DN em 5

e) p ( q r ), p q s | p s
1. p ( q r )
2. p q s
---------------------3. ( p q ) ( p r )
4. ( p q)
5. s
6. p s

DIS em 1
SIM em 3
MP em 2 e 4
AD em 5

f) p ~q, r q, r | ~p
1. p ~q
2. r q
3. r
---------------------4. q
MP em 2 e 3
5. ~p
MT em 1 e 4

g) r p q, ~p ~q, r s | s
1. p p q
2. ~p ~q
3. r s
---------------------4. ~(p q)
DM em 2
5. ~r
MT em 1 e 4
6. s
SD em 3 e 6

h) p q r, ~r, q ( ~s t ) | s t
1. p q r
2. ~r
3. q ( ~s t )
---------------------4. ~(p q)
MT em 1 e 2
5. ~p ~q
6. ~q
7. ~s t
8. s t

DM em 4
SIM em 5
SD em 3 e 6
COND em 7

i) p q r s, ~s | ~q
1. p q r s
lgica Aplicada - Prof. Tacla
p g ( 7/9)
arq.: 332265659.doc

2. ~s
---------------------3. ~s ~r
AD em 2
4. ~(s r)

DM em 3

5. ~(p q)

MT em 1 e 4

6. ~p ~q
7. ~q

DM em 5
SIM em 6

j) p q, q s, t ( r ~s ) | p t
1. p q

2. q s

3. t (r ~s)
---------------------4. (q s) (s q)

BI em2

5. q s

SIM em 4

6. p s

SH em 1 e 5

7. (t r) (t ~s)

DIS em 3

8. t ~s

SIM em 7

9. ~s t

COM em 8

10. s t

COND em 9

11. p t

SH em 6 e 10

k) p ( q r ), p s, s r | r
1. p (q r)
2. p s
3. s r
---------------------4. p r

SH em 2 e 3

5. (p q) (p r)

DIS em 1

6. p r

SIM em 5

7. r p

COM em 6

8. ~~r p

DN em 7 (posso acrescentar uma DN pois ~~r

9. ~r p

COND em 8

10. ~r r

SH em 9 e 4

11. ~~r r

COND em 10

12. r r
13 r

DN em 11
ID em 12

r)

l) ( p q ) ( r s ), ~q | ~p s
1. (p q) (r s)
2. ~q
---------------------3. ( (p q) r )
4. ( p q ) s

( (p q) s )
SIM em 3

5. ~p q s

COND em 4

6. q (~p s)

COM em 5

7. ~p s

DIS em 1

SD em 2 e 6
lgica Aplicada - Prof. Tacla
p g ( 8/9)
arq.: 332265659.doc

m) ( p q ) r s, ~r | ~p
1. p q r s
2. ~r
---------------------3. ~(p q) (r s)

COND em 1

4. ~r ~s

AD em 2

5. ~(r s)

DM em 4

6. ~(p q)

SD em 3 e 5

7. ~p ~q
8. ~p

DM em 6
SIM em 7

lgica Aplicada - Prof. Tacla

p g ( 9/9)
arq.: 332265659.doc