GABARITO Exerccios da Relao de Equivalncia ( )

1. Demonstre, utilizando tabelas-verdade, as seguintes relaes de equivalncia: p ( p q ) p (equivalentes) b) p ( p q ) p (equivalentes) c) ( p q ) ( p r ) p p r (no equivalentes) d) p q ( p q ) ( p q ) (equivalentes)
a)

!. Negue em linguagem corrente as seguintes proposies:

a)

"tl#tico # alvi-verde e $oritiba # rubro-negro.

Atltico no alvi-verde ou Coritiba rubro-negro.

b) "s vendas diminuem e os preos aumentam.

As vendas no diminuem ou os preos no aumentam.

c) % &also que est' &rio ou que est' c(ovendo. ~~(p q) p q : Est !rio ou est c"ovendo. d) )e *o+o passar em ,-sica ent+o se &ormar'.
#oo passa em $%sica e no se !orma.

e) .+o ten(o carro e n+o ten(o moto.

&en"o carro ou ten"o moto.

/. Demonstre as relaes abai0o utilizando as equivalncias not'veis: a) p q r ( p pqr ~p ( q r ) (~p q) (~p r) (p q) (p r)

pqr ~p ( q r ) ~p q r ~p ~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 )
(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. acla p g ( !"#) arq.$ !%&'&(%(!.doc

~p ( q r) p (q r)

(reescrita da condicional) (reescrita da condicional)

e)

~( ~p ~q ) ~( ~~p ~q) ~(p ~q) ~p ~~q pq

q)

pq
(reescrita da condicional) (dupla nega)*o) (De Morgan) (dupla nega)*o)

1. Demonstre as leis de 2organ para trs proposies: a)

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

(pqr)

(associativa) (De Morgan) (De Morgan)

b)

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

(pq r)

(associativa) (De Morgan) (De Morgan)

3. Demonstre, utilizando as equivalncias not'veis, que as relaes de implica+o s+o v'lidas: a) Exemplo.: 4egra da simpli&ica+o: p q q 5ara provarmos uma rela+o de implica+o temos que demonstrar que a condicional p q q # tautol6gica, ou se7a, 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 8ei de 2organ) p qq (aplicando-se lei complementar, q q # uma tautologia) pV (pela lei da identidade p V # um tautologia) V 5ortanto, est' provado que p q q # uma tautologia b) 4egra da adi+o: p p q ppq! (devemos demonstrar que a rela)*o de implica)*o equivale a uma tautologia)
~p (p q) ~p p q !q ! (condicional) (associativa) (complementares ~p p) (identidade)

c) 4egra do )ilogismo Dis7untivo: (p q)

(p q) ~q p ! (devemos demonstrar que a rela)*o de implica)*o equivale a uma tautologia) (p ~q) (q ~q) p (distributiva) (p ~q) + p (complementares) (p ~q) p (identidade) ~(p ~q) p (condicional) ~p ~q p (De Morgan) (~p p) ~q (associativa) ! ~q (complementares) ! (identidade)
lgica Aplicada - Prof. acla p g ( '"#) arq.$ !%&'&(%(!.doc

qp

d) 4egra de 2odus 5onens: (p q) p q

(p q) p q ! (devemos demonstrar que a rela)*o de implica)*o 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 ! (~q p ) ! (idempotente) (complementares) (identidade) (~q q) ( ~q p ) (associativa)

e) 4egra de 2odus 9ollens: (p q)

(p q) ~q ~p ! (devemos demonstrar que a rela)*o de implica)*o equivale a uma tautologia) (~p q) ~q ~p (De Morgan) (~q ~p) (~q q) ~p (Distributiva) (~q ~p) " ~p (,omplementares) (~q ~p) ~p (-dentidade) ~(~q ~p) ~p (condicional) ~~q ~~p ~p (De Morgan) q p ~p (Dupla .ega)*o) q! (complementares) !

:. 4eescreva os testes abai0o reduzindo as condies atrav#s das relaes de equivalncia:

a) SE fluxo_ext > fluxo_int ~( fluxo_ext > fluxo_int presso < 1000 ) ENT ! fa"a bloco de co#andos $ SEN ! fa"a bloco de co#andos % +a/endo p$ flu0o1e0t 2 flu0o1int e q$ press*o 3 !444 tem-se$ p ~(p q) p (~p ~q) " (p ~q) p q 5e flu0o1e0t 2 flu0o1int press*o !444 fa)a bloco A 5en*o fa)a bloco 6 b) SE ~(idade > &1 sexo'()() ( ~(idade > &1) sexo'()() ENT ! fa"a bloco de co#andos $ SEN ! fa"a bloco de co#andos % +a/endo p$ idade 2 '! e q$ se0o 7 8+8$ ~(p q) (~p q) (~p ~q) (~p q) (De Morgan)
lgica Aplicada - Prof. acla p g ( 9"#) arq.$ !%&'&(%(!.doc

(De Morgan) (Distrib.) (,omplem.)

(p ~p) (p ~q)

~p (~q q) ~p ! p 5e idade '! fa)a bloco A 5en*o fa)a bloco 6 c)

(Distributiva) (,omplem.) (-dentidade)

SE (cab'(loiro( pele'(#orena() (cab'(loiro( pele'(branca() ENT ! fa"a bloco de co#andos $ SEN ! fa)a bloco de comandos 6 +a/endo p$ cab78loiro8, q$ pele78morena8 e r$ pele78branca8 tem-se$ (p q) (p r) p (q r) (Distribuitiva) 5e cab78loiro8 (pele78morena8 pele78branca8) fa)a bloco A 5en*o fa)a bloco 6

d) SE (cab'(loiro( pele'(#orena() (cab'(loiro( pele'(branca() ENT ! fa"a bloco de co#andos $ SEN ! fa"a bloco de co#andos % +a/endo p$ cab78loiro8, q$ pele78morena8 e r$ pele78branca8 tem-se$ (p q) (p r) (p p) q r (Associativa) pqr (-dempotente) 5e cab78loiro8 pele78morena8 pele78branca8 fa)a bloco A 5en*o fa)a bloco 6 e) SE (cidade'(*uritiba() ENT ! SE (bairro'(*entro( bairro'(+ebou"as() ENT ! fa"a bloco de co#andos $, +a/endo p$ cidade78,uritiba8, q$ bairro78,entro8 e r$ bairro78:ebou)as8 tem-se$ p (q r) (note que se anin;ados s*o conectados por con<un)*o) 5e cidade78,uritiba8 (bairro78,entro8 bairro78:ebou)as8) fa)a bloco A

;. 4eescreva os testes abai0o negando as condies:

a) SE i > - ENT ! fa"a bloco de co#andos $ SEN ! fa"a bloco de co#andos % +a/endo p$ i 2 % tem-se que a nega)*o do teste =$ ~p :eescrevendo o teste condicional (note a invers*o entre os blocos de comando A e 6)$ 5e i %
lgica Aplicada - Prof. acla p g ( ("#) arq.$ !%&'&(%(!.doc

fa)a bloco 6 5en*o fa)a bloco A b) SE i > - estado'(!))( ENT ! fa"a bloco de co#andos $ SEN ! fa"a bloco de co#andos % +a/endo p$ i 2 % e q$ estado78>++8 tem-se que a nega)*o do teste =$ ~( p q) ~p ~q (DM)

:eescrevendo o teste condicional (note a invers*o entre os blocos de comando A e 6)$ 5e i % estado 8>++8 fa)a bloco 6 5en*o fa)a bloco A c) SE t.tulo_li/ro'(*orti"o( autor'(0ac1ado de $ssis( editora'(2T*( ENT ! fa"a bloco de co#andos $ SEN ! fa"a bloco de co#andos % +a/endo p$ t?tulo1livro78,orti)o8, q$ autor78Mac;ado de Assis8 e r# editora 7 8@ ,8 tem-se que a nega)*o do teste =$ ~( p q r) ~p ~q ~r (DM)

:eescrevendo o teste condicional (note a invers*o entre os blocos de comando A e 6)$ 5e t?tulo1livro 8,orti)o8 autor 8Mac;ado de Assis8 editora 8@ ,8 fa)a bloco 6 5en*o fa)a bloco A d) SE (assunto'(redes( assunto'(teleinfor#3tica() data_public > &041&4155fa"a bloco de co#andos $ SEN ! fa"a bloco de co#andos % +a/endo p$ assunto78redes8, q$ assunto78teleinformAtica8 e data1public 2 '4"!'"!##% tem-se que a nega)*o do teste =$ ~( ( p q ) r) ~( p q ) ~r (DM) (~p ~q) ~r (DM) :eescrevendo o teste condicional (note a invers*o entre os blocos de comando A e 6)$ 5e (assunto 8redes8 assunto 8teleinformAtica8) data1public '4"!'"!##% fa)a bloco 6 5en*o fa)a bloco A

<. =screva os testes condicionais do e0erc-cio ;a e ;b em linguagem l6gica matem'tica. ,aa o mesmo com os testes abai0o:
'reve e(plicao: B0iste um tipo de lgica matemAtica denominada $%&ica de "lo'd()oare que permite utili/ar o racioc?nio matemAtico sobre programas de computadores e suas especifica)Ces. Bsta lgica permite verificar programas, ou se<a, estabelecer conclusivamente que um determinado programa lgica Aplicada - Prof. acla p g ( D"#)
arq.$ !%&'&(%(!.doc

atende a sua especifica)*o. Al=m disso, permite constru?-los a partir de suas especifica)Ces. Bsta lgica, estabelece uma tradu)*o para todas as constru)Ces utili/adas num programa de computador. Assim, a tradu)*o que ela estabelece para um teste condicional = a seguinte$ 5e 0 3 4 6loco A 5en*o 6loco 6 +a/endo$ p# 0 3 4 , q# bloco A e0ecutado e r# bloco 6 e0ecutado temos$ ( p q ) ( ~p r )

+esposta da tradu"o do exerc.cio 6a +a/endo p$ i 2 %, a$ bloco A e0ecutado e *# bloco b e0ecutado, tem-se$ ( p a ) ( ~p * ) +esposta da tradu"o do exerc.cio 6b +a/endo p$ i 2 % e q$ estado78>++8 tem-se$ ( p q a ) (~(p q) * ) a) SE (estado_fita'(e#prestada() ENT ! SE (data_entre7a < 1o8e) ENT ! fa"a bloco de co#andos $, +a/endo p$ estado1fita7EemprestadaE e q$ data1entrega 3 ;o<e tem-se$ (pqa) b) SE (estado_fita'(e#prestada() ENT ! SE (data_entre7a < 1o8e) ENT ! fa"a bloco de co#andos $ SEN ! fa"a bloco de co#andos % +a/endo p$ estado1fita7EemprestadaE e q$ data1entrega 3 ;o<e tem-se$ ( p q a ) (p q *)

>. Demonstre a validade dos argumentos abai0o mediante utiliza+o de regras de in&erncia e equivalncias not'veis: a) p q, q r ?@
!. p q '. q r ---------------------9. p r 5F em ! e ' (. ~p r ,>.D em 9

pr

b)

!. ~p ~q '. q ---------------------9. ~~q ~~p ,P em ! (. q p D. p D. em 9 MP em ' e (

q, q ?@ p

c) p

q, q ?@

!. p ~q '. q ---------------------lgica Aplicada - Prof. acla p g ( &"#) arq.$ !%&'&(%(!.doc

9. ~p

M em ! e '

d) p q, r
!. p q

q ?@ p

'. r ~q ---------------------9. ~q ~p ,P em ! (. r ~p 5F em ' e 9 ,P em ( D. em D D. ~~p ~r &. p ~r

e) p ( q r ), p q s ?@ p s !. p ( q r ) '. p q s
---------------------9. ( p q ) ( p r ) (. ( p q) D. s &. p s D-5 em ! 5-M em 9 MP em ' e ( AD em D

f) p

q, r q, r ?@ !. p q '. r q

9. r ---------------------(. q MP em ' e 9 D. ~p M em ! e (

7) r p q, p !. p p q '. ~p ~q 9. r s

q, r s ?@ s

---------------------(. ~(p q) DM em ' D. ~r M em ! e ( &. s 5D em 9 e &

1) p q r,

!. p q r '. ~r 9. q ( ~s t ) ---------------------(. ~(p q) M em ! e ' D. ~p ~q &. ~q G. ~s t %. s t DM em ( 5-M em D 5D em 9 e & ,>.D em G

r, q (

s t ) ?@ s t

i) p q r s, !. p q r s

s ?@

q
lgica Aplicada - Prof. acla p g ( G"#) arq.$ !%&'&(%(!.doc

'. ~s ---------------------9. ~s ~r AD em ' (. ~(s r) DM em 9 M em ! e ( DM em D 5-M em & D. ~(p q) &. ~p ~q G. ~q

8) p q, q s, t ( r
!. p q '. q s 9. t (r ~s) ---------------------(. (q s) (s q) D. q s &. p s %. t ~s #. ~s t !4. s t !!. p t

s ) ?@ p t

6- em' 5-M em ( 5F em ! e D D-5 em 9 5-M em G ,>M em % ,>.D em # 5F em & e !4

G. (t r) (t ~s)

9) p ( q r ), p s, s r ?@ r !. p (q r) '. p s 9. s r
---------------------(. p r &. p r G. r p %. ~~r p #. ~r p !4. ~r r !'. r r !9 r !!. ~~r r 5F em ' e 9 D-5 em ! 5-M em D ,>M em & D. em G (posso acrescentar uma D. pois ~~r ,>.D em % 5F em # e ( ,>.D em !4 D. em !! -D em !' D. (p q) (p r)

r)

l) ( p q ) ( r s ), !. (p q) (r s)
'. ~q ---------------------9. ( (p q) r ) (. ( p q ) s D. ~p q s G. ~p s &. q (~p s)

q ?@

ps

( (p q) s )
5-M em 9 ,>.D em ( ,>M em D 5D em ' e &

D-5 em !

lgica Aplicada - Prof. acla p g ( %"#) arq.$ !%&'&(%(!.doc

#) ( p q ) r s, !. p q r s
'. ~r ---------------------9. ~(p q) (r s) (. ~r ~s D. ~(r s)

r ?@

,>.D em ! AD em ' DM em ( 5D em 9 e D DM em & 5-M em G

&. ~(p q) G. ~p ~q %. ~p

lgica Aplicada - Prof. acla p g ( #"#) arq.$ !%&'&(%(!.doc