www.matematiques.com.

br

2 Lista de Exerccios Proposio Composta e Conectivos L icos !"abarito#

01. Sejam as proposi$es p% &or e ' rico e q% Car(os ' )e(i*. Traduzir para linguagem corrente as seguintes proposies: a) p ~q b) ~p q c) q ! ~p"

0#. Sejam as proposies p% + (ivro ' interessante e q% + (ivro ' de ( ica. Traduzir para linguagem corrente as seguintes proposies: a) ~p b) p q c) p ~q d) ~$p q) e) q ! ~p"

0%. Traduzir para a linguagem simb&lica' considerando p , &ose)a ' rica' q , &ose)a ' )e(i*' r , &ose)a ' estudante. a) (ose)a * rica ou in)eliz. b) Se (ose)a * estudante e rica ent+o * estudante e )eliz. c) (ose)a * pobre' mas )eliz. d) (ose)a * pobre e in)eliz. e) (ose)a * pobre ou rica' mas * in)eliz. )) Se (ose)a * pobre ent+o * )eliz. g) (ose)a * rica se e somente se n+o )or pobre. ,) Se (ose)a * estudante ent+o * rica se e somente se * )eliz. i) (ose)a * pobre' in)eliz' estudante ou rica. j) (ose)a estuda' mas * )eliz se e somente n+o )or pobre. 0-. .ndicar as proposies simples abai/o por letras min0sculas e traduzir as sentenas para nota+o simb&lica: a) Se (anet 1encer ou perder' ela estar2 cansada" Exemplo: p: Janet vence, q: Janet perde, t: Janet est cansada; Notao simblica: (p q) t; b) 3u 1ai c,o1er ou 1ai ne1ar' mas n+o ambos" c) Se os preos subirem' as construes )icar+o mais caras' mas se as construes n+o )orem caras' elas ser+o muitas" d) 3u (anet ir2 1encer ou' se perder' )icar2 cansada"

e) Se a quantidade de 2gua * su)iciente ent+o o crescimento das plantas * sadio"

04. 5scre1a )&rmulas para as sentenas abai/o utilizando as seguintes proposies: p: Pau(a vai - )esta. r% /icardo vai - )esta. q% .uincas vai - )esta. s% 0ara vai - )esta.

a) 6aula n+o 1ai. b) 6aula 1ai' mas 7uincas n+o 1ai. c) Se 6aula )or' ent+o 7uincas tamb*m ir2. d) 6aula ir2' se 7uincas )or. e) 6aula ir2 se e somente se 7uincas )or. )) 8em 6aula nem 7uincas ir+o. g) 6aula e 7uincas n+o ir+o. ,) 6aula n+o ir2' se 7uincas )or. i) Se 9icardo )or' ent+o se 6aula n+o )or' 7uincas ir2. j) Se nem 9icardo nem 7uincas )orem' ent+o 6aula ir2. :) Se 9icardo ou 7uincas )orem' ent+o 6aula ir2 e Sara n+o ir2. l) Se Sara )or' ent+o 9icardo ou 6aula ir+o' e se Sara n+o )or' ent+o 6aula e 7uincas ir+o.

www.matematiques.com.br

0e1am as proposi$es p e q2 tradu*ir para a (in ua em corrente as se uintes proposi$es% 3. p% Est4 )rio e q% Est4 C5ovendo. a) ~p ,) p ~q b) p ; q c) p 1 q i) p ; ~q p d) q p e) p ~q )) p 1 ~q g) ~p ; ~q

2. p% &or e ' rico e q% Car(os ' )e(i*. a) q p b) p 1 ~q c) q ~p d) ~p q e) ~~p )) ~p ; q p

6. p% C(audio )a(a in (7s e q% C(audio )a(a a(emo. a) q 1 p b) p ; q c) p ; ~q d) ~p ; ~q e) ~~p )) ~$~p ; ~q)

8. p% &oo ' a9c5o e q% &aime ' pau(ista. a) ~$~p ; ~q) b) ~~p c) ~$~p 1 ~q) d) p ~q e) ~p ~q )) ~$~q p)

0e1am as proposi$es p e q2 tradu*ir para a (in ua em simb(ica as se uintes proposi$es% :. p% ;arcos ' a(to e q% ;arcos ' e(e ante. a) <arcos * alto e elegante c) 8+o * 1erdade que <arcos * bai/o ou elegante d) <arcos n+o * nem alto e nem elegante e) <arcos * alto ou * bai/o e elegante )) = )also que <arcos * bai/o ou que n+o * elegante <. p% 0ue(= ' rica e q% 0ue(= ' )e(i*. a) Suel> * pobre' mas )eliz b) Suel> * rica ou in)eliz c) Suel> * pobre e in)eliz d) Suel> * pobre ou rica' mas in)eliz >. p% Car(os )a(a )ranc7s e q% Car(os )a(a in (7s e r% Car(os )a(a a(emo. a) ?arlos )ala )ranc@s ou ingl@s' mas n+o )ala alem+o b) ?arlos )ala )ranc@s e ingl@s' ou n+o )ala )ranc@s e alem+o c) = )also que ?arlos )ala )ranc@s mas que n+o )ala alem+o d) = )also que ?arlos )ala ingl@s ou alem+o mas que n+o )ala )ranc@s ?. a) / A 0 ou / B 0 c) / B 1 ou / C > B 0 b) / 0 e > 0 d) /# A / . / ou /0 A 1

@. a) $/ C > A 0 e z B 0) ou z A 0 b) / A 0 e $> C z B / ou z A 0) c) / 0 ou $/ A 0 e > D 0 e z A 0) 3A. a) Se / B 0 ent+o > A # b) Se / C > A # ent+o z B 0 c) / A 1 ou z A # ent+o > B 1 d) Se z B 4 ent+o / 1 e / # e) Se / > ent+o / C z B 4 e > C z D 4 )) Se / C > B z e z A 1 ent+o / C > B 1 g) Se / D # ent+o / A 1 ou / A 0 ,) Se > A - e se / D > ent+o / D 4

www.matematiques.com.br

"abarito% 3. 8+o est2 )rio 5st2 )rio e est2 c,o1endo 5st2 )rio ou est2 c,o1endo 5st2 c,o1endo se e somente se est2 )rio Se est2 )rio' ent+o n+o est2 c,o1endo 5st2 )rio ou n+o est2 c,o1endo 8+o est2 )rio e n+o est2 c,o1endo 5st2 )rio se e somente se n+o est2 c,o1endo Se est2 )rio e n+o est2 c,o1endo' ent+o est2 )rio 2. a) Se ?arlos * )eliz' ent+o (orge * rico b) (orge * rico ou ?arlos n+o * )eliz c) ?arlos * )eliz se e somente se (orge n+o * rico d) Se (orge n+o * rico' ent+o ?arlos * )eliz e) 8+o * 1erdade que (orge n+o * rico )) Se (orge n+o * rico' e ?arlos * )eliz' ent+o (orge * rico 6. a) ?l2udio )ala alem+o ou ingl@s b) ?l2udio )ala ingl@s e alem+o c) ?l2udio )ala ingl@s' mas n+o alem+o d) 8+o * 1erdade que ?l2udio )ala ingl@s e alem+o e) 8+o * 1erdade que ?l2udio n+o )ala ingl@s )) 8+o * 1erdade que ?l2udio n+o )ala ingl@s e nem alem+o 8. a) 8+o * 1erdade que (o+o n+o * ga0c,o e (aime n+o * paulista b) 8+o * 1erdade que (o+o n+o * ga0c,o c) 8+o * 1erdade que (o+o n+o * ga0c,o ou que (aime n+o * paulista d) Se (o+o n+o * ga0c,o' ent+o (aime n+o * paulista e) Se (o+o n+o * ga0c,o se e somente se (aime n+o * paulista )) 8+o * 1erdade que' se (aime n+o * paulista' ent+o (o+o * ga0c,o :. a) p ; q <. a) ~p ; q b) p ; ~q b) p 1 ~q c) ~$~p 1 q) c) ~p ; ~q d) ~p ; ~q e) p 1 $~p ; q) )) ~$~p 1 ~q)

d) $~p 1 p) ; ~q c) ~$p ; ~r) d) ~$$q 1 r) ; ~p) d) /# A / . / 1 /0 A 1 c) / 0 1 $/ A 0 ; > D 0)

>. a) $p 1 q) ; ~r ?. a) / A 0 E / B 0

b) $p 1 q) 1 ~$p ; r) b) / 0 ; > 0

c) / B 1 1 / C > B 0

@. a) $/ C > A 0 ; z B 0) 1 z A 0

b) / A 0 ; $> C z B / 1 z A 0)

3A. a) / B 0 > A # b) / C > A # z B 0 e) / > / C z B 4 ; > C z D 4 g) / D # / A 1 1 / A 0

c) / A 1 1 z A # > B 1 d) z B 4 / 1 ; / # )) $/ C > B z ; z A 1) / C > B 1 ,) > A - ; $/ D > / D 4)