˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚...

117
!∀ # !∀∃∀%&!∋∋#( )∃ ∗∀+ ,&∀,∀% ∋# #∗∗∀ ∋ ∋∗−.

Transcript of ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚...

Page 1: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

!∀# !∀∃∀%& ! ∋∋#(

)∃∗∀+,&∀,∀%∋##∗ ∗∀∋∋∗−.

Page 2: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

!∀# !∀∃∀%& ! ∋∋#(

)∃∗∀+,&∀,∀%∋##∗ ∗∀∋∋∗−.

!

∀∀ ! #∃%&%

∀% ∋ !

∀ ∀%()

&∃% !∗

&∃+ !∀∀

,−

Page 3: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

. ∀ (

∀ ∀

(∀/

.∀∀∀!∋∀

∀∀∀∋(/

.∀∋∀! #(

0/

. ∀ ∀% + %

1/

2 ∀

Page 4: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

2 ∀ ∀

. 2 ∀)

0 ∀! ∀ (

. 2

∀3∗

Page 5: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀#(∀%%∀4

∀ 5)∀∀%&∃%

% 5∗ ,# .%6) ∀

4! 3 ) ∃ ∀ ∀( 5

∗ . ∀ ( % ∀7 ) 1

∀ ∀ (∀ 4! ) 1 ∀ 1

∀∀∀∗∀∀∀∀) )

∀(∀%)∀#∀∗

∀ 3 89 89: 4

∀ ∀)) %!∗2

4)∀3∀ (( 5∋1#∀

3∗; (3) ∀

∀ ) 3) ∀ %

# ∀ (∀∀ !∗

2 !) ( (∀ ) ) ∃ <

∀∀%)∋ 1#∀

∀ ∗ 5

∀∀ (∀< )%∀)∀)

∀ ∀= ∋) ) ∀ (

∀ 2 !∗ ∀ ∀) ∀

∀∀()

∀( ∀%4∗

>).%6)∀(∀4

∀ )1%∗ ∀(∀% !

) ()3 ∀) (0∀

&∃?∀ &∃ ∗

∀∀ 5)

Page 6: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀( 5 % 4 (?∀

%∗∀)

&)=(∗

2 : 3) # (∀∗

≅ 1 ! ) ∀

∀#1∋∀ !

!∗ . ∀∀ ∀) 4∀ ∀∀ ∀

)∋∀∀∀%∀∀∀3

% % 5∗ 2 ∀ )

! ∗ ) ∀

∀#% ∀∗

,#+3)( !∀∀

∀ )

∀∀(∀ !1∗

%%∀ !% ∀

(∀ ! ∗.(∀∀∋∀

∀∀%∗

∀∀)%∀( 5∀∀ ∗

%∀ 45 ∀ 1

∀3 %!∗∀ ∗. )∀

∀∀)∀(∀∀∀(∀)

∋ ∀ ∀?∗ ∀ ) :%1 (∀

) ∀ ∀( 5 ) ∀∀

∀) :%1) ∀? ∀

∀∗

Page 7: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

3 8:9) ∀ ∀ (∀

( !∗%∀)!)

∋ %∀ ∀ ∀

∗ ∀ ∀ ∀ (

( ∀)∀∀3∗

;=) ∀(#)

∀ ∀ ∗ :∀

) Α .∀3 ∀

#∗ . ∀

∀) ( ∀ ( ∀ ()

3∀∀0∗

) ∃5∀(∀

∀ ( ) ∋ ∀ ∀∀

∀(∀∀∗

;1) 3∀%∀)

∋ !∀3∃

4!∗ (4! ∋

1∀ ∀ (∀ 4 ∀ 3 )

∀)∀ 5(∗

. ∀∀0∀

! ∀) )

4 !∀∗∀) ∀3∀)

( 3 ∀∀ ∀ ∀∗ >)

∀3∀)∀3 !(4 !

∋60%#(∗

Page 8: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

3 ΒΧ

∆Χ 3 ! ∀∃ ∀∀ < ∋ !

3∀∀∀∀=∀&)∀

∀) ∀∀ # 5

(∀ ∀∀

∀ ! ∀ ∀∗>∀3∀ ∀ 4

∋ ∀ ∀ 5) ( ! ∀%∀

)3∀∋41∀%)%%∀%∗

1 ∋ 3∀ ∋ # 3 #

∀∀∀ ∀

∗∀<3(

3#)∀∀∀ ∀∗

#∀∋7 ∀

∗ .∀) 3 # ∀ (∋ ∀ =) )

Page 9: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀3 ! (∀∋

%#() ∋ ∀ : !

1 ∗ . (4 # ! ∀

∀∗

Page 10: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

/

:;>2ΑΕΦ Β

.Γ>ΑΗ:Ι.ϑ& ΒΚ

Β∗ΒΙ2 Ι∀% ΒΛ

Β∗Ι.2 %%

Β∗ΜΙ. ∀ Κ

Β∗∆Ι.:3:& Ν

Β∗−Ι∀ ΜΜ

Β∗Ι3 Μ

Β∗ΚΙ389:::% ∆

Β∗ΛΙ∀∀ −

Β∗ΝΙ. # −Ν

Β∗ΒΙΟ3 83Β

.Γ>ΑΗ::Ι∀3 Μ

∗ΒΙ.(∀( −

∗Ι. !∀3 Κ−

.Γ>ΑΗ:::ΙΟ∀ !∀3( Ν

Μ∗ΒΙ1%3 ΝΒΜ∗ΙΟ∋3 Ν∆

Μ∗ΜΙ.∀ !3Ν−

Μ∗∆ΙΟ3∀# Β

Page 11: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

; ΗΑΦ Β

Ο:ΟΗ:+.Π:. ΒΒ

Ο:ΟΗ:+.Π:. :>.2. ΒΒ

Γ;2: ΒΒ∆

ΠΗϑ.2.9.Η:.ΕΦ ΒΒΚ

Page 12: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

3#∀)

∀ ) ∀ ∀ ) !)

∀)∀#)3∀∀

∀ (∀ ∀

∗∀∋4∀∀∀∋

%∀ %%∀ #

∗ ) 3 ∀ ∋ ∋ ∀

!) !∋3%

( 1 ∀ ∗ ()

∀ # ∋ ∋ ( ∀

%∀)(4)( 0∀)∀!)

%∀ ∋ !

∀∗ . ! 4 =∀ % 3

% ∀ (& ∀

)%∀)∗

1 3 ∀ %∀ <

5ΒΧ<∆Χ3)3#

∀) ∀∀∀)

∋# ∃#∃)4∀

∀ ( (∀ ! &∃()

∀4

3( !∗

; ∀ ∀ !

3#∋389:::)%%

∀∀∗2∀) 5

Page 13: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

% ∀ (∀

∋&%∀∀

3∗. ∀ ∀(∀)

3 5 (∗ %)

!) ∀ % ! 3 ∋ )

∀# 4)∀∀1

∀ ∀0∃ % 5

∀∀∗ .& ΒΚΛΝ) ∀ ! %) ∀

)4∀)∀∀∀∀

7∀∀4!3∗%∀

3∀7)<∀% !(∀()

() () ( ∗ Η% ∀ %)

% < = ∀ ∀∀ 3 ! &

&=∀∀∀∗

;.%(∀# !(∀

3 !) % ∀∀ ∗ 2 (∀

3 (∀∀

3∗∀ΒΝΝ)∋∀% !)%

2%)∗3

∀ ∀ ∋ 1∀ ∀∗ ;

∀∀)>,3%Ο)

∀# 1#4∗

. % ∋ 3) (∀ (

∀( 5 ∀3∀∗3#3∀%)∋)

∀ %) 3 ∃∗ &%

∀% ! ∋ !

(389:::)%38:8%=

Page 14: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀∀1∗:∋∀∀3∀%%∀

%(∗ 3 1 ! 3 ∀∀ Β

#∗%∀)%∋)∀(

1∀)∀∀)#)

∋1∀∗

∀ ∀ 3

∃ 5 ( ∃

5 (∀ ∀

4∗3(ΒΧ∆Χ

3 ∀ ∀ 0 ∀

%) ∋ ! ∀ ! %∀ ∀ (∀ !

(∋!∀∀)∀ 5∋

#Ο3∀∀∀=∀∗

. ΒΧ∆Χ3ΒΘ%40∋

∀∀∀ !)

∋( ∀ !%=)

∀( ∀ )

∀∀) ) ∀) 4! ∀

∀5∗

.3 ) # ∋ ∀∀ ∀

) ∀

∀∀ !) ) (∀)

∀ 5 5 ( ( ∋

∀))(%∗

Page 15: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

3 ) !

∀∃ ∀∀ ∀ ∋ ! 3 ∀

∀∀∀=∀&)∀∀)

∀∀ #) 5 (∀

∀∀ ∀ ∀

! ∀ ∀∗>∀3∀ ∀ 4 ∋

∀ ∀ 5) ∀ ( ! ∀%∀

∋ 41∀ %) % % ∀ %∗

. ∋ ∀ #

∀ 0∀) 2∀

%/ ∀ (∃∀)

2∀/(∀ !∀

∋6∀ ∀ !) 2∀

&∃(∗

% ∀1∀∀

)0( !∀(#∗

∀ # ∀ ∋ ∀

%∀ ∀ ∋ (∀ ∀

3∀∀))∀(∋

∀=))∗

.∀∀)(∃∀%∋ !

∀∗ . 40 ! % ∀7)

∀ 0

∀ ∀ &∃∀∗ ∀

∀ < # ) ∃ 5

∋ ∀∀∃

4∀∗.%∀) !)∀

Page 16: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∗2 ∀5 ∀∀)

( ! (3)<∀∋ )

3 ∀∀ ∀ )

4∀ 3)∀ ) ∀)

∀ 1 ∀

%∀ 3 # ∀ 4

ΒΧ ∆Χ 3∗ ∋ ! 3 (∀ ∀

Ο3 # ∀ ∀ ∀ 5) ∀)

3∀%∀)3∀

= () ()3 3 !

∀∗ ∀) ∋ # 3 #

∀) ∀ (∀ ∀

Page 17: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

0

1

. 3∀%∀∀∗;

3∃&) ∀ ∀

∀ ∀∀ ∀ ∀)

∀∀ % % &) %∀ ()

%)1(#)∀∀)∀)(∀)

∀∀ ∀∀( !∗

% ∀ ∀∀∀= ∀

=∀ (#∗,#+3)∀∀

% % ( ∀ ∀

) ∀

∀#∗

. )∀)%∀%%∋

∀∀# ∗∀∋

%%(∀∀ %4

∀&∗

3#3∀(∀ !

∀)∋∀)∀ (∀

()% 5)%(%∀∀

∀ ∗ . & 3 ∀ # − #)

) ∀ ∋ ∀ ∀

4) :#Π ∗

. ∀ ) <

(!∀# ∗

Page 18: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

; ) ! % ∀7 & Ο3)

∀∀)∋∀) (∀ 5

30∀∗

2.23∗−3∃ ∗% 4∋&%#

!

∀ΡΟ)ΒΝΛΚ)#%∗∆Σ

∀ ∀ ∋ ∀ ∀ ∀

∀ ! ∀Β∆∀/&∀

3∗Τ( (3∃&

∀ !) 3∀ ∃ ∀ % ) %∀

∀(∗

;3)∀∀ )∗

; ∀ % !) ∀ #

0) (∃ % ∀ !)

∀ ( ∀∗

∀ ∃ ∀) ∀ ∋

&∀(∃∗

≅ ∀ ∀ 3 (%

+/(%>∃ΠΥ/∀∃+∀

Page 19: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

.∗ ;∀ % +) # ∀

%∀∀ ∀∀)

(∗.∀∀3%∗

;%>∃ΠΥ#% (%∀∀∀∀

∀ ∀# (∗

∀ ∃ ∀∀ ( (∗

! ∀ ∀∃4!) ∀ %∀

∋∗.!∀(4∀∋

) %/ 3 ∋ ∃ ! ∋ #

∀∀∃∀∀%∗

Α∀∀)%∃ς.

∀∗ ∗)#%∀∀∀∀

∀∀#∀(∀(∗ ∀

∀∃4!) ∋ # % ∀ 1 ∀

(4/#)3∃!

..∀∗ ∗)∀)

∋ 5 % ∀ ∀ (∋6∗ .

%%.∀%

∀# ∀ ( ∀

%∋∀!Ι∀

!∗∀∀∋)1)3

!%)∗

Page 20: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

% ∀ ∋ ∀ ∀)

∀ # ∀ % ∀ ∀

∋ 4 ( ∀ ∋

3∀#∀∗

; !∀(∀)

∀∀(∀∃∀/#%

!∀/∀∃

∗. !∀∀∀∀ %∀

% ∋ ∋∗ %∀ < )

( ∀) ∀ ∀ ()

& ) % &

.3 Ω() ∃

∀∋∀∀

∀ 0∀ ∗ Α∀ ∀ 3

∀∗ &∀ 3 ∀ ∀ %) %∀

∀ ∀ ∋ 1% ∗

4 (∀∀ !3

! ∀#∗ . ∀ ) ∀

)%<∀∗

(∀ !()3 ( ∀ !

% ∀3 ∀3∃) ∀

( %∀0 ) !) ∀ )

∀ !∗ : ! 7∀

)∋( /∀

∀∀ Η∋∀∀(%∀∀

∀)%3)∀! ∀∗

Page 21: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

; % &) 3 3 Μ

)%∀∀ %)

=%) (# !∗

2 3∃(?) % ∀ %

3 5 %#( ∀ ∗ .

# %∀)∀ !∀

∀∗;=∀)3%)∋∋∋(

!#)0∃)∀)

∀ 1 (# % ( 3 ∀

&∃∗ >∀3∀ 3 Ο4 :∀3) !

=∀ 5 ∀ ∀ Ο3) %)

∗ ;. :∀3 7∀

∀ ) ∃ # ∀ 1

(4) ∀ ϑ) %%∗

>∀3∀3)∀)% ∀

!)∀∀3 (

∀ ∀%∀7∗

% # ∀3∀ 3 ∀

%) ∀ ∀ ∋ 1%

#∀) ∃

∀ ∀!∗ Α∀ 4∀ ∀∀ 3 3

Ξ(%∀ Ψ)∀%>∀∗

! %! ∀

∗. 3∀4%)=3

%)∀ ∋∀ ∀ ∀ ∀ % )

∀(%∗∀ ∀()4∀)∋

(∀)∀!3∀∀∀∀∀!)%∀

Page 22: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀) %∀ 9∀∗ .

(∀∀∋)3 ∀

%∀Ο∋Ξ1

Ψ ∀(>#∗

. (∀ 2 ∋ .)

,3∀)∃%∗

. 3 ∀ ∀#

% ∀ # 4 (∀

!∀∗3=∋!(∀ ∀

∗3∀∀∀%∗

2.53∗−4&#43%∀%∀%

Ξ#∃%

&

∋∀Ρ!)ΒΝΛΚ)#%∗Σ

> # %% ∀ ∀ %∀

∗2∀<∀) !

%% ∀∀ ∀% ∗ %)

∀? ) () ! ) ∀∀)

) ∗

%%) ∀ %) ∀

∀∀∀ !∗∀∀4

%# #∃∗ ∀

%%∀∀∋&∀# )

!&)∀∀3∀∋∀%∗

Page 23: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

&) (∀!∀ΙΞ∋∀

∀ ! ∀3∀∀ ∀Ψ∗

) 3∀4∋#Ξ 5Ψ∗

Τ (=∗#% (∋ Ξ4∀

∀ Ψ∗,#.∀ !∋Ξ≅∀

) !) ∀ ! 3 1∀Ψ∗

%ϑ∀)∀ ∀∋

∀%∀∗

∀ (∀ ∀ ∀ ∀

Ξ>Ψ Ι % Ι ∀ 2∗.3

34%∀∀2∀%∀)

∀ &4∀) ∀ ∀ Π% Η∗

∀2%∀%%)!

3 9:: ∗ ∗ %∀ 2 3

∀ ∀ ∀3∀∗ ∀ )

∀∀(∃(

∀%#∗%∀∀)

∀%))04∗

. 2 3 ∀ % +3∗

3∀ 3 ! ∀

∀ ! & ) ∀ ∀3∀ %%∗

2 2) ( ∀ )

%!∗∃+3(∀

∀ ∗ . 2 % ∀)

∀∀ ∃ ∀ ∀? =% #

(∀(4)%∀%∃∀?(∀

3∃ !∗

Page 24: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀ ∀ ) ∀

% (

# ∀ 2) ∀ ∋

∀%∀ ∋ % < (∀ (

3 9: ∗ ∃ ∋

∀∀∀∀∀)∋∀

∋6∀∀2)

∋ ∀ ( ∀∗ > )

. ) ∀ ∃ ∀ %0 3

% ∀ ) ∀) )

∀∀2∗∀

4%∀(∀∋

%%∀∗;∀∀3)∀%

∀ ∀ ∀ ∋ ∀

&)∃!∀∀?∗

. % 4∀ 3 ∀

+3) ∀(∃ ∀∀ ∀ ) ∀

%∀. 39: ∗ ∗.

40 ) ( ∀ ∀ ∀ <

!%∀∀ !∀)3∀( !%)

1(%∀∗. ∀∃

∗ ∀ 4 &

(4∀∋∋1%#3

∀∀!∀%∃<∀ !%

∀∗

;(∃)

2&+∀3ΙΠ)∀

%∀∗4 )∀

Page 25: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀)∀ !∀∀∗

,#∀. Ξ %40Ψ)

∀ ( ! ∀∗

∀(∀∀ =%)

!∗ . ∀ ∀

)∀3∋Ι∀%∀∋

∀∀∀ )∀#)∋

0∀ ∀ ∀ %∗ ∀ ∋

∀∀∀ ?) % ∀ % ! ∀ ∀

∀∀∀(∗

. % ∀ =∀ ∀

) & ∀

∀ ∀ # ∋∀ ∀

%∗Α∀%∋∀

∀∗

∀ ) ∀∃ ϑΖ[) ∀

1∀∀#∀∃< %∗,#∀

2) ∀ 3% % ∀

.∗ . ∀ 3 ∀? 2

%)>)

∀ .∋∗ <Ι

)∋∀ ∀)∀% Ι

.( ∃ ∀ ∀ ∀ (

∀ ∋ ∀ < ∀! ∀ ∀ 3

(7Ι Ι1 5∀

Page 26: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

. 3 (∀ ∀ ( +3∗ ∀

(ϑ.3)%∀∀(

∀∀ %)1.

% ( ∀∀ ) %

∀!#∀(%1#

#∗

∃∋ ∀∀∀

%%)∀3∀∗ ∀∀

∗; ∀ &∃)

∀∀%∀!∀ ∀∀

%!3∀∗. ∀∀∀∀Ι

=) !

∀! ∀∗.

∋) 4 %∀ ∀ () ∀

#∗ ≅ < 3

∀∀)%%∀∀∃∀∀

∀∀# !∀∀∗

∀%%∀∀#)!

∀ ∗ ∀3∀∀∀

∋∋∀)∀∗

Page 27: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

2.63∗−#∗%&#∀&∀∃∗∀

Ξ# ∃

( )

& ∗ (+

∋+

∃ ∋

∃(∋

Ρ∴∴∴∗∀∀Ζ∗1∗%∗∀∗) ΒΝΝΝ) ∀

ΗΠΣ

;%&∀0∀

∋(∀< )=:∀3∗)3

9::: 9: ∗ ∗) ∀ %∀ %# Ι )

!) ∗

∀ ∀ %) ∀ ∀∀

∀) ∀ ) ∀ ∀ ∀

%∀ ∀0 ∀ ∀∗ . !

∀ ∀ ∀0) ∋ 3%

<=))4∀(%

%∗.! &∀ ∀

∀0∀4∀∀∗.!%

∀#%&)#)∀

∗∀∀)(3%)Ι∋

∀ Ι ∀ ∀ )

∀(∗%1 ∀

Page 28: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

%))(∀)1∗3%

%3(∀:∀3)∀∀

%3%∗

; = % % (∀

∀∀ ∋ ∀

!∗.∀#< )%∃

%∀ %# %∗ ) (0

%% ∀ ∋ ∀ ∀

)(∀%∀∗

(∀ ∋ ∀ ∗ %%

204∀∀ ∀#∗;

:∀3∀) (∀∃ ( %# Ο) ∋ ∀

0 ∀ ∀

∀∗ ∀ ) ∀ ∀ %)

%∀∀(∋60∀0∀

! ∀ ∀3∀∗ ; ΒΛ ∗ ∗) % !

) (∀ (∀

∀# % !∗ # ∀

Β− ∗ ∗) ! ∀) )

(∀ ) %%

∀ < (∀∗ ∀

∀Ι(5)∋

∀?∗

;:∀3) <∀3

∀∗(∀∀1%)

∀)∀%∗

Page 29: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

. ∀∀ ∀

∀ 3 Ο#) ∀ ) ) ∀

∗ ∀∀∀∀∃%%∀∀)

∋∀∀∀∀∋∀∀ ∗

. ∋ ∋ ∀3∀ ∀ (∀

4 ∀ ! ∗

∀∀3)∀;#)(%

∀ ) ∀3∀ ># ∀

∀) 4 ∀!∗.

( ∀ :%1 4 ! (

:3∗

2.73∋∋# ∋ ∗+#∗%&#%8& !∋∀!∀&,∀

, ! − . ! ∃

/

∃ ∋

0 ∃ #

∃ ∃

∃ − . 0

∗( 1 ∃

&∃2 .

0

)

∃ ∃ .

∋∀Ρ∴∴∴∗4∗∀∗Σ

Page 30: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

. %:3(∀ ∋

4 #∗ ∀)

∀∀ %!∋

4∀ %∃∗ 5 ∀ %1)

∀ .% ∀∋ ∋ Ξ

% )! %1#

Ψ) ! ∋ ∋ Ξ ∋

.∋∋Ψ∗∀

<7 50∀)

(∀ 5.%∀∋

# ∀ (%∀(∗4∀

∀( 5 <∀%∀ 5∀

3)Η∀%∃∋ % !∀ )

(∀:3338:::

)∀∃Ι ∀0∀)

∋ 4 ! ∀ ∀ ∀ )

!∀3∀∀%%∗Α∀#

)38::)∀∀

! ;) ∀ ∀ ∋

∀ ∀∀ % ) 1

∀?% ∀∀∀

∀∗

=%∋∀ ∀ 5

∀∃).%∗2∀

:) > 3 9::)

( ∀ 4 ∀ ∀

∀∗.%∀, (∀ 5

4∀9 5

389:89::) ∀∃

Page 31: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

!)%1∗ %

∀ ∀ ΞΨ)

389:∗.ΞΨ∀ 4 ∀

1 ∀ 5

∗ ! ∀3∀ ∀ %∀ &∋

)(;∀1∀))

4∀

∋ (∀ 3 # ∗ . %∀

4 5) 5 # %∀ 1

!(%<%&∗

∀∋) 5∀%1)

:3∀ !%()∀

∀∗;.%

%∀∀ () 0∀∀%

(∀:3!∀3∀

#∗ !%∀4)∋#

∃#=∀1∗

. ∀ ∋∋ )

4 !∀ ∀ ∀ ∀ ∗ .

∀ % ∀∀ (∀ ∀

∋ ∀ ∀ %∀ Ξ∀(Ψ) ∀ ∋

% 5∀∀3∀∋∀∗.∀∀

∀) ∀ ∀ (∀ ∀

%∀∀∗;38:::)∀=3(∀

(4∀∀∀% ∀

Page 32: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀% !(∀∗Α∀∋∋(∀∀

∗. Ξ∀(Ψ3!)∀∀3

∀=∋ ∀∀∗

∀∀)∀∀∋∀)%∀∋%∀

∀∀∀ !∀#

)% ∗.# )∀∋

∀∀!!1%∀!∀

∀) 4 (∀

∃3%∀∀∗

∃(∀∋(:3∋%&∗

3 8:9 ( ∀ ∀ 3 ) ∀

%∀?∀∀∗.ΒΜΜΚ)∀ %

∀ 4 ! (% 0 3)

4∀(∀(∀∀!∀

∗.∀)!3∀∀∀( !%

∀∀5∃∀ ∀∗∀

∀ ∀3 (∃ ∀ ∋ 3 ∀

∀∗ . ! ) 3 )

% 7 ∀ # !

∀##∋∀5(38:9∗

%∀%0∋∀#(∀(3∃

Ι ∀ 3 ) ∋ !

∀( ∗ ∃#∀

!∀∋∗ )∀

389) 1#∀3

∋ # ∀ ∀ ∃ ) )

∀=)(∀∋! 5)

Page 33: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀ (∃ ∀ #) ! ∀#

∗ 3 ∀ ! ∀#

! 3 89: ∀ !

#30∀∗

2.93#∗! ∃#∗%∀

,∃∃

∋ . ( ∃

∋ 4

0∋54∋

0∋5∀Ρ2;)Β)#%∗Β−Σ

∀ ∀ ) ∀ Β∆−Μ

.∀3∀Β−)%(∀:3∗;389)

∀ ∀∀ ) ∀ ∀ Π

6:# (#%∀:%1

∀ ∀ ∋ ∀

∗ . %) ∀ ∀ ∋ ∋

(∀) ) ∀∃ ∀

#∗.))∀∀()

]∀%7]∗

∀ (∀ !! !

∀) ∀ ! ( ∗∃

(&(∀ !.% #)∀

∀∀∀∀∀∀∗ ∀

0(∀)∀∀ ∀ ∀%

( ∗ ∀)4!% 5∀∀

Page 34: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

! 4∀∀3

∀ 5 ! (∀

∗ ; 4! ∀)

∀∀)4(

)∀(∗;4∀∀(3

∀)7∀Π

:# ( ) ∋ ( ∀ (

∀∀∗

. ∀ ∋

∀( ∋ ∃ ∀

) ∀∋)3∀∀3)

∗ ∀ ∀ ∀ ! ∀∀ 4 ∀3∀

∀ ! ∗ ∋ 3 ! 4 ∀ )

5) ∀3∀∀ (∀ ! (

∀ ∗ (∀ %)

() ∃ ∀ ∀ & ∀∀∗ .

!∀ ) ∃

∀∀=))∀∀3∋ !∗∀

∀∗ ; ∋ =

# ∀ ( ∗ %∀ # 3

∀∃∀∀∗∀3883∋3

∀ ∀ ∀3∀ < ∀

4∗

%∀ ( ∀ ) ∋

∀ 4! ∋6∀

∀ 3 ∗ ∀∀

∀< )(∋∋ ∀∀!)

Page 35: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∋ ( ∀ ∋ ∀ ∀ ∗

( ∀ ∀ )

∀((∀∗.

3)(∀∀ ∗∀%

3 78 − ,)

> ∀) Β∆Ν Β−Β∗ 2 %) ∋∀

63∀∀2∀

Π ∀ Ξ0

Ψ∗ ∀ %∀#

∀∀) ∀∀ Ι∀3)

∀∀)∀∀&)0/∋∀

(∀)∋∀∀)

∀∃∃∋∀4∀%∃

3Ι∋∀∀ 3∗

; ∃∀∀389:∃ !∀

∀ 3 ∀ %∗ 2 (∀ #

∀ ;%Π ∗∀

∀ ∀ Ξ 9( : ∗ −(

Ψ ∋ ∋6 % 3) 5

%#( Ι ∀ ∀ ! ( <

! ∃) ∗ %

ΞΨ∋∀%∀

∗ . ∋ %∀ ∀

∀∗

. ∀4 ∀ %() ∀

∀∀(∀)∀∋∋

Ο3∀∀3 )∀∀

Page 36: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

%∀∗∀∀Ο3∃

∀%∀ ∀ 3)∋

&∋!∀)∀#4∀∀

) 3 ∋ ! (∀ ∀ &∗ ;

) ∀ ∀ ) ∀=) )

# !∀#∗∃∋Ο3∀

389:) 1# ∀1 %∀3 #

1) ∀ ∀ ∀ ∀&)

1#4∗

2.:3∗∀&%#

,∋ ∃

∃ %

!/∃

;∋

∃&

∀Ρ.)ΒΝΛΛΣ

.∀4 !∀3∃

∀%Ο%Ο(∀

2∋+(!∀:.%)∀>)∀

Β∆ΛΝ∗ >∃ ∀ −(() 3) ∀ # (

(∋∗

3∀%∀∀ )

∋∀∀3)

Page 37: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

( # ( ∀ ∀ ∀ ∗

∀∋∀∀ ∀∀) )%∀

( ∋1∀#%

5 ∀ ∀) & ∀ %)

)∗

∋∋Ο3( <Π

3 ∀ϑ∋ ::) Π ∗ .

∀ :# ∀) !

!4#∀=∀5

∋ ∀∀ (

∀∗ # ∀ ∀ ∀ ! ) 4

(1∗>∀3∀5

1∀( 5∋(

∗ ∀ ∀ %∀ ∀&% ∀

∀ ) ∗

%0 # ∀3∀ ∀ %

() 3 ∀ ∀4 %

(0∗∀33∀

# ( #) ) ∀=

4∀∋∀%∗

Π Ο Ο%1) ∀0) ∋ (

Π ∀Β−−−)∋∀( !3Ι∀1

%∀3 ∀ 1 ∀

∀ ( ∀ Β−Λ−) ∋Ο ( 3 ∀ Ξ∀

!∀∀∀∀= Ψ∗

Page 38: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀ Β−ΛΒ) ϑ∋ :::) Ο Ο%1 Ι 1

∀(∀ΟΟ1[4)

)∀ 3(1∀

∀!%Η∀2∋,[∗

∀ ∀ #) ∋

%Μ∗∀ (∗ ∀

( ∀∀∀ ( ∋

(∀∋1Ι!<∀

3∗ Ο14 ∀? ∀ %()

∀ 4# % (% %∀3 ∋ ∀

∋ # (∗

Π!%3∋&∀=(∀

∗ ! ∀

∀4∀

∗1 (∋∀∀

#3∋ (∀

∀ ∀ 1∗ Ο14) ∋

(∀)∀∋∀

(∀∗

. !) ∀ ∀ ) ∀

(3#∗∀(∀

∀∀) ∃ %%∀ 3∗ .

3 89: 89:: ∀ ) ∀ ∀ )

∀ ! ! (

∀∗ ∀∀%∀)∀∀∀

)(∋4∀∀)∀(

∀ ΒΚ∋∀ (∀ ∀

(∗

Page 39: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

2.:.23∋∗−! !;< =#4>% ∃∋#) ?≅

<

∋ (∋

= 7( ∀Ρ

Ο)ΒΝΛΚ)#%∗ΒΒΣ

;389::)4!3) :#

Π ∗ 3 ∃ ∀ % ( ∋

∀∀∀5)∀ ∀

∀=) 5%%3

Η8:9∗∀)Η8:9∀

∃ ∀ % ∗ ∀ 3

∀3∀∀

∀∀%∀(%∗

Ξ Ψ) ∀ ( # ∗)

∀ΒΜ−∀ !∀Β∋ (

∗Η8:9%∀7< )

4∃∀∗3)

∋4∀/ ∋)31)

3 ∀ )>) ∋ ∋∀ ∀ %

#∃(1)∗

Page 40: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

3∃%∀∀∀%%)

& ! Η 8:9) ∀ ∀

∀? ! ∗ . %( ∀ (%

%∀3 ∀ ) ∋) 7% 3 ) %∀

∀%∀ ∗ ∋ (∀ 5 (∀

) ∀4∀4∀

%) 5 ∀ 5) ∀

∗ ∀ ∀∀ !)

∀)% !∋

∀ ) ∋ 3 ∀ ∗ .

∀ % ∀ ! ∀

%%∀)∋∀∗

% ∀%) ∀)

()59()3∋

∋ ∀∗ ∀% 3 ∀ ! ∋

∀) ∀

∀)1∗%3.%

!∀∀∀∀&)∀

∀∀%<∀∗

. ∀ ) !) .% #

%∃∀) ∃ ) ∀&

∀ (∀ ! 3∗ ∀ ) 4%0

( !3Η8:9(∀∋1∀%()

∋ % ∀ ∀7 ∋ ∀ ! ∋ ∗ ϑ#

4) ∋ 4 (

#∀&%∀%(&∗

Page 41: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

Α∀∋603∋4!)

!∀(∀∀∀1

∗ ∃ ! ∋ 3 4∀∃

(∀ %∃∀ ( ! 3

∀∗

⊥ ∀ ∀∀ ∀ %) 1 1 3

(∃ ∀ & ( (∀) 3 ∀ ∀

! 0∀ Η 8:9 ∀ ΒΒ 7: 3

0 ∃ ∋ Ο∀ ∀ Η ∗ %

4 ∀∀ % 4∀∗

∀∀!

< .∀ ∋ ( ∋ %

∀= ) ∋ ∀3∀ Η 8:9

∀!∗2(∀)∀#

0∀∗ ! ) ∀ &

∀ ∀ ΒΛΒ ∀ Η 8:9

∀ ∀ ∀ 3∗ ; ) 1 ∀

∋ # ∀ ∀ %

∋ (∀ !) ∀ ∋ ∀∀

∀∀ ∀ ∗ >

# (∀ ∀ ∋ ∀ ∀∀ ∀∀

#3∗

! # ( ∀(

∀( 5 (∀% ∀7∀3∗

.!∀)∀∀# !∋

!∀=∗Η[

Page 42: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

Ο∀ ∀ ∋ ∀ ) ∀

∀ ∀∀ ) ! ∀ ∀ ∀

)#∋((=)∀∀

∋ ∀ !

∀41(∗∀∀)

∀ ) ( () ∀ ΒΚ) Ο∀∗

>∀3∀∀∀ 7%!∃

) 3 #

∋ ∀ 3 ∗ Ο1[4 ( 3 ∀

∀∀%∀3(∀1)

&∃3 Η[) ∀∀

∀ ∀∗ )∀3∀ !

∀∀∀∋(∀∀

!∗ . ! ?

) ∀ ! )

% !Ο∀(∋3∋ ∗

2.:.53 ∀ Α&# ∗+#∗%!∀∃∋ Β

Α∀ ∀ # ( 3∗

# ) 3 ∀

∀% % ∀3∃3) ∋

∀)∀0)3∀%∀)∀

3∀∀∗2(∀∀

∀) ∀ ∋ Υ ∀ ∀ 3

! ∀% %%∗ . & ∀ ∀

∀)∀∀3∋∀∀∗; )

∀ !∀3∃3# % ! ∀

!∀#∗)3) ](]

Page 43: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

)∀3 ∀∀∋0∀ !∗.

∀ ∀3∃3 Υ 7≅1 (

( Π∋) ∀ 94∃Η∃9∀) ∀ ΒΒ∗ . ∀=

%( (∀ Ο∀ )

Η[)(Η[∗.∀∋∀

∀3∃3Υ∗

. ∀3∃3 3 ∀ ∀

%∀3∀=∋(∋6

∀ ( ∗ ; =∀ ∀

433∗.1)∀ΒΝΝ)∀∀=

Η3(=∀3∋Η8:9∀∗

Υ∀∀3∀

5∃(∀∋∀∀(

∋∀ < ! (%) ∀ ∀ 3

0)Ξ3 !Ψ∗

2.:.63#)!=∃,;∃#%&#∋#∋∗−∋Χ&∗−

∃ ∋ ! () ∀ )

∀ ∀ ∃Η

Ο∀∗∀Ο∀(∀3&%(

Π ∀ ! ( !

3#∗≅% 5 ∀∀∋)

∀∗ ∀#∀ ]∀ ])

∋) ∀ Η 8:9) < (∀) <

%)∀)∋3)∀

∋∋3∀∀)∋3)∀∀∋

Page 44: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀ ! ∋ %∗ .∀) ∀ ( !

( % < ) 3

∀ ∗ Ο∀ ∃ 3

(∀∃ ∃ 3 % ∀ ∋ !

∀∀ Ρ )

∗Σ) .∗.3∀)(∋∀

5 #) ∀ (∀ 4∀ ( 3

∀7∀) ∀∋ ∋

4 ∀ ?∀) ) ) ∋ ∀

0∀ 3 #∗

Ο∀ ( % ) ∋ (∀

∀∀ )∋

∀ ∋∗ . ! % ∋∀

∗ 2 (∀) ∀ ∀ (∀ ]] 3

∀∋(∀∗

Ο∀ ∀ ∀0 ∀ ! ∀

%(7≅1 ) Υ) ∀ ∀3∀∀? ∗

∀( %Ξ∀3

∀1Ψ) 1(∀3

Β−−∀∀3∃3Υ∗

Ο∀ ∋ ∀ < ∀ % !

∀∗ ∀ (∀

(∀∀%(4)∋6∀)<%∗∃

∋ ∀ ) ∃ ∋60

∀(∀=0(( ∀

( !∋)ΒΚ).∀

=2 %(! )∀#(4)

Page 45: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀ ∀ ∀ !

%∗)%)(∀)

∀ ∀∃ 3 Ο∀∗

2(∀∀∀ ∀)∋ !∀

!) ! ∋ (∀ 0 1 ∀

∀ (∗

Ο∀ )

∀(∀)∀%∋(4< !

∗ ∀∀∀∀) ∀#4∀

∀ ∀∀ ∀ ( ∀ (∗

∀ΒΚ∆)∀)∀∀∀

∀∀∗

2.:.73)∆3∋∗−%∀&∗#∋ +#&% ∃#∗%∀

Η[ ∀ ∀ 4

∀&)∀3∗∀3∀

%#) # (%)∋

%∀7∗

Η[ 3 & ∋ ∋

Ο∀∗ (∀ ) ∀% 4!

∀∀)∋#)

(∀3∗.! )

# 4##)

(∀∃ ∀∗

Page 46: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

≅)3∀∀ΒΛΚ)Η[∀

%3∀∀ (∀)14 !

∀%Ο∀∗Η[03)

< :Ο3/∗)∀

∀∀ ) Η[ ! ! )

# Υ ∋ ∀%#∃ ∀ ∀ !)

∀% ∀ ∀∃∀3

& & (&∀ 3 ∗ ∀

∀% =)!∀( %

∀#∋∀∗.3∀=3

) ∀3∀ ∀ ∀

∀ 1 ) ∀ ∀

) ∀#∗ ; ) ∀

∀∀ ∀)∃#∀3∀

( ∀ (∀

! ∀ ! ∋ % ∀

3 ∗

2.Ε3!)∀≅#∀4&∗∋# ∗∀+∋∀&#

Α (

∗ +

#

+

2

< ∋

∋ 0

∋Β

Page 47: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

0∋∋Χ∗

≅%

∋ (

Χ ∀ Ρ

Ο)ΒΝΛΚ)#%∗ΒΚ−Σ

3 89::: 3 ∀∀∀ ∗ !

∀ ∀ % = ) ∀

(∋ ∀&Η[∀&∀

∀3∋(∀

(∀∋3∀∀∀#∗

≅ Η[ ∀ ∀ ∀ ∀

∀!∀4 !4) 3

∀∗∀ ∀∃(∀

3∃∗Ο∀)∋∆

∀ Η[) ( ∀ ∀ 3 ∀

ΒΛΚ∗.∃∋1 )∋5∀

∀ ∋ ∀ (∀

∀ ∀ 3 !

! )%∀ 5∀∀

. ( ! Ο∀.∀

2 ∃∀∀&∀Η[∗. 0∀

∃%)∗.( !3∃

∀ (∀ ∀ ∀∀ Ι ) ∋ ∀)

∀∀∋%∗2∋6)∀Η[

3< !∀)3∗

Page 48: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀ ( 1

∗∀∀) ΒΚ−) 7≅3∆ Ε

∃∋∀% !389:::∋

∃ 1 < ∀ ∀3 )

∀ < ∗ ∀

! ∀∀) ∀ ( ∀

∀ ∀ (#) (∀ %

∀∀∀∗

; % ! :) ∀ ∀∀

∀∀) ∀ ∀ (0 ∀ ∀ % ∗

∀ # # ∗ ∀

5 3) 3 ∋ ∀ ∋

1# 4) 4 !

% ) ∀ ) ) .) ∋

∀3∀ 3 1) ∀ ∋ !

∀% ∗. !∀ 5

∀∀∀∀∋∋ !∀(∀

∗>%∀3 )

∋ ∀∀∃ %∀∗ (∀ 3 ∋ 1#

!∀∀∀3!)∀

∗ ∀ !∀∃

3 ∀ ∀∀ 40 ∀

∀∗ ∀ (%∀ )∋ (∀∋3

# ∀ ∀ ∀ ∀ ∀ %

(%%∀ ∗∀∋

)∀ 53)%∀

3 #) % ∋

∀7<# ∗;3#3

Page 49: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀ ∀ % 3) 1) ∀

%(∗

2 3 89::: ∀ 3

3∋3Ι ∀%3∗.∀

∀ ( %∀ ∋ ∀ ΒΚ

7 ∀

∗%4!)

%∀ %() 3∀ ∀3∀ ! ∀

Η∀)∃∀

∀ = ∀ %%) Ο3[%∀)

ΒΚΜ∆∗>3∀ ∀% (∀Π

3∋(∀_Μ∗

,∃+% ; ( (∀ ∗

;∀ΒΚΚ)( 23∀

Β ∗ % ∀ ∀

.∀)∀% 0# (

∀%0 ∋3(

∀ΒΚ∆Ν))(3

∀ &%( # _ ?∀ Π ∃

Η∀%(1≅ ∗Π;∋

:)1)3∀# )

∋∀∀ !∀∗!(∀

∀∀)!∋∀

:)∀∋∀ ∀

∀∀4!!∀(∀∀∀∀∗ ∀∀#

()!%(4∀∀%∀∀

Page 50: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀ 04 ( ∀ ∆

∀)(3∀3

(∀ 7 Ρ Σ ∀

%ΒΚ∗∀∀∀(

3∀∗;

∀) ∀ %)

< ! _ ∗ 4∀ ∀ 5

5)∀∀ΒΛ∆∃ 2 )

.)!%∃ΒΛΚ∃

.:∀∀+2 ∀))Ηϑ[∗

. ! ∀ ! ∀#) ∀ ∀

∀ ∋ ∀∀∗ . )

∀&∀∀∀∀4∗

;(∀3∀3)∀=

∋ ∀ % ∋ ∋

%(∗ >∀3∀) % ) ∀ ∃)

<45∋4∀∀)∀∀

∀ ∀∀) < ;≅ ΡΒΚ−ΚΣ)

∀3∀∋5∀ !∀#∗

Α∀∀(0;∀&%(&

%∗∃∀ )

∀ 3∀ 5

;) 9) ϑ) 2 +) ∀

∋∀∀∀∀ ∗

; %& % ) !

.) Π % ∀ 9∗ ∀5

;_∀∆)%9)∋

Page 51: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀ 0 5∗ ∀

5(∀∀∋_(∀∀

( ∗ ∀ ∀) ( ∀

!Ι≅9 ∗

∋63 (∀∀;∗7 (∀

∀∀(∀∀(∀∀3∗

∀2+)∀∀9Η0

∋ ∀Ο) .∀ 9% %∀

33(0∗.(0(

(∀∀Ι (∋∀(3∀%0

∀∗ ;) ! ∀∀ ∀ ()

∀∀∀∀4!∀#∀ !∗

; _) 4 ∀ !

(#) , 2) 4∀ +∗

2∀!∀ !_

Ο4) (∀∃∀ !∀∗ Η#

) # ) ∀ ?∀ ∀

1 ) ∋ 3 3 1∗4∀ +)

∀∀ _ ( ) !)

2&) ) ∀3 !∗ ∀ ΒΛ)

+3∀∀0)∀&∃

3 89:::∗ ∀ 4

3)!∀%∗%∀ 5

∋<∀73)∀4 !3

)∋!∀3;∗

; ) ∀ _ ∀ ∀ 3 ∋ ( ∀ ∋

(∗ & _

!)3∋∀∀[)∀ΒΛΜ∗

Page 52: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

.3∀ ;) 3) ∃ 9%) ∋

∀;#) ( ∀ ∀∀∗9%

1 # ) 1 ∀ )

) ∋) ∀ 3 ) (

# %%) !∗ 9%

&%(∀∀∋!∀

()∀∀∀)∀∀(

)∀(1∗∀∀∀

∀∀%∀∀ ∗

Ο ∀3∀ ; ∀ 9%

> !∗ ( ∀ ∀ ( 3 8:8)

#∋4?3 3∀

∀∀3∗(%%∀5

#∋%∀3388∗

2.Φ3∀∃∗% ∃∀

. !Π)(∀( 5∋

3(∀(∗3!

(% (?∀∗ Π 3 ∀∀ ∋ 3

&Ι∀3∀ !∀∀)

1)∀Ι(∀∀∗∀∀(∀∀∀

! ∀ ∀ ∀ ! Ι ∀ 1

;Ι∋∀% !4<)∀∋∋

∗ 2 (∀) ∋ 4 %) ∋ ∀

∀) ∀ ∀ 4 ∀ ∀

∀3∋∀∗;∀∀)

∋33∀(∀4)

Page 53: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

)( !∀(∀∗

) ]:%) Η Π]

! Π) (∀ ∀ 3 %∃

∀∗ ∀ ∋)

∀ 5)! !( !2∗∀∀

∀∀3∀∋ (∗;3)%∀)

1∀ &%( ) ∀ )

∀!%9∗

Α∀ % 5 ∀7 ( %∀

3)∀∀4∀∀7Ι∀

∀∀3)∀1∀

!∀3∀3(∀∗;3)∃

∀∀4)∀∗ ∀

)%<∀ (∀3Ι%∀

) % ∗ )

∀ () 4 & ∀∗ .

∃ %∀ 5 3 Ι ∋

) ∀#∃ ∀ ∀

%#∃∗

>% ΡΒΛ∆∃ΒΛΛ∆Σ ( % ∀∀

∀ ∗ 7 Α> ) ∀

)(∀Β∀ ΒΛΜ)_(

∀ ∀ ∀∀ 3∗ ∀ ∀ (

∀∀Ι∀∀Ι% ∀% !

() ∋ ∀ ∀ ∀ ()

) ( (∗ ∀ %% ∀ ∀

∋∋∗

Page 54: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

7 Α> %Υ Η∀ .) ∋

!#Ι∀%)%∀

∀4∀∀%∀∃∃∗ 1

4%0 (∀ Ι ∀∀

0 3) ∀ 3 ∀7∗ Α∀ 1

∀3∀(3) ∃∀3#Ι

)∋∀∋∀3∀∀)∀

∋∀)(∀∗

! ∀ %) . ∀

%∀∀∗

) ( _ ) ∀) ∋

# ∀#3) ∀ ∀

∀ #∗ . ∀ ∀3∀ ∀= ∋ ∀ ∀

∀∀∗

.∀∀#∃∀∀

# 3∗ ∀7 ∀ # ∀

∋)∀∀∀()

∀%∀∗%

∋) (4 ∀

∀)%∀ ∀∗

∀∀! (∀∋∀1

∋∀∀)∀∀∀

∀0)%#∗

. ∃∀ )∋

) & ! ΒΚΛΝ) ∗ .∀)

(∀ !& ∗ ∀

Page 55: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀ (3 #∗

% 3 # Ι # %) ∀(

) !)∀∀)∀∀

∀∀4!3∀ 5/1/

∀3∗

2ΒΛΜ)4∀∀)3 388)3

%∗ 2 >%) ∀ Π[

ΡΒΛΒ∃ΒΛΛ∆Σ∀∀ ∀#)∀)

+ΡΒΛΒΝ∃ΒΛΝΝΣΠ[ ΡΒΛΒ∃ΒΛΝΝΣ∗ +(

Ο9)∀4!∀7

&#)∋%∀∋∀

31∗3

3 ∀ ∀ 3 ∀

∗ ∀7 2 ) & %∀ ∀)

∀∃)Ο3∗:)3∀)!

=∗ . ∀∋

)∀(∀∀%∗> !

)∋ (%∀∀∀∋6

(∀ ∗(0))(∀%∀<

= ∀ ΒΛ∆Κ) ∀ #) ∀ ∀3∀

&%(((#∀∗

2.Φ.23Β&)∀

∀ = ∀ !

∗ ) + ΡΒΛΝ∃ΒΚ−Σ) ∋

∀%)∀

)!%)∀∀

Page 56: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀!∗ ; . : ΡΒΚΜ∃ΒΚ∆Σ) ∀!

∀) ( %# ) % ∀

∀ )∋∀ ∀Β1)

3 (∀ :∀ 2 ∗ .

∀∃ ! ∀ ) ∋

∀ !

∗∀(:∀2 (Η)

∀(0∗

::) + ΡΒΚ∃ΒΚΝΣ % :∀

2 ∀ % :∀

2 ∀9&∗

(:∀2 :∀[)

∋ ∀ ∀ ∀3∗

Η 2) ∆ (0) ∀

∗((∀∀ΒΛΒ%

) = ∀ ∀ 3 (∀ ∀

∗.3∀∀3)24%∋

∀∗(∀:∀2

∀>Ζ[(02)

% %) ∀ >% ) ∀ ∀3∀

(∀∋=∀3

2 Λ ) 2 ( :∀ ∀

( ∗ (∀ () ∀)

. ∃Η3 , ∗ ∃Η3 ∀ ∀

∀_)∀%(=)

Page 57: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

%!%∀ΒΛ−Ν

Β)∋3∗Π∋∀

4=∀7(0∗

3 0 %

∀ ) ∋ % ∀ ΒΛ∆Κ ∀ =/

/∀∋0+,∗(

)∋3 ∀?∀)∀3∀

)∃ 0∀∗

∀%0%#)∀

∋ ( ∀∀ > :∀ ∀? ) ∀

∋∀%#(∗

! ( & > Ζ[) ∀

∀3∀ % # ) =∀

)(%∀3)

∀? ∃∃4 5 ∋ ∀ ∋ ∗

; ∀ ∀ ΒΛ) ∀∀ ∀ Ο4)

) , .) % Ο3 > ∗ . Β

∀ ) ∀ΒΛ∆Κ) ( ∀∀

∀!% ∀()∆

:∀Ο3∗ ∀∀

∀∀)∀>ΖΖ[∀Ζ[∃α&Ζ∴∗2

3∀!.Ο.∀ΡΒΛΝΣ)≅∃;

ΡΒΛΝΣ Η% ΡΒΛΝ−Σ) 0 ∀ ∀=

>ΖΖ[∗ Η% ∀

)∀∗∀ΒΝ∆3∀

(Ξ∀3#Ψ∀∀∗

Page 58: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

2.Φ.53#&4# 4= #+3∀&#+∀)! ∀∗∋∀&

0 ∋ ∃

Φ ∋

∃∀ΡΟ)ΒΝΛΚ)#%∗Σ

%2% ΡΒΛΚ∃ΒΝΝΣ (∀#∀

!()∀&%()∀∀7∀∀

3∗ % ) ∀= ∀)

(∀∀∀∀∋ ( ! 3

)∀) (∀#∀

Ο3∗2%(% !Ο3)#)

( % ! %( ∀=∗ .∀

) ∀ 3 (∀ ∆ )

∀9;1Ζ[&%(ΠΖ)%

3#∗

ΠΖ ΡΒΛΛ∃ΒΝ∆Σ (∀% 3)∀

% ∋ ! !∗

∀∀ ΠΖ) % ∀

: 2 ∋ % 4!) ∋

∀∀ ∀∀ ! (∗

(&( )∀!

#) ! ∀ 3 3 ∋

∀∀ ∀ ∗ # 1

%∃ Ο3 2%) (

53∗

Page 59: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

ΠΖ ∋ ∀∀ ∋

∀ # < %5 ∀=) ∋

%∀∀)!∀∀

<4! !∀#∗

4 3) ! ∋∋

∗%%∀!∀∀

∀∗ ΠΖ ∋ 3 ∀

∀ < ! ∀

∀ !#∗

2.Γ3∋∗−! !%)

≅ ∀ + + !

∀∀3 ) ∀∀∀∀

.∀3)∃<#∗

Η3) ∀2% ΠΖ

∀ Α∗+%

Ο) 2%) % ∀∀ ∀

( ∀ ; βΖ ) ∋ ∀ ΒΝΜ−)

(∀∃ ∀ ∗Γ ΗΙ > ∗ . 3

%)Ο&%(∀3∀3

∀3∃#)∀∃∀&4∀ !#∗

ΠΖ ∀ 3 ( 3

3 ! ∋ 1 ∀ ∀ 3 ∀∗ 1

(∀ ∀ 3 # ∀7 ∀7)

∀∀&%(∋∀3∀ !

# ∀ ! % ∀ %

∋%#∀(0∗

Page 60: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

% 3 #) ! 0

∀033#∀) (

∀&%∗;∀ (∀ (

∀∀∀∗∀∋1∀ !)

∃ ∀ ∀ %∀ ∗ 3 # 1 ! 3

∀∀Β−#)∀∀

0()44#∀∀∀3

∀∀∀9∗

2.2Η 3 ∗ #!∀ ∋# ∋∗− ≅ ∗ #!∀

,&% !)&#

; ∀ Ξ Ψ ∃ 5 (

Ι4∀1)(

∀∀(∀ !(∗

; ∀ Ι ∀ ∀ Ι !

∋ ∋ ! ∀ ∀ (∀ !

(∋ !∀ ∀)∀∀∀=

∀∗ !∀ ∀ ∀

0∀)∋%(3

∀∗

; % Ι (∀ ! ( Ι !

∋∀∀ (∀)( !!&

%#() ∀ ∀3∀ 4% !

4∀) 4 ( ∋ ( ∋∀ 1

∀∀∗

Page 61: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

. ∋(∋6∀∀∀∀

%(∀!&)∀∀3∀∀ 5

∋ 3 ) ∀ < () ∀

∃< )!%(∀%

()(%∀=∋∀%#

∀∀∗ !

∀∀ ( ∀ !∀∀∀ ∀

∋∗ ,# ∋ ∀ ∀!

(4%!∋)%#)

∀) ∀ ∀ ! ∀ %

%∀ % ∀ ( 5) ∀

44∀∗

=∀∋(∀3#∀

4 ∀ ∀) ∀ ∀

5 ! ! ∋)

( ∋( %∀ ∀ ∗ 4∀

( ∋ ( ∀) ∀ (∀ !

() ∀ %∀ ∀ 0 ∋ !

) ∀∀ (∀) 3∀ ∀ 5

∋ 3 ∀ 1%

∀ 1 ∀∗ ∀ %∀ (∀

%)4%∀∀)∀

∀ !3)∀∀∀7&%

∀∗

.∀% !33

!=(∀#∗

∀ ∀ ∀ 3) ) ∀ 3

#)∀∀%∀∀

Page 62: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

4 3∃ ∀ %! 4 !∗ . ∀

) ∀ ∋ ! 1 ∀

! ∀ ) 7∀ ∀ ∀

∀ ∀ (∀

4 1% ∀ ∋

∀) ∀∃ (∀ %)

( )∀&∃((

!)4! !)3

∗ 2 (∀ ∀ ! & ∀ ∀

∀)∀ ∀3∀∋3! ∀

∀&∗

Page 63: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

0

Ι

# ∋ (∋

∋ Ε

∃∋ Ε

∋∃∋

∃∋

∀Ρ2;)ΒΝΝΛ)#%∗ΜΝΣ

. ) ∀ ∋∋ ∀ ∀( 5)

∀ # ∀ ) ∃∀ ∃

4!∗>∃ =&∀

%∗ .3 ) ∀

%∀∀∗

) ) ) ! ∀ 0

) ∋ ∀/ ∋ !

) !)(∀)∀/∋!

() ( %∗ . 40

∀∀) ∀ ∋) ∀) 3∀ ∀

0 (∗ .3 ∀=) & 1%

4) ( %%∀ )

∀ ) ) ∀

5∀∗

Page 64: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

.∀!∀4!∗.#∀

(1∋(∋∀)∀∀

∀ # (∗ . ) ) ∀ %

)∀∋∋( !∋)∀

3 !)%∀#∀∗

∋ 3 ∀ # ∋

(∋∀∋(∗

. 3 3 & ∀∀

) ∋ ∀ ∀

∀ ∀∗ ∀ ∀ !

) (∀ %∀) ∀ ∗

(∀∀∋3∀)

∋#3%∋∀1

∋ ∋ ( !∗ ) ∀ !

3 3 ) ∀∀ ∀ ∋

( ! 1# ! #

∋ (∀ 1∀

∀) 4 ∀ 1∀

∀∗

3 ∀ #

∀ =) # ∀) (

%∗ 1 ! 3 4 ()

) (4) !∀/∀< !) ∀

1% / ∀ ∀∀ ! %(/

3)∀<0)∀∀∀)

∀%∀∃ ∗

Page 65: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

5.23,#!%∀#<#∋∀∋##∗+∀+ ∃#∗%∀ ∗<∗%

∗ ∃

% ∃

∃≅ ∃∋

+ ∋

∀ ΡΟ) ΒΝΝΛ)

#%∗Σ

∀∀3∀∋∀

∀∀ ∀ ∋ ∀ ∗ . %∀ ∀

∀∀(∋∀%)%%

40)( (0 ∀3∀ (#∃

; 3 89:: ∀ 3 Ξ∀∃

Ψ) ∋∀ ∀ ∀∀)

∀ < ∗ . (∀ % ∋

∀ ∀∀∋ (7∗,

,∋ ( ∀ %

2∀)∋ ∋

) ∀∀∀ (∗;) 3

! ∀ ∀ ∀ ! )∀ ∀ ∀

∋ ) ∀) ( !)

& 5 ( ∋ (∀ ∀

(∀∗

Page 66: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀ Ι ∋ ∀∀

! 3 ∀ Ι # ∀ %

2∀ ∀ ! ∋ ∀

&%) &%) 3 ) ∀∀

() ∀∀ ) % !) !) ∀

%%∀)∗ &%2∀)∀

)∀(40∀

(∗.∀ ∀∀

( ! 5 Π) % Ζ∗ )

∀%(3∃∀∗

% Ζ) Π 1 0 ∀

3∃∀)3##%∗ #%∀

& 4%0) ∋ ∀ ∀ ∀

3#%%∗.∋60

#%!3∀#/∀∀∀

∋40∗4∀∀0

∋ ∀ ∀ (# % #%

∀∗ ) ∀ ∀ ∀

(#∀%!3#%∗

.(4#Ι(∀%(Ι)

∀(∀>:(7∗∀ ∀

∀% ∀ ∀

∗;(!∀ !()∀

%∀%∀!

∀=(∀ 50∗∀∀

3/4∀)∀%∀∀

Page 67: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀)∀%/∀∀∃)∀

∀3)%∀∀∀∋∀)0∀

∀ ( ∀/ () ∀∃∀

∀ ! < )

∀ !) ! ∀ ∀

%0∀∗%!(∀

∀=∀%∀%∀!4∋

4∗∀(∀∋∀Ι)Ι

∀) ∋∀ # Ι ) ∗; )

%∀∀)∋ 1#∋∀

% ∀ ∗ ; %) 1#

∀∃∀ )0∃% ∀ ∋ (

54 ∗∀

)1) 5/Π)

0 Ζ) ) #

Ι∀∀0(∗

∃∋

4

&

≅ ∃

∋+

(∋+

∋+ ∋ &

&

Page 68: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∋+∀Ρ%)ΒΝΚ−)

#%∗∆Σ

, %) ) ( &% (∀ !) ∀ ∀

%∀%Ι∀∗.%

Ο%∀%

∀ ∀∗ . ! % %∃ <

! ∀ ∀ ∋ 4 ∀

∀∀∀) ∀ %∀∗ %)0 1#

∀ ∀ 3 (4 ∋ ! () ∀#

∀ ∀ ∀ () ∀

)) !)∀∀)∀!)3)∗.%(4

∀∀∀)!=∀

! 0 Ι (∀ )

∗.)1#∀∀

% ∀ ∀∗ 90) ) ) ∀ %∀ ∋

∀ ∀ ( %

40 ∀ ! ∀

∀∀43∀ !∀ !∗

%) ∀ ( ∀#% ∋

∀ ∀ 4 !) % !) ∀!

∀ ) ∋6∀) ∀∀ ∗ !

∋#% !∀3&∀)∋

∋ /%33∃)∋

/3 5)∋

/∋ 5(∀)∋∀

Page 69: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

%%)#% %)∀

∀ ∋ ∗ & ∋∀

∀ 5∋∀∀ !∀

∀∗ ; #% 5 ∀ ∀ ∀

!1 5∗. &%

∀ ∀) ∀ ∀ ∀ ! 1

∗ ∀ %∀ )

5)∋!∀∀7)

%0 ∋ (/ ∃ ) ∋

!(∀∀)∃

(∀ ∋ #∃∗ %0) ∃

!&%)∋∀ 5∋∀

! ( ) ∀

∋ < ! 5 ∀∀

. #% %) ) ∀)

∋ (4!) 4 ! ∀ ∀ #%

3∃∗ .3 ∀ ∀ &) ∋ 5

( ! ∀3) ) ∀) ∀)

)∀∀∗

;!(∋∋ !∗.3

) 5 40 ( ! ∀

) 3) ∀ ∀ & ) ∀ )

1 %) ∀ ∀ ∀

40 (∗ . ! ?∀ ∋

< ∀∗ 9! ) 1%

& ) ! ∀ 1%∀ ) ∀∀

∀∗

Page 70: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

; #% % (

∗ %∀ !Ι 5

&% ∀ ) ∀ !

% ∀ ∀4) 1)

∀ % ∀ 3∃

&% !&%∀∗

. %∀ 3) ∀ %) ( ∀

% ! !∀∀∗ !

3()%)∀ !∋∀∀ !

∋∀∀∀∗%∋3

∀ ∀ ∀ ∋ %∀)

∋∋∋&∀4∀

∀ ( ∗ %∀ ∀

((340)3)/∃

∀(∋∀∗

≅%#% 5(∀)3

) 4∀) # 1# (∀ ∀)

∀ ∀∗ ≅ #%

5) ! < ∀ !

)∀ !5∃ !∗

Β !

!

∋+

Page 71: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

!4

∀ΡΠ)ΒΝΝ)

#%∗Σ

%∀Π(∀∋∀ΒΛ−#∗

∀ ∀ 3 (∀

∀ ∀∀ ∀∗ ; )

#%∀∀3∀%Π∀

∀ 5&%∗

3 ( ∀ (

∀∋6∗

Α∀ ∀ 3

∋ ∀∀ ∀

∋∀∗.041

4∀#)(∀0∀

!∗ Π ∀ ∀ ∋ Ι Ι ∋

5 ∀ ∋ Ι 3∃ ∗ ;

3∃!∋3∋∀∀!∀)∀∀

( ∀∀&∗,#∀!(∀ 5

.3∀ ) 3 Π ∀

% ∀∀(3)∀

4∀) ∋5 0 4 (∗ .

!∋0(!∀

3∀∗Π(∀7

∀ ) ∋ ! (∀

∀ () =) ∋) !

(∀ ! ∀∗

Page 72: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

() ∋ % ∀

)3(<4 (∗.338:8)4∀

1 # 4 #

(∋∀ ∀ ∀∗

Π ! 40 4 () ∀

∀∗

∀ % ∀ % 4 ∋

4) ∀#)!%(%) ∋3∀∀( 5

4∋∗. !∃

∀ ( ∀ 4 ∗ .∀)

)∀∋(%( !∀

∀ 7 &%! %) <

∀ ∋ ∀ (∀ 5

∀∀∗

Π) 4∀ % ( ∀

4 ) ∀ !

()()((#)0(%∗

030)

∀ ! ∀4 Τ) % (

∀∀14∗;)

(∀<∗Τ∀

( 5∗

0(∀∀∀∀#

(% !4

Page 73: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

( %∗ ; 0) ∀ ∀ !

( 4 % 4 #

∀∗

∀ ∀ ( !

4) 3) ∀ ∀ ∋ ∀

∀ (∀) ∃ )

)4∀∋∀∗

Α =

∃ (

∃( ∃(≅

∃∀ΡΖ)ΒΝΚ)#%∗Β∆Σ

Ζ Ζ ∀ ΠΖ() .∀) ∀ ΒΝ ( ∀

∋ ( ( 4 ∋

∀∀)∀(∀)

∀ ∀ ∀ ∗

Π∃∀7∀∋)∋

∋ Ζ (∀ # &

% ! ∀ ∋ 5

∀∗

4 ∀ Ζ ?

#% ∋ ∀ 3

( ( ) ∀ % =)

)()

(! 3) ∀ ∀) %

% !%%∗;!

Page 74: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

) ∀ ∀

∀∗ #%

∀∋∗;!

) ∀ ∀

∀ ∗ ∋

∀ # ) ∀ ∋

∗ ! ! 3 ∋ ∀

∀)#%∋6(∀()

∋ (∀ 1 () %) ∀ ∗

#% ∀ ! #%

/ ! # ∀ ∋ % ∋

#∋∗

#% : (%∀

∗Τ∀∀∀∋ ∗.

! #% 3 )

∀ ( ∗ Τ #% ∋ ) )

) 1% () 4) ∀) ∀ ∀∀) )

∀∗%∀ !!

.)%∀∀∋)

# ∀ ∀ ∋ % Ι ∀

)∀0∗. ∋!3∀)1

%)∀

!(∀∃∀ !)∀

) ∀0) ( ) #

(∗

Page 75: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

( 0∀ ∀ ∀∀ #%)

∋5∋∀< ∀

)∀0/∋5∋

∀ ) ∋ ! ∀) ( 1∀

∀ ( ∋

∀(∗

5.53∋)!−ϑ∀ !∀∃∀%∀&#∀Β

ϑΧΚ Λ ∃

Μ

∃&∃∋

∋Φ &

∋Ν

Φ∋ ΝΝ

Φ

∋ ∋

∋ Φ

Φ ≅

∃∋ ∋+

(∋ ∃&Φ

∀Ρ>[)ΒΝΝΜ)#%∗ΛΣ

Page 76: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

. ( 5 ∀ ∀ ( !

∀ % ∗ ( ∀ ∀ ∀7

(∀∀!&)∀∀3∀∀

∀∗

. !∀3)) ! 3

∀∀∗. 3∀

∋∀ !∀∀∗1

% ∀ ∀∀

∀∀)∀∀∗

( # ∀ ∀

∋∀∀∀∀%∗

5.5.23%&)%)&−ϑ∀∋#)∃)∋#Β

# (∋

∋+

∃&#

∋+

# &

& ∃&

/

&

∃ ∃

∀Ρ∴∴∴∗∗∀∗Σ

Page 77: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

9# !∀∀∀∀

∀ ∋∀ ) 4! )

) ) ∋) ! )

!∀) ! ∃∀ !∀∗

∋ ∀ !∋∀3

#∋ ∀ 5∋ ∀

∗ ) 40 ∀∀

∀ ∋ ∀ ∀ &

4∀) ∋) )

0∀∀)∀ !∗

∀∀) ∋ ∀ 3 %) ∀

( ∗ . ∋ !) ∀∀)

)!%#%∗

. 3 # ∀ 0 #

∀ ()∀ 3∀

&%#)%(ΙΙ∀

∀ ! ∀ %( Ι ∋60∗. 4!

3 4∀ # Ν2#∃

∀ < %7 ( 3)

%4∀∀∗>3∀

∀∋∀3∃∀)%∀ 5

∀ 1 ∀ ∀ ∀ ∀∀ ∀

%! ∀ ∋ ∀

%∀)5∀∀#4∀∀

Page 78: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

;∀)∋∀(4#

4∀∀)∀∀∀∃∀

!∀∀(∀34∀

!∀∗

.%∀) ∀ #43

∋ ∀∀ Ξ !Ψ) ∋ ! 4

(∀∀%∀∗2 4

∀∀ ∀ ∗ ; ∀

∀∀ # )

)0∀∀)(∀

∀∀ (∀ ∀4) ∀∀ ∀

(4∗

9 ∀ 5 3 4)

%#∋3)))1

! ) ∗ 3

4 !) # ∋ 3 (

∀3) ∀ % ∋) 3∀

()(∀∗

.∋%<Ξ!Ψ∀4∋!

4∀3)∀∀(4∗

1#∋4∀∀∀∀

( ∀ ∀ !∗ ∀∀ !

∀ 4 ∋ ∀

4 !3#∗∀!(∀∀∀)

∋∀= 5)∀#)

( %∗14!)∀

∀%/∀=4∀∀

Page 79: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀∀4/ ∀∀ !

!4(∀(/4∋)3

!%=/∗4!∀

∋!)1)#)

∀∗

4 4%∀ ) ∋)

!) ( %)∋ ∀3∀3∗ϑ#

4 #) ∀ ∀ 3 !) 3 %

∗∀∋%∀%!∀

∀∀0)%∗

. % ∀ : 1# # ∀ ∀

∀ ∀) ∀ 1# ( ∀)

∀ 3∀#∋

1# 40 # %

#% ∀ ∗ %∀

(∀)∀#∀#

3∗

5.5.53 ∃,∀&%Κ∗! ∋%#& ∋∋#∗)∋#Β

. 3 ∀ ! ) (

∀∀∀)(∀ !∋∀)

! ∀ ) ∀

! Ρ 4 Σ∗ .

< ! ∋

%∀∗∀∀∀∀

Page 80: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀/∀3∀#∀∃

∃)∀∋∃∃)

∀Ι∋∀∀∀∀∀

:∀) ! % ∗ ;∀

%∀∀)∋ ∀∀

)∀%∋1∋∗∀

(∀∀!)∀3)∀%)

%∀∗ ∀∀)

∀ ! 4∀ ∋ ! &%!

) ! ∀ ∗

(∀ ! ∀7 3 # ∋

<()<#)∀∗

;∀∀ ( ) ∋)

∀) 1# #% ∋

∗ . 0 ∀ !

∋ 4 ∀∀ ∗ .

∋))∀∀!(

)∀!(%∀

3∗

∀ (∀ ∋ 3 ∀ (∀

# #) ! 4 ∀

5∗;!&#4∋60

∀∀)∃()#)∀

∀3∀ ∀∀ ! ∀∀ (∀ ∀3

∀3) ∀ ∀∀ ) ∀ ∀

!∗

Page 81: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

Ι∀∀∀3()

#∀∀!)∋

Ι3∀∀4∀∋3 ∀< ∀

∗4∀∀1

∀3!) !∀)∋∀∀

&∀ !∀∀7

∀∗∃∀

(∗∀)4

3!1 ∋(

)∀∋#4#∃∀∀

(∀∗

5.5.63=&∃∀∗ ∋∀∃#∃Β&∀),#& ∀&## ∗<#& ∀&#∗)

∋#Β

. 0∀∀∀ !

∀∀ ∀ 5 ∀)

( ∗∀)∀∀∀3) (∀

∀∀∀∀/ ) ∀ ∀ ∀3) ∀∀

∀∀3(∀∀∗

!∀∀∀3∗∀

∀ ∋ ∀ ∋ (% ∗ 9∀ )

∀) ∋ ∗ . ∀! ∀3∀ !

∀∗ ! ! ∀ ) ∀

∀∀∗Τ#∀0∃ ∀ !∗

∀%∀∗

Page 82: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

Ι ∀∀ 3

#)∀3∀3Ι!∀&∀4∀∋33

∀ ∋ 0

∀∀∗ ; ! ∀3 :%0) ∀

)∀)

∀ ∀(∀

∀ % &4∀ ∗ ∀ ∀

∀ 4) ! ∀ ∗ ; ∀

!) (∀∀<()∋

∀! ∀ ?∀%∗ ∀ ∀

∀4)∀∀!

∗;% !) ∀ %∀

(∀∗∀4∀)3∀

∀4∀∗.∀!∀(

(#(4∗. !3∀(!Χ∀ΒΧ)

1) (∀∀ !∗.∋ !3∀(!

Χ∀−Χ∗∋∀ #∀ )

# %∀ ) ∀3∀ (∀% ∗

; ∋ ! ∀ ( ∀ ∀

)∀∗∀∀)

∀∀∀!∗∀

∀3 ∀5 ) ΒΧ) −Χ Χ 5 ∀3

%0∗

3( !∋)3

4)3)()!∀%

%∀∀(∀∀ !)∀∀3∀

∀∗ !3∀ ∃()

∋3∋∀∗;!∀

Page 83: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

( ∀=∀4#∃∀

∀( ∗3∀)∀∀

∀∀%∗

∀ !∀)1(∀()∀

∀ 3∗ ; 3) ) # ∀

∀3∀1)4

3 () ∀ ∗ Τ

∀∋( 4

33)∀1∋∗3∀)!3∀#

( ∀ ∀

5∗ ) 3∀) 3 ∀3∀ # ∀

! 3) (∀ ∋ 1 ∀ ∗

2∃ % 3 ∀∃ ∀

∗.3∀)∋)3

4∀∀)∋∀4)

( ) ∀) (∗ Π∀) ∀

) ∀ 4 ∀ 5

Ο∀)389::∗

.∀∀∀3()

#)∀!)∋

∗ 4 ∀ ∀ 1 ∋) ∀)

!4∀∀∗

5.5.73∗−##Λ) >Β& ∀

∋ ∀ ! ∀ ?

∀)7∀Ι∀∀∀∀

Ι#Ι∀∀!∀∀(∀3)

Page 84: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀)∀ !3∗.

3 3 ∀ ∀

∋∋∋∗ )3∋ ∀∀∀

∋∀ ∋ ( ) ∀

#∗∋3(∀∀ !∀%)∀

∀ !(∀∀∗

∀∋#3∀∗;)

#∋44∀

∀∀%∀∋60)4%0∋#

∀∗Ν∀∀∋∀∃

!)∀#∃∀∃

!%%∀Ι3∀∀4∀∋

#∗ ; ∋ 7∀) 3 ∀ 4∀∗

∀%)4%% 4∗>∃

∀∀ ∀) ∋#∀

∀ ∀ ) # ) ∀ 1∀

/∀%)(#%

∀%()∀∀ !∀∗()

∀3∀)∃∀(∃(

#)∀∗

5.5.93&#, &−ϑ∀#∃∃∀+ ∃#∗%∀

! 3∀ (∀ ∋

∀ ! 4 !) ∃

∀∀) ∀ % ∀ (?%

∋) %∀) 4) ∀

.. !3(∀∋∀ )

∀(∀∀)∀∀

Page 85: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

(∀∗ . ∋ ! ∀) ∃

∀∀ !∀(∗. ∋∀∀

∀()∀1# (∀))∀)

! 3 ∀7∗ . ∀ 0 (

∀(∀∀∀%() ∀

1)∀∃∀.

) ( ∀∀ ∀)

∀= # ∀ ∗

( %∃) ∋ ∋

4∀∀∀∗

5.5.:3#&!#,−Μ##∗∀& #∀Β

!3∀∀∀∗;

∀ !∀∀∀4)!

! ! &%! ∀ ∗ .

! ! % % ! ) ∋

!∀ !(%/ !

) ∋ 3 ∀ ! ∋ )

!∀)7 !)() !

∀∀& ∀∀∀

)&∀∀ !∗

. !3#∃∀

#∃ 3 ∀ %#(∗ ;

∀ ! )(∃!

&∀ !∃∀∀∀

∃)∀∀3∀∀ !)∋3

∋∀)∀ !

Page 86: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀∀& ∗ . ∀ !

(∀∀%∋( ∀∗.

∀∀&3)∀

∀ ∗ ; 3) #

∀∀ !)3∀

∀) ! ) 3 ! ∀∀)

∋1∀∀4∀∗

∀) ∀!) 1#

∀∀)

1)))∀!∗

. ∀= ∀∀ ! % 3∗ ϑ# ∋∀ % ∋

∀∀∀=∀∀1∗Α∀∀∗2 ∀

∀=! ∀7)∀∀=!

∀∀) 3 ∋ ∀) % 5

! %∀!∀ %

∋∋∋∗

∀ 3 ∀ ∀∗ ( )

∀) ∀ %) ( 5 %7 ∀∀) ∀

∀( 5 ) 4! 4 %)

∀∀∋∋∋1∗

; ∀=) ∀ 3 ∀ ∀ )

∀ ∗ ∀ 4 ) 3 Ι (4!

1∀∀∃34∀∀∗).Ι

∀∀Ι34∀∀∀∗1

Ι3Ι)∀∀∗ ∀∀)

∀ 5∀∋∀∗

Page 87: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

> 3 ∀) ∋ ∀( ∀∀

∀∗ ( ( ∀ #∃∗ .%

( ∀∀ ( ∀ ∀ (

∀∀∋60∀∀∀∗;)∋

)∀)3!∀!(∀&)∋!

%(∀∀∀∗2(∀∀ !∀∗

!: !∗ϑ#∀3∀∀∀∀3∗

∀ 3 ∀ ! ∀

∀ ∀∗ ∋ ∀

(∀ ! ∀ ∀ ∀) ) ) ∀

#∗;∀)∀)∋3 !∀∀

∀ ∀∗ . ∀ ∀∀ ! ∀

∋∗ # < ∀3) ( ∀)

∀ ∀ ∗ . ∀ ∀∀

0 ∀=∗;∀∀ ∀∀∀ #∗ . !

# < ∀3) ( ∀) ) 3

∀∀ ∗.∀33∀∀ ∀)

∀ #) #) ∋#

(% ∀ ∋ ∀ ∀∗ . 3

!((∗

(3∀=∋∀∀

∀∀∀∀∗!)

%))∀)#%∗. !∀

% ∀ ∀ 4 ∀

( ∀) ∀ 7∀∗ Τ ∀∀ ∋

∀∀ 5 ∀( !

∀∀∃&∃∀∗

Page 88: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

5.5.Ε3%&)%)&−ϑ∀#,−∀%#∃,∀&;∀! ?−ϑ∀#,&% !∋∀

Β

. !3∀0 !

&∀∀∀∀)3)% !∋

∀ ! < / ∀ 0

))%∃

∀∋)%)#∃∀%

∀∀#∃∗) !3%

∀∗ Τ ( 0 ∀ (∀

∀Ι∃ ∃∀∗∋∀∋ ∋

∀ ! ) ! ∀ 4 ∀ !

∀ ) ∀

(%)∀∋5&∀∗

#∀(7)(

%∀ ) ! 4∗ ∀

∀ % !) ∀

∗;3)34 !∀%()4∀)

#0 ∃∀)3

! ) ∀! ∀ )

∃∀∀ )∀∀ !(∀%∀3

%#() ! 5 ∃ () )

∋)∃ ∀ΡΣ

∀∀ )∀∀∀ ∃∀∀)∀4∗.

%( 3 ∀∀ ∀ ∋ ∀ (∀

∀ ! ∀

( !43

&∀ 5) ∗

Page 89: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

5.5.Φ3∀∀&∋#∗−ϑ∀∃∀%∀&#∀Β

. ! 3 ∋ ( ∋

5)∃%∀4 !

∀∋60∀∀)∀∀#4∀(0∀

( ∗ ∀ ! 7∀ % ∀

∋∀(∀%)∀)))

∗ ! ( < ∀ 4

5 ∋ ∋∀ 4∀ ) ∀ %)

)∀))!)∗

. % ∀ 1 ∀∀

4∀∀∀1&∀1

) !&)∀

( ! 1∗ .3 ∀ !) #

4 !∃∀∀∀)3∀

∗ ϑ# ∀ ( (∀

∀ !) 1 ∀ ∀ ∀

∀%%∀∗

Page 90: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

0

Χ

Ξ =

. ∋

(

2 ∋

∀ΡΠ#∀.)∆)#%∗Β−ΝΣ

. (∀∀)∀ ( )

0 ( ! ∃∀∗ ∀

!)4#∗ ∀

() ( ! #

5∋∀∀∀∀ !)∀∀∀

3∋∀∗1∀∀ ∀

4 !)%∀∀

∀4 ∀ < ∀% !∗ Π∀ ∀

∀ !) # (∀ Ι ) ) %)

%#() ) Ι ( ∃4!) 3∀ 1

ΞΨΙΙ(

! ∗ 1%) ∋

∀ 5 ! 4 ∀ ∋ ∀

3∗

Page 91: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

6.23Ν∀4∀#∀Β

Ξ∗ ∋

. Λ Μ Ε

∃&

Ν

. ∀Ρ,)#%∗ΜΚ∃ΜΛΣ

; (4 # ) 1%3 ∀

∀ ∀∗ ) ∀3∀

(&% ) ∀ %

% !) ! ( !) % ) 1)

∀1%∗.31%(

# ∀ ∀ 40 ) ∃ ∀

∀!) ∀ () % (∃

∗.%0&3 !

∀∗ ! ! 3 ∀ ) # ! &

∀ ∀3∀ ∀ ∀ ! ∗ .3 1%)

∀∀∃ ( 5 & &) ∀

∀∀ !3∀∀ !∀(/3

∀∋∀< 4 !∀∀

4) ∃ 40 #

∀334 !∋

)%∗

1%!∀∀()∋(∀

∀ ) 1∀ ∀ ∀ !) ∀∀

4 !∀∋

Page 92: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀)&∗;%∀

!∀)∋∀#)∀4!

∀ !∗;&∃∀)∀∀

( )∀∀))

;∀ 3 ∀ 1% ∀ ∀

=%)∀∀∀∀

∀%) ∀ ∀ ∀

∀∗

4∀#1%∋!(∋<∀7

/ ∋ < / ∋ < ( ∋ < !∗

∋ % % (∀ 5∗≅ < ∀7

)1%∀Ι∋∀/

∀ Ι ∋ ∀ ∀/ ∋ Ι ∋

∀ ∋∀∗ 1% ∋ ∀∃) ) ∀

∋1∀)<(4!)< ! !)

()∋∀∀∀∗

≅ < ) 1% ∀ Ι ∋ 4%∀

(# !∀∀∀/

∀∀ Ι ( ! 3 ! ) 3∀

∀ ! ∀∀ ∀/∀Ι

(3∀∀)1%∀

∀ ∀ ) ∋ ∀ (∀ % ∀∀

/ ∀Ι∋!# () 3

∀)%∀!1%∋∗

Page 93: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

Α∀∀4∀∀1%∀3∋∀∋

∀4∀3∆

∀∀∀=∗.&∆ 5)∀&4∀∃

) ( ∀ ∀∀ 3∗ .& ∀∀ ∆

)∀∃<∀)∀)∀)

∀ ∋ ∀∀ 1∀ ∀) 3 ∋ 1∀

∀∀)∀∀)3∀%

∀#∋ 3∗ ; 1%) ! 4

∀3∀∀∀&∗

≅ < ( 4 !) ! # ∀

∀% !)∀%∗1%∀∋Ι

% !∀%%1%Ι% !∀

∀4)∀%∀∗

≅< !∀( !11%)∀1%

Ι∋!∋∋0∀1())

( ! ) 1% 3∃ Ι ∋ ! ∋ ∋

∀< !#∀

1%#Ι∋!∋∋ 0∀1 5

= %∀#∗ .3 1% #) (

∀ ∀%∀) (4

∀ !)=%∀#(∀=∗

;3∀%1%#∋

∀= # 4) ) 3) ∀ )

∀∀)∀∗;0∀)∋

∀ ∀! # ( ∀ 4 ∀ 3 1#

∗ ; 1%) 3∀ (4 =) !

!∃∀%∗

Page 94: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

6.53& ∗Λ)#∋∀!∗%∋∀∗)∋#Β

∃ ∃

Λ ∃ΜΦ

Φ

Λ (Μ

Ο≅

∋ Φ

∋Φ

∀ Ρ2 ;) )

#%∗ΒΚΒΣ

∋∀∀3∀∀∀∀%

∀3∗∀(∀∀∀=

∀ ∃ ∀&) %%∀∀%) )

∀∀#)3∀∀∀ !∀<∀=<

(∗ ∋ ∀∀ ! ∀

%) ∀ ∀∀ ∀ )

∀∀#∋6∀∀

∀ !∗ ∋ ∀ 0

∀ # ) ∋ ( !)

∀ 4 ! ∀ % &

∀∀ !∀∀/∀)∋((%

∀ ) % &) / ∀∀ !) ∋)

∀) ( # 4∀( (

∀∀ ∀

∀ ∗ ∋ ∀) )

∋ !) ) !) %∀) )

))∀)∀∀ !)∋∃

Page 95: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

() ∀ ∗ ∀ % ∀ #

) !) & ) 4! !

∗ ∋ ∀)∀) ∀)!∋

∀ #) ∀ ) ∀ )

( 5)#))4∃

(∀)%∗

6.63∋&∃% ?−ϑ∀∗)∋#Β

Α

(

∃∀ Ρ% )

ΒΝΚΝ)#%∗ΜΝΣ

.(∀))∀

∀ ) < 40 ∗ .3 ) ∀

) !)(4!∀% !∗.)

∀)()(∗)

∀3∀) ) ( (∀

53∗

∀∀ 5) !

(∋6∀ ∋ (∀ (

!∀;)#:0)

((∗3∀∀=(

!∗ . ∀ 4 ∀∀ 0 !

∀∀%∗. !(3%∀ ∗

Page 96: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

) # ∀) 3 ∀

1 ∀∗ ) 3 ∀ ∋

1 ∀ % !) ∋

∀ 0 ( ! 7∀ ) % ∀∀

∀ ∀ ∀( ! ∗ : ∋60

∀∀) 4 ∀% !)

(∀ ) ∀ (∀

< ∋ ∀∀ ! ∀ #

%%∀ ∗

%) )

)5&∗3∀3∀∀∀

∀45)

∋3)∋& !∀

.(∀3 ∀∀

! !) ∀ ∋ %∗ .

∀ ∋ ( ∀∋ ∀ ∗

% ∀3

∀%∀∀∗.∋ !

∀∀∀3#∗Τ 5

( 4 ∀∀) ∀

! 5∀∗

∀∀ ∀

∗ ∀ ∋ ∀∀) ∀

∀) !∀∀∀%∀ !

∀#∀=∗;∀∀%3#∀

Page 97: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

)%∀∀ !∗

4∀ ! ∋ ∀ ) ∋∀

% ∀∀ ∀

. ) ∀ ∀ 3 # ) ∀ ∀

& ∀ % ∗ . 40 ∀

∀ 5 ∀

∀4∋3(∀ !3∗

. 4!∀ !∀∀

∀ ( ∋ ∀ ∃ )

∀= ∃ ( 5 ∃ !) ∀∀ ∃

! # ∃ (∀)

∀ ∃ 4∀ ! ∋ (∀

∀ !) ∀ ! ∃ ∀) 5

∃ 4∀ ! ∀∀ ! ∀

)∀)∀ ) !

4∀ ! 5 ∋)

∀4∃)∀ !

) ) % ∋60 ∀∀

) !%∀∀∀ ) ∀)

)∀ ) !% !

∀∀ !∋%()∀

∀4!∀ ∗

. ∀ ∀( ! ∀ ∀

( !∋∀∀)

) ∀ ∀ ∀)

∀ ! !∋60∀∀∀)

Page 98: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀ 4 ! ∀

(∀ ! ∀%) % ! ∀ ! ∀ ∀

%∀∀) !∀∀∀%

∋∀∀ ∃ ) # )

) 4 ∃ ! ∀ ∀∀

∀ ) % ∋

∀∀∀ 5∗

. ∀ ! 3 ∀

∀ !∀∀∀

∀ 5 ∀ ! # )

( ! ∀ 5 3

5 %)

)4 ! !∀ ∀!

∀∀( !0) ∀

) ( ! ∀ ∀ % ∀

( 3 ) ∋ (∋60 < (

(∀ ! ∀ ! ∀ ∃ ) )

) (∀ % ∀ ∃ ∋ (∋60

1% )∀( 5#∀%

! % ∀ ! 40

∀ !∗

. (∀∀ %

)%5∗∀%∀

)∀∀∀<

∀∀∗

> !∀∗. 3∀

∀∀∃∀

Page 99: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀∀ ∋ ∋ ) ∃ ∀ 1 ∗ .

! ( 3 # ∋ ∀ ∀

% ∀) ( %∗ .

∀∀ 5 ∗ ) ) %

1 ! %∀ 7∀ ∋ ! % <

4∀ ! & ∀) ∀

! ∀∗ . ! ( 3 ∀ (∀

%∀ ) ∀ % < ∀∗

∀∀! & ∀ ( ! () ∀

∀ ∀ ) ∀ 4) 4

∀ ∀) ∋ ∀ ∀ 4 ∀ ∗

))∀#%(4∗

. ∀!

∀∀)∀ ∀∀ ∀ ∀

(∗ .∀) # #∃ 4∀ ∀ ∀

%0) ∀) ∗ > ! #

∀ ∋ ∀ ( ∋

∀ 5∀%0)∀

∀ ∗ ∀ ∀ ( < !

∋∀)!∀ !∗

Α∀ 1 3 ∀!

(∀ % ! ∀∀

∀∗ ∀ ∀ ∀ !

)∀∗. 3∀(∀% !4!

∋)∀∋4 !) !)

! ∗ Τ ∀3∀∀ ( ∀ !

! (∀ ∗ ∀ = < ∀

4∀ ! !)4∗

Page 100: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀3∀∀ ∋(<0

< ! ∀%∀)∋!(∀

∀0∗

; ) ∀ 5 ∀ !

< 4∀ )

4 ∀ 4 ∀

∗ ; ! # ∀ )

∀ 45

∀ !∗

.1)(∀

∀ ) 5 (∗2

∀ ∋ (∀ ∀ & %)

∀∀) % ! <

∗2∀ ∀χ

4χ4∀ !∀

∀∀∀ 5∀!#

. %%∀ () 3∀

% !%)% !%%Ι))

#)∀=∗.∀ !∀∀% !)

4! ∀∗>0

1# ! 4 ∀ ) ∋)

1% ∀# () ∀ Ξ(∃∃Ψ∗ (

∀ ∀ ! ! ∀ !

∀)1 5)4

( !4!∗

Page 101: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

1% ∀∀) ) ∀ ∀

! ∀ (∋∗∀( 5

∀ ( &

)!∋)∀

∀%∀∗

;3)&∀∀ ∋

∗ .3 ∋ 5

() ∀ % 1 ) ∀ ∀

∋ ∀ 5 ∀ ∀

∀∀ ∀∗ . ! & ( !

%∀( !∀∀∗

. & 3 & ∀3∀ ∀ ∀∀

∀∋∀∗.3

!&)!#∃)

%) %() ( ∀

(%) (1#)∀)4 (%)

4 ∀ 5 5) !

∀)∀∀)

3&∀∀(

∀!)∀(4#%∗:∀)

( & ∀ ∀ %)

∀∗;∀%∀∀)∀!4

∀∀∀4)3∋%<&∀∗

Page 102: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

6.73# !∀∃∀%& ! ∋∋#∗,&% !

Χ 0∋

∃.∋

&

∋!∀

ΡΠ4)ΒΝΛΜ)#%∗∆Σ

. 3∀%%∀∀&%∋)

∋ ∀∀) ∀) (

∀ ∃ %) ( (∗ : ( ∋)

) ∀ ) ( ∀ !

∀∀ 5∗

. ) ∀ ∀ ! ∀∀)

∀ ( 5 ∃ !) ∀∀&) )

) !) ) 4 !) ∀ ∋

5∗.∀) )∀#

(∀) ( !

)3( ∀∀

∀#∗. )(∀

< ∀ () #

=) ∀& ∋ ! 4∀ 7

∀ ∗ ∀%∃

&∃∀#∀∀(∀∀∀ ∗

Page 103: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∀ Ξ(∃∃Ψ) ∀

) !∀

4∗

1∀%∀∀%∀

∀) ∋ ∀ (4 # )

4∀∀)∀ !

∀ 5 () / ∀

∀ ) ! ∀

) / ! )

)3) / ! ∀

!&)1) 5/∀∋

( 3 ∀∀ ( %) ) # /

∀∋#7∀)3∀4

∋∀ !∗

.3∀)3)0

∀ ∀∀) ! ∀) !∀

(∗

; ) (

%∀∋∀

%∀∗2(∀)3∀∀)

( # ∀ % < ∀

! # ∗ Τ ∀3∀ ∀∀

∋ ( ( 3 #

!)∗

Page 104: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

;%∃3∃!44!

∀ 3) 1 ) ∀ 1

∀∀∀3)∋)( )% )

∃∀ !∀%∗;!

!1∀5∀)(

∀))%)∗. !1∋

54(3!∀∗

;∀0∀∀∀

!∀∀∀(3)

∀∀∗.0∀3

) ∀ ! ∀ ∋ ∀

#∀∗∀∀∀∀

4∋∋∋∀) ∋

1 4 ∀% !∗( (∀∋

∀∀∀(∋∀) 5∗

>∀3∀ ( ) ∀! ∀∀ ∀

% ∋/ 7 ∀ / 4∀

7∀%∀(/(∋!

( ∀∀/

( ∋∀14∋∋#∋

∀∋∗

; !∀∀1%

∋ ∀ ∀)

4∀ ! ∀∗ ∃ ∀

!)3∋∀∀∀∀%)

) 5) ∀ 5) 5 ∀∀

4!%()∀

4(&∗

Page 105: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

Π∀∀3∀

∀∀ !∀()3∋

∀ ∀∀∀%∗;

)∀∋∀∗

Page 106: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

∋ .

≅ + ∃

∀∗ Ρ2

;))#%∗ΒΛΣ

. 3 ∀ (∀ 4!) 3 3

%&%) ∀ ∀ ! ∀

∀∀∀∗ 3 ∀ )

%∀∗. !33 #

∀ 5 &%

∀3∀∀ (∀ !∗. ∀ !

!)<%)∀

Ι ΞΨ Ι ∀

∀ ( 5 Ι Ξ(Ψ Ι ∀ (

(∗ 5 4% ∀ !) !

(1 ∀

%(∀)∀∋]]

∀∃ 4 ∗ . # (

∀ (# ∗ ]] ](] ∀

∀ ∀ ∗ . ∀ ∀ 4

1 # 1

!) !)( ∗

Page 107: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

3 3 # ∀

(∋ %) ∗; ()

∋∀ 0∗;)∀ ∀

# 0∗; () ! #

=) ) ∀) ! ∀) !

∀∗ 1 3 5 ∋ ∀ ∀

∀ 3 3 # ∀∗

2( ∀ ! ∋

∀ ∀( !! (∀∋)∀)

∀3∗>∀3∀3 (∋6∋∀

∀ ∃ %! ∀∗ . !

(∀ 3 #) & ∀)

∋ % (4 )

3 ∀ ! ∀) !

∋∗ ; ) !)

(∀ !##∀∀∀)∀ !

∀∗.∀)) 5(

∀ ) ) ∀∀3) ∀ ∀

#%∗∀#∀∀

∀∀∗)!%

∀4∗!3∀

∋∀7∀)∀∋∀∀

∀∀ #∃∗

Α∀13#33∀

∀∀∀ !)

% !4 ! !∀∋∗

Page 108: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

.∀) 4∀ 4 4% ∀ ∀ ∀

0) & ∀ 5 ∋ !

∀ ∀∀∗

∋ ∀ 0 ∀

Ι ∀=) # Ι 0∀ % %

!∗ 2 ∀3 ∋

∀) ∀40

&%∀∀ ∀∋∀)%∀

∋∀∗

. # ∀ 3 ∀

( ∋ ( () ∀)

∗ .3 ∀ %∀ %) (

%∋(∀1%∗.

! ) ∀

∀7∀∀=)3∀ 5

(∀ ! ∀ ∋ ∀

∀ 5∀

∀ ∋ ∀∗ ∀ ∀ ∀ (∀

∀∀ ) 1) ∀

∋∀ ! ∀

)∀∀!

∗.4!(∀∀∀=

)∋ ∀4∀

∀(∀∀∀ 5∀ !%∀∀

∀∀∗

Page 109: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

. ∀ ∀ ∋ ∀ ! ∀

% ! ∀ ∀ ! ∀ 3

%&%) ∀ ∀3∀ &%) ()

∀∀∀∀ ∗&%

∀∀∀∀∀∋ ∀0

) 5 ∀ ) ∀

! ∀∀) ∀ ∀ ∀%∀ ) ∀ )

)∀( ∗

. ) ) ∀

40 3 & ∗Τ ∀ !

∋4% ∀∋∗∀

() ∃ ∀7 ∀ (∀ 4

∀ 5∗ ∀∀ 3 ∀7

∀ ) ∀

4∀∗

Α∀ ( 3 ∀

∀∋∀#

(7∗(∀∃)

∀∀∀ ΒΧ∆Χ

∀3∀ ( ! % ∀∗ ∃

∀∀ ∀ ∀ ∀) ∀ 5

4! ) ∀) ! ∀) ) (

∀ !)(∀∀∋!

4(∀∗∀1

! ! & %)∀

∀3∀ (∀1∀∗.3∀∋)

4)4∀∋&∀

∀∀∗

Page 110: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

Χ

.Η9) Π#∀∗ /% ∋ ∋∗ ,

Ζ)Μ∗

.Η9) Π#∀∗ /∗ ,

Ζ)∆∗

ΟΑ :)∗Β!0∋#!

Π)ΒΝΛΚ∗

Π.) . ,3∗ ∋Β! 0∋ ,

:0Η)ΒΝΛΚ∗

,δ;:)%Ο ∗#3∃,

>∗.∗)ΒΝΛΛ∗

.Η.;+.)∗∋!∀)ΒΝΛ−∗

.≅Α):0∋∗! )Μ∗

;2)+∗∋!Ω)ΒΝΛ−∗

;.;;:) 2∗ 0∋∋ Ν Ε

,)ΒΝΝΛ∗

;.) ∗ ∋ 0∋ ! ∀∀)

ΒΝΛΛ∗

;∗ / ∗ , 3

!)ΒΝΝΚ∗

Page 111: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

92:)ΤΟΗ∀∀∗0∋,

)ΒΝΝΛ∗

∴∴∴∗4∗) . 4! ∀ ∀ ∀ Η

.%∃)∀∆Λ−∗

∴∴∴∗∀∀Ζ∗%∗%∗∀∗) 4 . ∀ : 3

∀ΗΠΒΝΝΝ)∀ΝΝ−∗

∴∴∴∗∋∗∀)4∀∀ [%Ν)

∀ΒΒΒ−∗

∴∴∴∗%∗∀∗)4ϑ&2 )∀ΜΒΒ−∗

∴∴∴∗∀∗∀∗) 4 2 Μ)

∀)∀ΒΜΒ∗

Page 112: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

Χ

Β∃.Η9)Π#∀∗/∗,

Ζ)∆)Β−Ν∗

Ι ΟΑ :) ∗Β! 0∋ # !

Π)ΒΝΛΚ)∆∗

Μ ∃ ΟΑ :) ∗Β! 0∋ # !

Π)ΒΝΛΚ)ΒΒ∗

∆ ∃ ΟΑ :) ∗Β! 0∋ # !

Π)ΒΝΛΚ)ΒΚ−∗

− ∃ ΟΑ :) ∗Β! 0∋ # !

Π)ΒΝΛΚ)∗

∃ ΟΑ :) ∗Β! 0∋ # !

Π)ΒΝΛΚ)∗

Κ ∃ :.;2.) % # 3 4∗ , Π)

ΒΝΚΝ)ΜΝ∗

Λ ∃ ;.;;:) 2∗0∋4∋ Ν Ε ∗

,Η)ΒΝΝΛ)ΜΝ∗

Ν∃;.;;:)2∗0∋4∋Ν& ∗

,Η)Β)Β−∗

Β∃;.;;:)2∗0∋4∋Ν&∗

,Η)Β)ΒΚΒ∗

Page 113: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

ΒΒ∃;.;;:)2∗0∋4∋Ν&∗

,Η)Β)ΒΛ∗

Β ∃ ;.) ∗ 4∋ 0∋∗ !

∀∀)ΒΝΛΛ)ΒΒΚ∗

ΒΜ ∃ ,ΑΗ:.;ΗΗ:) .∗ ∴∴∴∗4∗∀∗ ∃ ΒΝΝΛ) ∀

ΒΒΒ−∗

Β∆∃;)ΗΠ∗∴∴∴∗∀∀Ζ∗%∗%∗∀∗∃ΒΝΝΝ)

∀ΝΝ−∗

Β−∃∴∴∴∗∗∀∗∃)∀Β−Β∗

Page 114: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

0

ΠΗϑ.2>

.+.2 :;> Μ

22: .>_:. ∆

Α −

>2Η+:. Ν

ΑΩ: Β

:;>2ΑΕΦ Β

.Γ>ΑΗ:Ι.ϑ& ΒΚ

Β∗ΒΙ2 Ι∀% ΒΛ

Β∗Ι. %%Ι

Β∗ΜΙ. ∀ Κ

Β∗∆Ι.:3& Ν

Β∗−Ι∀ ΜΜ

Β∗Ι3Μ

Β∗∗ΒΙ. #)(%∀Η8:9 ΜΝ

Β∗∗Ι3∀3∃3 ∆

Β∗∗ΜΙΟ∀)∀ Π ∆Μ

Β∗∗∆ΙΗ[Ι ∃Ξ∀Ψ ∆−

Β∗ΚΙ389:::% ∆

Page 115: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

Β∗ΛΙ∀∀−

Β∗Λ∗ΒΙ3 −

Β∗Λ∗Ι%2%Ι −Λ

Β∗ΝΙ. # −Ν

Β∗ΒΙΟ3 83Β

.Γ>ΑΗ::Ι∀3Μ

∗ΒΙ.(∀(−

∗Ι. !∀3 Κ−

∗∗ΒΙ !∀3 Κ

∗∗Ι.:∀73ΚΝ

∗∗ΜΙ.∀∀∀(

3 ΛΒ

∗∗∆Ι2 ∋ ΛΜ

∗∗−Ι. !∀∀∀ΚΝ

∗∗Ι 5Λ

∗∗ΚΙ ! ∃∀) !

#3ΛΛ

∗∗ΛΙ !∀3ΛΝ

.Γ>ΑΗ:::ΙΟ∀ !∀3(7 Ν

Μ∗ΒΙ1%3 ΝΒΜ∗ΙΟ∋3 Ν∆

Μ∗ΜΙ.∀ !3 Ν−

Μ∗∆ΙΟ3∀# Β

Page 116: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

; ΗΑΦ Β

Ο:ΟΗ:+.Π:. ΒΒ

Ο:ΟΗ:+.Π:. :>.2. ΒΒ

Γ;2: ΒΒ∆

ΠΗϑ.2.9.Η:.ΕΦ ΒΒΚ

Page 117: ˘ ˇ - avm.edu.brCIA RIBEIRO CAVALLO.pdf · ∀ ˜ ( 3˚ # ∗˛ %˜ 3 # Ι ˚ # % )∀ ( ˚ ˚ ˚ ) ! ) ∀˜∀ ) ∀ ∀ ˚ ∀ ∀ 4˚ !

Χ1

Α;:9:2.2 .;2:2;2

,>.9ε2>

&∃+ !ΞΗΨ

>%(Ο3 #∀Α∀

.

2%φφφφφφφφφφφφφφφφφφφφφφφφφφφφφφφφφφφφφφ

.φφφφφφφφφφφφφφφφφφφφφφφφφφφ φφφφφφ