hIIp://www.euvcupc::cr.ccm.

Lr Fu Vou Fossor - e vcc

Fou|o Henr|que - koc|ocn|o Lg|co
Comenfr|o do provo de Iecn|co Jud|c|r|o - reo Adm|n|sfrof|vo -
5uper|or Ir|buno| de Jusf|o

Ccm re|ccc c ccnIcgem, cccc um cc: prcximc: iIen: cpre:enIc umc :iIuccc
hipcIIicc, :eguicc ce umc c::erIivc c :er ju|gccc.
41 Em um IriLunc|, c: prcce::c: :cc prcIccc|ccc: ccm nmerc: ce c|gcri:mc: ce 0 c
e c primeirc c|gcri:mc refere-:e cc nmerc cc :c|c cnce c prcce::c fci cruivccc. Ne::c
:iIuccc, c IcIc| ce prcce::c: ue pccem :er cruivccc: nc: :c|c: ce nmerc: 4 e 5
:upericr c 300.000.
Comenfr|o:
|ccuz|ncc c que:tcc.
N cc p|cce::c. ___ ___ ___ ___ ___ ___ ( c|gc||:nc:}


Fntcc. c::|n. nc ! c|gc||:nc. : pccen te| 2 nune|c: (4 cu 5}. Nc: cut|c:. quc|que| un
cc: !0 nune|c: (ce 0 c } pccen :e| ut|||zccc:.
Dc. tenc: que.
___ ___ ___ ___ ___ ___
2 !0 !0 !0 !0 !0
/u|t|p||ccncc c: vc|c|e:. tenc:.
ctc| ce p|cce::c: = 2 . !0 . !0 . !0 . !0 . !0 = 200.000 p|cce::c:
lfem errodo (confere com o gobor|fo)

42 Em um IriLunc|, Iccc: c: 4 Icnicc: ccmini:IrcIivc: fc|cm ing|: e{cu) e:pcnhc|: 42
ce|e: fc|cm ing|: e 4 fc|cm e:pcnhc|. Ne::c :iIuccc, 24 Icnicc: fc|cm ing|: e
e:pcnhc|.
Comenfr|o:
Sc pcce :er
4 cu 5

hIIp://www.euvcupc::cr.ccm.Lr Fu Vou Fossor - e vcc

C: 4 tcn|cc: :cc exctcnente c qucnt|ccce tctc| ce tcn|cc: que |c|cn c|gunc |nguc
(cu c: cuc:}. Ccnc eu tennc 42 que |c|cn |ng|: e 4 que |c|cn e:pcnnc|. entcc.
:cncncc c: cc|:. tenc: 88 que |c|cn unc cc: |nguc:. Se. cc |nv: ce 4. |c::e 88
tcn|cc: c tctc|. entcc. ncc te|cnc: n|ngun |c|cncc c: cuc: |nguc:. Ccnc ncc .
tenc:.
Fc|c 2 |nguc: = 88 - 4 = 24
Vcnc: ve| :e c ||gu|c cucc.

lfem correfo (confere com o gobor|fo)

Ccm re|ccc c ccmLincIcric, cccc um cc: iIen: :uL:eenIe: cpre:enIc umc :iIuccc
hipcIIicc, :eguicc ce umc c::erIivc c :er ju|gccc.
43 Em um IriLunc|, c ce:emLcrgcccr Iem c :uc ci:pc:icc 10 ju|ze: pcrc ci:IriLuir 3
prcce::c: pcrc ju|gcmenIc: um cc crec IrcLc|hi:Ic, cuIrc cc crec c|ve| e c Ierceirc cc
crec penc|. Ne::e IriLunc|, Iccc: c: ju|ze: Im ccmpeIncic pcrc ju|gcr uc|uer um cc:
3 prcce::c:, mc: cccc prcce::c :erc ci:IriLu|cc pcrc um nicc juiz, ue ju|gcrc cpenc:
e::e prcce::c. Ne::c :iIuccc, c ce:emLcrgcccr Iem mci: ce 700 fcrmc: ciferenIe: pcrc
ci:IriLuir c: prcce::c:.
Comenfr|o:
C que c que:tcc e:tc c|zencc que. tencc c: 3 p|cce::c:. c ! pcce :e| cccc pc|c
quc|que| un cc: !0 uze:. Depc|:. c 2 p|cce::c : pcce|c :e| cccc pc|c uze: (cccc
u|z : pcce|c u|gc| ! p|cce::c}. Fc|c c u|t|nc. : te|c 8 uze: pc|c e:cc|ne|. A::|n.
F|cce::c ! F|cce::c 2 F|cce::c 3

Fc|nc: ce c|:t||cu|cc. !0 . . 8 = 720 (nc|: ce 00 |c|nc:}
lfem correfo (confere com o gobor|fo)

!0 uze: uze: 8 uze:

hIIp://www.euvcupc::cr.ccm.Lr Fu Vou Fossor - e vcc

44 Em um IriLunc|, ceve :er fcrmccc umc ccmi::cc ce 8 pe::cc:, ue :ercc e:cc|hicc:
enIre 12 Icnicc: ce infcrmcIicc e 1 Icnicc: ccmini:IrcIivc:. / ccmi::cc ceve :er
ccmpc:Ic pcr 3 Icnicc: ce infcrmcIicc e 5 Icnicc: ccmini:IrcIivc:. Ne::c :iIuccc, c
ucnIiccce ce mcneirc: ci:IinIc: ce :e fcrmcr c ccmi::cc pcce :er ccrreIcmenIe
repre:enIccc pcr .
Comenfr|o:
Ccn|::cc = 8 pe::cc:. :encc.
3 tcn|cc: ce |n|c|nct|cc. cent|e c: !2 ex|:tente:.
5 tcn|cc: ccn|n|:t|ct|vc:. cent|e c: ! ex|:tente:.

Ccnc c c|cen ncc |npc|tc. e:tcnc: |c|cncc ce ccnc|nccc| S un cetc|ne. c
que:tcc c cucc. pc|: ncc p|ec|:cnc: cc|cu|c| c: ccnc|ncce:. A|n c|::c. c
ccn:egu|nc: nctc| c que:tcc. pc|: :ccenc: que. cc |e:c|ve| c: ccnc|ncce:. tenc:
que /UL|FL|CAF c: |e:u|tccc:. e ncc :cnc-|c: (ne::c. c ':e| ncu' pegcu pe:ccc. nucc|
: :|nc| :...}.
De quc|que| ncne||c. vcnc: c|nc| c: ccnc|ncce:. F||ne||c. pc|c cque|e: que ncc :e
|enc|cn. c ||nu|c.

e
Ccn|::cc =
lfem errodo (confere com o gobor|fo)

/ |cgicc fcrmc| repre:enIc c: cfirmcce: ue c: inciv|cuc: fczem em |ingucgem cc
ccIicicnc pcrc cpre:enIcr fcIc: e :e ccmuniccr. Umc prcpc:icc umc :enIenc ue
pcce :er ju|gccc ccmc verccceirc {V) cu fc|:c {F) {emLcrc ncc :e exijc ue c ju|gcccr
:ejc ccpcz ce cecicir uc| c c|IerncIivc vc|icc). Fcrc ce:igncr c: prcpc:ice:, u:cm-:e
freenIemenIe c: |eIrc: mci:cu|c: cc c|fcLeIc: /, 8, C eIc.

hIIp://www.euvcupc::cr.ccm.Lr Fu Vou Fossor - e vcc

Nc ccmunicccc enIre inciv|cuc:, ccmLincm-:e prcpc:ice: pcr meic ce ccnecIivc:,
ccmc e", incicccc pe|c :|mLc|c /, e cu", incicccc pcr v, pcrc fcrmcr prcpc:ice:
ccmpc:Ic: mci: ccmp|exc:. U:c-:e IcmLm c mccificcccr ncc", incicccc pe|c :|mLc|c
, pcrc prccuzir c negccc ce umc prcpc:icc. Frcpc:ice: / e 8 pccem :er
ccmLinccc: nc fcrmc :e /, enIcc 8" - cu / imp|icc 8 -, incicccc pcr / 8, em ue c
ccnecIivc c ccncicicnc| cu imp|icccc.
C ju|gcmenIc ce umc prcpc:icc ccmpc:Ic cepence cc ju|gcmenIc ue :e fcz ce :uc:
prcpc:ice: ccmpcnenIe: mci: :imp|e:.
Fcr exemp|c, ccn:icercncc-:e Iccc: c: pc::|vei: ju|gcmenIc:, cu vc|crcce:, V cu F cc:
prcpc:ice: :imp|e: / e 8, Iem-:e c :eguinIe IcLe|c-verccce pcrc c: prcpc:ice:
ccmpc:Ic: incicccc:.

Duc: euivc|ncic: funccmenIci: :cc c: cencminccc: Lei: ce De Mcrgcn: {/ v 8),
:ignificcncc / / 8, e {/ / 8), :ignificcncc / v 8.
Iencc ccmc referncic c: infcrmcce: ccimc, ju|gue c: iIen: ue :e :eguem.
45 Nc: :enIenc: cLcixc, cpenc: / e D :cc prcpc:ice:.
/: 12 mencr ue .
8: Fcrc uc| Iime vcc Icrce
C: x + 3 > 10.
D: Exi:Ie vicc cpc: c mcrIe.
Comenfr|o:
Le|cn c que c|z nc::c g|cnce ne:t|e S|g|c Cc|vc|nc. Dencn|nc-:e p|cpc:|cc c tccc
:entenc. exp|e::c en pc|cv|c: cu :ncc|c:. que exp||nc un uzc cc quc| pc::c ct||cu||.
cent|c ce un ce|tc ccntextc. :cnente un cc: cc|: vc|c|e: |g|cc: pc::ve|:. ve|ccce||c
cu |c|:c.
Fntcc.
A. !2 nenc| que . umo propos|o com vo|or |g|co F
8. Fc|c quc| t|ne vcc tc|ce F unc :entenc |nte||cgct|vc. e ncc unc p|cpc:|cc|

hIIp://www.euvcupc::cr.ccm.Lr Fu Vou Fossor - e vcc

C. x + 3 > !0. F unc :entenc cce|tc. e ncc unc p|cpc:|cc|
D. Fx|:te v|cc cp: c nc|te. umo propos|o com vo|or |g|co F (c||c:. :e|c que
ne:nc S :e| que n|ngun vc|tcu ce |c pc|c ccntc|. /c:. que unc p|cpc:|cc. |}
lfem correfo (confere com o gobor|fo).

4 Ccn:icere ue / e 8 :ejcm c: :eguinIe: prcpc:ice:.
/: J|ic gc:Ic ce peixe.
8: J|ic ncc gc:Ic ce ccrne verme|hc.
Ne::e cc:c, c prcpc:icc J|ic ncc gc:Ic ce peixe, mc: gc:Ic ce ccrne verme|hc" e:Ic
ccrreIcmenIe :imLc|izccc pcr {/ / 8).
Comenfr|o:
F||ne||c. tenc: que :cce| que Ju||c ncc gc:tc ce pe|xe. nc: gc:tc ce cc|ne ve|ne|nc
c ne:nc cc|:c que Ju||c ncc gc:tc ce pe|xe F Ju||c gc:tc ce cc|ne ve|ne|nc.
Agc|c. t|cn:|c|nc|enc: c p|cpc:|cc. u:cncc A e 8.
Ju||c ncc gc:tc ce pe|xe F Ju||c gc:tc ce cc|ne ve|ne|nc = (A / 8}.
Dc. nc textc |n|c|c| (c||c:. ccnc :enp|e. c Ce:pe excge|c nc tcncnnc cc: textc:.
pc|ece unc cpc:t||c|}. c|tc que (A ^ 8) e |guo| o (A v 8), e no (A ^ 8).
lfem errodo (confere com o gobor|fo).

47 Ccn:icercncc-:e ue c: prcpc:ice: /, 8 e C Ienhcm vc|crcce: V, F e V,
re:pecIivcmenIe, e ccn:icercncc-:e IcmLm c: prcpc:ice: F e C, repre:enIccc:,
re:pecIivcmenIe, pcr / / {8 v C) e |{/ / 8)] v {C), ccrreIc cfirmcr ue F e C Im c
me:mc vc|crccc.
Comenfr|o:
enc: que ncntc| c tcce|c-ve|ccce ccn c: cuc: p|cpc:|ce: e ccnpc|c|nc: c
|e:u|tccc. Vcnc: |c|
F Q
A 8 C (8 v C} A ^ (8 v C) (A / 8} (A / 8} (C} [(A ^ 8)j v (C)
V F V V V F V F V

hIIp://www.euvcupc::cr.ccm.Lr Fu Vou Fossor - e vcc

lfem correfo (confere com o gobor|fo).
48 / prcpc:icc Se fcr pcr e 10 fcr |mpcr, enIcc 10 < " umc prcpc:icc vc|crccc
ccmc F.
Comenfr|o:
Vcnc: :epc|c| c: p|cpc:|ce: e cnc||:c-|c:.
!} pc| = F
2} !0 npc| = F
3} !0 < = F
Agc|c. nunc ccnuncc (ccnect|vc F}. :e tenc: F e F. c vc|c| |g|cc :e|c F. De::e
|e:u|tccc. ncntcnc: unc ccnc|c|cnc| (:e ... entcc}. Dc. :e F. entcc F ten ccnc vc|c|
|g|cc V. Segue ccc|xc. cpenc: ccnc |enc|ete. c tcce|c-ve|ccce cc: cc|: ccnect|vc:.
A 8 A ^ 8 A B
V V V V
V F F F
F V F V
F F F V

lfem errodo (confere com o gobor|fo).

4 Ccn:icercncc-:e c: pc::|vei: vc|crcce: V cu F cc: prcpc:ice: / e 8 e ccmp|eIcncc-
:e c: cc|unc: cc IcLe|c cLcixc, :e nece::cric, ccrreIc cfirmcr ue c |Iimc cc|unc
ce::c IcLe|c ccrre:pcnce c IcLe|c-verccce cc prcpc:icc |/ v {8)] |{/ v 8)].

Comenfr|o:
F::c que:tcc. c gente : p|ec|:c ncntc| c tcce|c-ve|ccce e ve| :e c: vc|c|e: |g|cc: cc
u|t|nc cc|unc ccten ccn c nc::c.
A 8 (8} [A v (8)j (A v 8} [(A v 8)j [A v (8)j [(A v 8)j
V V F V V F F

hIIp://www.euvcupc::cr.ccm.Lr Fu Vou Fossor - e vcc

V F V V V F F
F V F F V F V
F F V V F V V

8cteu|
lfem correfo (confere com o gobor|fo).

50 Ccn:icere ue Jccc e Fecrc mcrem em umc ciccce cnce cccc um cc: mcrcccre:
cu :empre fc|c c verccce cu :empre menIe e Jccc Ienhc feiIc c :eguinIe cfirmccc c
re:peiIc cc: cci:: Fe|c menc: um ce nc: cci: menIirc:c". Ne::e cc:c, c prcpc:icc
Jccc e Fecrc :cc menIirc:c:" V.
Comenfr|o:
Acnc que e::c que:tcc |c| c que ex|g|u un pcuqu|nnc nc|: cc c|unc. Jccc. que cu
:enp|e |c|c c ve|ccce cu :enp|e nente. c|::e. Fe|c nenc: un ce n: cc|:
nent||c:c.
Agc|c. |ncg|nenc: c: cuc: n|pte:e: pc|c Jccc. |c|cncc c ve|ccce e nent|ncc.
!} Fc|cncc c ve|ccce. c ||c:e c|z que un cc: cc|: nent||c:c. Fe|c nc::c :upc:|cc. |:tc
unc ve|ccce. F ccnc ncc pcce :e| Jccc. entcc. Fec|c nent||c:c|
2} /ent|ncc. Se c ||c:e Fe|c nenc: un ce n: cc|: nent||c:c nent||c. entcc.
nennun cc: cc|: nent||c:c (c negccc ce 'pe|c nenc: un ...' 'nennun ...'}. Fpc|
Deu t||t| Jc ccnecnc: c|zencc que JCC F /FN|FCSC| Ccnc que cepc|:
ccnc|unc: que nennun cc: cc: nent||c:c F::c n|pte:e e:tc |u|ccc|||
A::|n. : pcce :e| que Jccc :enp|e |c|c c ve|ccce e Fec|c :enp|e nente.
lfem errodo (confere com o gobor|fo).