Upload
nairah1
View
227
Download
0
Embed Size (px)
DESCRIPTION
arquivo relativo ao curso de Direito
Citation preview
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 2/98
!
! ∀# ∃ % &
∋ ∋! ( ∋∋)∗! %∗ +,−
.∗! / ∗0 1)23
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 3/98
∀∋
∀ ∗ ) 4∗5 !5 ) ∗∀6 ∋ 2 2 ) ∋2 3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 4/98
∀#
∗! 333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 7
83 %) 1)2 9 .) 333333333333333333333333333333333333333333333333333333333333333333333 :
3 ∀ ;,∋ %) 1)2 333333333333333333333333333333333333333333333333333333333333333 <
=3 %) 1)2 ∋) 3333333333333333333333333333333333333333333333333333333333333333 >
3 ! ∋) 1)2 ∋)∗ %) 1)2 3333 88
73 ∋) 33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 8
7383 ∋) 333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 8
733 ∗ ∋) 333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 8
73=3 ∋2∋ ) ∋) ∋ ∗ 2∗ #∗ 38
:3 ∀?! ∋) 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 8≅
≅3 ∀∗ # ∗ ∋) 33333333333333333333333333333333333333333333333333333333333333333333333 :
≅383 ∀ ∗∋ ∋) 333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 :
≅33 ∀ )∗) ∋) 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 :
≅3=3 ∗∋ ) 333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 :
≅33 ∗∋ ∗ )2 333333333333333333333333333333333333333333333333333333333333333333333333 ≅
≅373 ∗∋ ∋∋ ∋∀ 33333333333333333333333333333333333333333333333333333333333333333333333333333 <
≅3:3 ∗∋ ∋ ∋ 3333333333333333333333333333333333333333333333333333333333333333333333333333333333 >
≅3≅3 )∗) ∋) 33333333333333333333333333333333333333333333333333333333333333333333333 7
≅3<3 Α∗ ∋) 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 78
<3 ∀ /Β∗ #60 9 %1 3 7≅≅ 9 Χ 333333333333333333333333 7=
<383 ∋∆ ∋∗∋ ) ∋) ∗∋ ∋) 333333333333333333 7=
<33 ∋∀ ∋ 33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 77
<3=3 Α∗ ) 333333333333333333333333333333333333333333333333333333333333333 7:<33 ∋∀ #∋ 333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 7<
<373 ! )2 333333333333333333333333333333333333333333333333333333333333 7<
>3 %#) ∋) )2 33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 :
>383 ∀∋! ∋) )2 333333333333333333333333333333333333333333333333333333333333333333333333333333333 :
>33 ∀ ∀, 33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 :7
>3=3 ∀ )∗Ε 33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 ::
83 % ∋) )2 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 ≅8383 )∗! ) 33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 ≅
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 5/98
833 % ∋) 1)2 )Φ # 5 4 #)
33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 ≅
883 Γ,∗ ∋) &( 1)2 % %) )6
1)2 ) 33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333≅≅
83 % %) 1)2 ∋ ) ∀)) )6
)2 ∀ 33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 ≅>
8=3 %6 ∋ ∋) )2 333333333333333333333333333333333333333333333333333333333333333333333 <
83 . 333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 <=
8383 Β∗ ∋∋ ∀ 33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 <
833 +(− ∀ 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 <
83=3 +Α∗ ∀ 33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 <833 +! ∗∗! ∀ 33333333333333333333333333333333333333333333333333333333333333333333333333333 <
8373 +! ∆ ∗ ∀ 3333333333333333333333333333333333333333333333333333333333333 <7
873 %) ∋) 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 <:
8:3 ∆ ∋) 333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 >
8≅3 ∋ 1)2 9 ∋ Α∗ %)
1)2 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 >
%∋)∗! 33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 >7)∀# 33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 >:
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 6/98
∃%&
∋)5 ∋) Α∗ Α∗ ( #Α∗ ( ∀
∋)Χ5 ?! ) Α∗) )∀∗ − 4 ∗ !
∀Ε−)3 5 Α∗ ( ∋∗ ∗ ∗∋
%) 1)25 ∗ ∗∀ ( ∗ )∋! )3
)? ∗ ∗ ∗ ∋ Η ∃
Ι 1)2Ι ∗ (∀ +5 ∋∗− ∋∗ ∋
Α∗5 ∗ #∗ ∗ ∗∋ ∋2∋
Ε)3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 7/98
%∆∗) 8
%) 1)2 − .)
%) 1)2 ϑ ∀∗) ∋
∋∗5 Α∗ 2 ∋ ∗ ∋4∗ ∋∋∆∋5
?5 Ε ∗ ∋ Α∗
)2 Α∗ ∀3
∋ − ∋) ∋) ∗ #∗!∋ Α∗ ∀ , ∀∗5 )( ∋∗ Α∗ !
∀6 ∋ ∗ )25 ∗ 45
)! 4∗∆∋ !− ∗∀ , ∀∗
∀ ∀3
)6 ∋) ! ∀∗5 ! ∋∗ 5
! ∗∋ #∋ ∗ ∗ ∗ ∀∗3 Κ (
#∗) Α∗ ) )! ∋) )25 ( Α∗ 4# ∗ ∀∗ Α∗ 2 ∗ #∗!5 ∗
5 ∋∗ ∗ )∋) ∗ ∀!3
#∗ 4∗∆∋ )6 ∋) ( ∗? ∋∗∋)
∆ ∋Ε∋5 ∋)∗ ) Α∗ ∗ %∗! 8<>8 4Ε
∋) ) ∋!5 ∀ ) ∋! # )∆∋5
∃ )∗! ) ∗ ∋! 4∗∋)3
)∗) 4∗∆∋ ∗ #∋! ∋ #! 5 ∀ ) ∗ !−)5 Α∗ !−) 4 ∋
4∗∆∋ ) ∋2∋ ∀∗5
∋ ∗ ∗ %6 %)3
∋) ( ∆) ∗ ? Α∗ ∋∗) Α∗ ∀
∋ ∗ 5 )∋ ∗ ∋! Α∗ ∋∗∋5 5 Α∗ ( ∀∗)
∋ ∗ )3 ∀∗ &∀∗) )Φ
Ι Α∗ 24 #! Α∗ 2 )∀! #?ϑ−)5∋∗ ∀,∋ 4∗∆∋5 Α∗ # ∋ 4∗∆∋ ) Α∗) ∗ ∗ 5 ∗ ∋)! 5 ∗ ∗ )! 4∗∆∋5 ∋∗4
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 8/98
#5 Α∗ ) ∃ ∗ ∃ ∋)5 )∋ )Ι3
%) 1)2 )∋ ∀))
,)5 ∗ ∋ ∀ ∗ ∀5
? ∋ ∋ ∀∗ ∋∗ ∋#)
Α∗ ∋ ∃ 4∗ ) ∀) ∋5 ∗ ? Α∗ )2 !
∗ ) ∗ 3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 9/98
%∆∗)
∀ ;,∋ %) 1)2
%) 1)2 ∗∀∗ , )∗! ∗) ∋
∋2∋ ∋! )23
# ∋6 #∆∋ #)∗∋∗ #∗ ∗∀
∋3 ∋6 #∆∋ ∋ ∗ Κ
)2 Α∗ ∗ )∗ )2 ∋6 5 )∋ )∀∗ )5 ∋ Χ)5 ∗ Α∗
∗5 ∋ ) ? ∋23 ∆ ∗∀
∋63
∗ 1)2 ∋ ∀) ∋
∋)5 8≅5 # ∋∗∆ ∋6 )2 Α∗ )∗
)2 )Ε ∋6 )25 ∋ ∗! 4 )23 &
∋ ∗ ) ∋ 8<≅7 ∋) 8>: # ∆) ) ∋! ∋3
+ #∋ 2, # ∋)∋5 %2)) 8≅>8
Α∗ Ι ∋! ∗ ∗ #! ∋6 ∗
)6 ∗ ∋∗Ι3 %,∀ )!5
8<85 ( ∗ ∋! )23 , ∋ ) ∋!
)2 8<<5 Α∗ # ∋2∋Ι3
Ε )2 ∋! # ∋ ) %∗! Λ5 8>8>5 %∗! ( )2
∋) )23
∋ ∗∀∗ ∋ ∗ ,∀! Α∗ ∗∋ ∗) )25
#∗∋ ∋ ∗ ,∀! )∗ ∋)3
8>< ∋)! ) ;5 ∗ 3
ΜΜ5 Α∗ 2 ∀ ∗ ∋3
1 # Α∗ ∗ )2 )
∋)?!5 2∗ #ϑ∋ 3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 10/98
%∆∗) =
∋) )2 ∋)
! ) )6 )25 ∀ ∗) ∗
#∋5 )25 ∗− Α∗ #∋? ∋
∋ )3 ∋∆∗ Α∗! ∃ ∋ ∋ )25 )∗5
)5 ∃ !5 Α∗ ∗5 )∗6 ∗3 )!
∗ 1)2 ∋∀∗ ∀ )∋) )23
)( ∋5 2Ε ∗ #∋∗) Α∗ ∗) 1)2 !
)∗Φ ! #∋ ∀∗ ∋Ε )2 ∀∋ ∋ ∗
∋− Ε 5 ! ∋? ∀∗) 4Ε
∋!5 ∗ ∀ϑ∋ ∋ )25 ∋∗
∋∀ Α∗) ∃ ∀! ∃ ∗! ∗ ∋ !
)2 ∀ ∗ ∗ϑ∋3% #∋! #Ε∋5 ∋ ∗) )2 Χ∗
∋ ∗ Α∗ ∀ ∀ )25 Α∗
∋ ∋ ∀ Α∗ )2 ∗Χ # 3
∋5 ∋ ∃ ∗ 5 ∗ ! Χ ∀2
Η∋ ∀∗5 Α∗ ∀? ∀∋ ∋
Ε ∗ ∗ 3 ∗∗! ∃Α∗) Ε∋ ∗)?
∋!5 #? ∋ Α∗ )∀ϑ∋ ∋∗− %) 1)23 %)5 ∋#∀∗ ∗ ∀ #!
1)25 ∋∗ ∀∗) # ∋ ∗! )
∀∋! ∋∆∋3
#Ν ∋∗ ) ) 1)25 5 ∗)5
! Α∗ ∗ )∆∋ #∋ )2 ( 5 ∋
Α∗ 4∗∆∋ ) ∋2∋ ∀?! ∗Ν Ε
∀∗ ∋5 )∗) 4∗∆∋5 ∗ )25 ∋ ∋)
3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 11/98
5 %) 1)2 ( ∗ 1)2 Α∗
∗ ∋∆ Α∗ ∀∗) )6 )
)2 Α∗ ∀∗ ∀?5 ∗ ∋) Α∗
) 4∗∆∋ , ∗ Ε 3 ∗ ∗
∀ #! Α∗Α∗ ,∀! ∋) !5 ∋ ∋)2
∋ #∆∋ ∗ #65 ∋#) ∋) ∗ ∋
)∗! ∗Ν 2Ν5 ∀∋! ∋! ∋)3
5 ∗)?! Χ! %) 1)2 ! ( ∋∆#∋Ο
)∀∗ #5 ∗ )∗∀5 ∋)3
∗ Χ! ∋) ∋ ∋ ∀
∋ 3 ∗ ) ∋ ∋ ∋4∗ ∋∆ Α∗ ∋) #!5 #∗∋ )6 ∋)
5 ∋ )25 ∋ Ε ∋ 3 )6
) ∋− ∋#) ∋) ∗Ν Α∗ ∋5
5 ∃ ∋5 ! Χ∋)∗5 Α∗ # ∃
∗! 4∗∆∋ )6 )23
) ∋) ∋∀∗ ∀ ∗ ∗
Α∗6 ∀∗ 2Ε ∗∋Ο ∋)5 5 ∋? #∋ )∗ 5 ∋#∗− ∋ ! ∗) )
∋)5 Α∗ ∗? #)!5 ∋ !−#)!3
&∗ ∗ ! ∋ Χ! ∋)5 #5
∗ )∗∀5 %) 1)25 ∗ Α∗ )6 ∋) )2 !
! ∋)3 %∋? ∀∗ ∗6 Α∗ ∋
∋5 ∋5 Χ)5 ∗ Π( Η ∋)Θ Α∗ !
6 )2 ! ∋)?5 ∋6 )2Π∋6 #Ε∋Θ5 Α∗ ?5 6 Χ−∋5 Α∗ ) Α∗6
)2 ∋ ∀ ∗ ∗ 3
+(5 4∗#∋ ∋ #Ε) ∗ Α∗) Χ! Α∗ Α∗
) )6 ∋) 1)2 ∋∗ ∗ Α∗)
∃ ∋5 5 5 ∆) ∀
∋ ∗ ) ∗ ∋ ∋∋∆∋5 Α∗ ( ∀?! ! ∋3
( ) Ε∋ Α∗ Α∗)#∋ 1)2 Α∗ Χ
)6 ∋) Α∗ ! # ∗ ) ∋)5 ∋)3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 12/98
%∆∗)
∋& ()∃ ∃(∃ ∋
− Α∗ Χ Ε ∋( ! ∋) 1)25
∗)? ∗3 )∀∗ ∋ Α∗ ∋) ( # )
1ΡΣ 1 1;Ο 1 1%
1;Ο 1 1;5 Α∗ ∋∗ ∋
)2 ∗ ∋ΚΟ 1 %Ο 1 +Τ% 1;5 Α∗ ∗ 1 +% 1;
1 &11 1;5 1 + 1;5
1 +Υ% 1Υ% %3
+ )?! )25 ∋)? ∗ 1 %1
1;5 # ) ! ) ∗ (∀ +5 Α∗) 4Φ
1)2 − Φ
• ∗) 1)25 Α∗ ∋ ∋ )2Ο
• 1∗) 1)25 Α∗ ∀ ! )2Ο
• %) 1)25 Α∗) Χ− ∀?! ∋5
∋)5 ∋5 ∗ #∗65 ∗ ∋#) ∋)5
∋) ∀ ∋3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 13/98
%∆∗) 7
∋)
%∗! 15 8>8>5 ∗ ∋∆ ) ∋)5 Α∗ #
∗ ∗ ∀ !3 %∗! ∋∗ ∗ Χ
∋)! Γ)()#5 8>Φ Ι ) Χ! ∋! ! ∋
∃ ∋∗ ∀Ι3 ∋)! ( ∋)∗∆ ∋2∋
∀∋! ∋)5 ∋! ∀5 5 ∀ # #∋ϑ∋ ∗ ∋)! )2 ∀ !
)∋! ∋ ∋Ν∋3
1 ( Α∗ Η ) ∋)3
∋! ! # #∋ ) )5 Α∗ ∗) %∗! )∋
Χϑ∋ ∋ Κ∋ ∋∗! ∋) )5 Α∗ #
! # ∀ ∋)3
∋)! ) ; ∀∗ ∃ ) ∗! ∋! ∋∆#∋5 Α∗ ∋∗ ∋)?! )∋
2∗3 +∋ ∋) ∋Ν∋ ∋ %∗)∗5
∋ 8>::5 Α∗ 5 Α∗ ) #? 5 ! ∀ ∀∗
Α∗ ∋ ϑ Χ∋ ) ∗ 5 ∋ )!
) Α∗ ∋∗ ∋Ε ∗ ∋ ∋Ε∋3
∋) ( )2 ∀ ∀?
∋∗∆ ) ∀6 Α∗ 45 Κ ) )?5 Α∗ # Α∗)Α∗ #ϑ∋ ∗ ! 5 ∗ )! ∗5
∃ ! ∗ ∗ ∀∗ Α∗ ! 3 )
∋) ( ∋ ∀ − ∋3
∋! ς <≅ 1 ∗ ∀∗ ∀Φ
• )2 ∀5 ! Α∗)Α∗ (∋5 !
∋∗5 ∗?! ( 5 ∀?6 ∗ ∋)23 %
∋ ∀ ∗ ! ∗ ∋5 ! 2 Α∗)Α∗
(∋ ∋! ∗ ∀ ∗ ! ∗ ∋Ο
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 14/98
• ∀?6 )2 ∀ ! ) ∗
∗ ∀∗) 5 ∋)2 ∗ 5 ∀?
∗ ∀! #∗) ∗ ) !Ο
•
∗ ∗ Κ)∋ ! − Α∗)Α∗ ! Α∗ )
∗ − ∗ Χ∋∆∋ )∀)Ο
• ∀?6 )2 ∀ ! ! ∗4 ∃ )∗!
∗ ∗! Ο
• ∀?6 )2 ∀ ! ∀
#6 ∋#6Ο
• Α∗! ) 4∗∆∋ ∀?6 )2
∀3
) ∋) ∀∗Φ
• ∆∗ 9 Α∗ # ! Α∗ 24 ) 5 !
#) ∗ ) ∋Ο
• .∗ #) 9 Α∗ 2Ε ) #∗ ∋5 4
#) ∗ )Ο
•
9 ? ∃ ϑ∋ ∋ Α∗ ∃ ! ) 5
∋#) ∗ ) ! ∋3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 15/98
738 − ∋)
Χ ϑ ) ∋)Φ
8ςΘ ∋5 Α∗) )6 ) ∋3
∋ ( ∋∗ ∆ Α∗ ∀ ∋5 ∋ Ε)
&∗)5 25 Γ∋ ( 24 )3
ςΘ ∀∗)5 Α∗ Χ ∀∗) ∋)5 ∋ ∋
∗∀∗5 Α∗ ! 2Ε ) ∋)5 ∀?! ∋)5 ∗
∋)3
=ςΘ ∋ ∋)5 Α∗) ∀∗) ∋5
∀∗ )∋ ) 5 ∋ ∋ %∗3
73 − ∗ ∋)
∗ ∋) ∋ ∃ ) ∗! ∀∗ ∀?
∋5 ! ) ∋ ∗) ∗ ∋3
) ∗ # ∀?! ∋) Α∗ ! )?
∗5 )( )∋ϑ−) ∋∀5 ∋ ! # ∃Ε ∗ ∗∋∆5 Α∗ Ε ∋) ∀ <ς5 ∋
%∗! Γ)3 ! ∋∗∋) ! ∋? ∋ %!
Κ <≅ 15 Α∗ ) ! 2Ε ) ∋
) Α∗ ∋ 43 )( Α∗5 ∀
∋∗! ∋)5 Α∗ ∋#) ∋ ∋∆ ) ∋)3
73= − ∋2∋ ) ∋) ∋ ∗ 2∗ #∗
1 ∀ Χϑ∋ ∋2∋ ) ∋) ∋
∗ 2∗ #∗5 #∋ ∃ Η∋ )2
) ∀? ∋ ∋ ∗ ∀5
∋ Χ∋∗ ∃ ∗! )∗ ∀?65 Α∗ 45
∋5 ∀∗ ) #? ∗ Α∗
2∗5 Ι)Ι ∋)5 − ∋∋ ∀ )5 ∗
Α∗ ! ∋∀∗ Χ5 ΙΙ )3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 16/98
Β∗ ! Ε∋5 ∋2∋ ∀∗5 − ∋?
) ∋ 5 ∗ ) ∋∋!3
5 2∗ #∗ ∋ ∃ ∋
∋ 2∗3
% ∗ )∗! #! ∋)6
∃ ∆ Α∗ ϑ #Φ #),#∋5
∋)6 −∋ )∗! Γ∋ 5 #5
∋)! ) 8><3
5 ∋∋)∗ ∗ Α∗ # − #),#∋5 )
∀∗) 2 ! ∀∗5 Α∗ ! ! #Ο !
! ∗ Χϑ∋5 ∗ )5 ! ! ∗ 5 ∗ Φ
ΙΑ∗ #),#∋5 #6 2 ! ∗ ) Χ! ∗ ∗)Φ ! ∗ )! ∋Κ5 Α∗ ∀ ∗ 2 ∋) # 5 ! Χ ) )! ∃ ∗ #∋Ε∋5 Α∗ ! Π )2 2,Θ ∗ #∗∗ )∀)03
∀∗ # ∋ 2 Α∗
∋! ∗ ∗ #Φ/%5 5 ∀ ∃ Ε∋5
)?3 ∀5 #! 2 ∀2
∋∋∋5 ∗)3 ! ∀ Π∗ 45
! ∗ϑ∋ Θ5 ) Η Α∗ ∋2∋03
∗ ∋ #5 #! 2 (5 ))5
∗) Φ
Ι) Α∗ Ε ∋∆ ) ∋ ! ! ∋! ∗ Α∗) 5 2Ο Α∗ 6 ∗ ∋ ∋∗4 #) 2! ! ∋) ∗ ) ∋2∋5 (5 # ∀ ( ∋ , Α∗ 2)3 #) ∋5 ∋! ! #5)5 5 203
5 # ∗ Α∗5 ∗
2 ∗∀ ∋ ∗5 )∗ ∋
∋∗) 5 #)5 # ∋ ∗ ) )?! ∋
∗5 ∋2 Α∗ )2 3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 17/98
% ∗) ∋2∋ ) ∋)5 ∋
∗ 2∗ #∗5 # ∋Α∗ ∗ ∋ ∋
2∗3
∀)5 ) ∋) ( ∗ )∆∋5 )∀ ∃
2, )2 !
∋!5 )? ∋ ∋ ) ∗Ν )!
∃ ∋5 ) Α∗)∆ )6 )25 5
∋ΑΩ5 ) ∋Ε Ε)∀ ∋) ∆5 )(
∋ ∗∗! )6 )23
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 18/98
%∆∗) :
∀?! ∋)
)5 ) ∋ ∗ ∗ ∆5 Χ ∗ )∀ 2, )∗
∋) Α∗ ∋ ∋ ∋) ∋ΑΩ #! ∋) Ε5
∋ ΕΧ ∗−∀? Α∗ ∋2∋ ∋)3
∗ ∋)5 ∀∗ ∋ (∋ ∗ )∗
ϑ∋ ∋ Χ)! ! Α∗ ∗43 )∗ 4Ε ) ∗ (∀ ∃ ∋)
Α∗ , ∗ ) ∗ ∋∗)∗ ∆∗ ∋) !
∋2∋ ∋ ∋ ∋3
# ∋ Α∗ )∀∗ ∋6 ∋#) ∋ 4Ε
# (∋ (−5 (∋ # ∃ ∋2∀ 2 ∋5 ∋ ∗
∋∗)∗ ∗6 ? ∗5 Α∗ ∗?∗ # ∀?! ∋Ν∋
∋)5 Α∗ ∀ ∋∋ ∋#) ∋ ∋) Α∗ # ∀ ! ∋) ∋) ∋) ∗)3
∋2∀ ∗∀∗ )5 ∗ , ∋∋) #! ∗
∋ ∋)) ,) ∋5 4 +∗∀)5 2 ∗
∀)3 ∋ ∋) ∋5 )∀ ∀?
)#Κ Κ∋ ∋#(5 Α∗ ∃ Χ)! ) ∗
3 ∗! ! ∋5 ∆ ∀5
! Χ)! ( ∗ ∋Ε (∋3 ! ∋ ∗ ∗ ,5 ∋ Κ 6 ϑ∋
∆∀5 ∋− ∆ 1∗Ε Π87=−87Θ5 %#!
1 Π87:Θ5 +∀∗Ε +∆ Π87<:Θ5 ( 2 Π8:<:Θ5 )
% %Ε Π8≅8Θ5 , ∋ # Χ) ϑ∋ ∋∗) ∃
∋∗! ∗ ∃ )∆∋ ∋?! ) ∋ ) ∋)?
∗∗3
)∆∋ ∋)) )∗ Ε#∋5 ∋6 Ε5 )26
∋ ∀ Ε 6 #∋5 Α∗ )5 ∋ (∋5 #
∗ ∗Χ)! )#Κ ) )2 3 ∋)!
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 19/98
) #∗∀ # ∃ ∋ ∀5 Α∗ ∀ ∋∗!
∋∗ ∀ )5 Β∗)5 Α∗ +) Π87≅Θ5
)2 Π8:=Θ5 %) Π8≅≅Θ %∗ Π8≅=8Θ3
∋∗ ) ∗ )2 ∋ #∗∀ ∗
(∋∗)5 ∋ ( ∋ Β∗) +) Α∗ , ∋∗
∗∋ Χ6 )5 Α∗ ∗ 2 ∀∗3 5
∀ ) ∗ )∗ ∋ ∋!5 Α∗ )∀∗ ∗
) ∗5 ∋ ∋! )# 25 8≅><5 4∗5 !5
) ∋ )∗ ) + ) )! ∋∗
∋) # ΝΦ
ΙΕ ∋2∀ #)? )5 Α∗ !5 Α∗ ∀∗Ι3
) ∗∋ ) (∋ (∋∗) 2
5 ∋ ∋ ∋ % Π8<=Θ ) Π8<=<Θ3
) ∋ ( Χ)! Α∗ )#Κ ∗25 ∋)
∀5 ∋∋)5 ∀∗ Α∗ ∋∗∆ Κ) ∗ ∋ Α∗
( 24 ∗ #∗ # ∋) ) ∗ ∋) ( Α∗ ∗ ∗ ( Χ∋)∗! ∋)3
) + +∗∋5 8<<5 # ∃ Κ)
∗6 ∗3 &∋ ) )) ∋)5 Ι 2Ε ∆∋
2 ∋# (∋5 #∋ ( ∋∗)∗ )∆∋5 ∋ #
∋ ∋)Ι5 ∋ ∋∗ .) ΓΞ3
1) ∋ ( ) )2 ∋ 2 ∋2∀
6 ∆5 ( ( ∋)5 Α∗ ∋ # 2 )∗! Γ∋5 ( ∋2∀ )5 4∗ ∋ )∗
∀ ∗5 #)− ∗−∀?! )2 Κ
∋( ∋ ∋(∋5 ∀ ∋ ∋) )∗∋Ε5 Α∗
2 ∋ 4 Κ) ∃ ∗! ∋) ∋∗! ∗
) ∋) #∋ ∋ ∀ ( ∋)3
∗)?! ) ∋ # ) ∋Ε5 Α∗ ) ∗!
#(∋ ∆5 Α∗ ) )∗ ∗4! ∗ ∋ Χ3
∗∋ #∋ ∗#∗ Χ ! ∋2∀ Α∗ ∗ ∋
Α∗ ∋ 5 Α∗ ) ∗ ,)3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 20/98
∗! , ∋∗ # )6 ∋ 3
! 8<<5 ∋2 ∗ ∗∋) ?
∗∋∋ ∗∀∗5 #∗∀ Χ(∋ )Ν∋ Α∗ 2 +∗∀)3
) ∗2 ∋! ∗ ∗∗ 5 ∋∋)
∗ ∋? #?5 ) 5 ∗ ∋3
&∗))∋−5 !5 #∋ ∗#∗5 )∗− ∋(∋5
∗∀ ∃ , 5 Α∗ ∗ ) #∗! (
) 5 5 ∋)3 5 #6 ! ∋2∀ ∋ ∗
Η∋ ∋Ν∋ Α∗ ∗−∗#∋ϑ∋5 4Ε Α∗ )5 ) ∋
+∗∀)5 ∗4 ∃ 6 ∀) Α∗ )
∋∋) ∗) ∗Ν3 (∋∗) ΜΜ5 ) ∗ ∋ Κ )Κ∀∋
∗#∗5 ∋ #Ε∋ # ∋ Π8<8Θ5 #Ε∋ &
Π8<88Θ5 Κ &∗Ε5 , Π8<7Θ3 ∀∗ 5 8<7 2 4Ε
∋∋ 7 Κ5 #Ε∋ ∋5 )!5 )∗∀ ∗ Α∗∆∋3
∀ ∗)?! ∗− (∋∗) ΜΜ , ∋∗
∋) 4Ε (∋ (∋∗)3 ϑ∋ )∆∋ )
8<5 # Ε#∋ ∋ 8<75 )! ∋∗ 8<<<5 4∗ ∋ ∋∗∗)! ∀ ) ∋#∋∗)∗ ) ) ∀∗) ?!
∋ )5 Α∗ # ∋ ∗) ∋∋ ∗ ∋
∗ ∗)3
Ψ ∋ Α∗ # ∋) Ε )5 Α∗ ∋
∋ ∃ )! ∋ Α∗ ∋∗∆ 4Ε ∗ !−−
)∋ ∋∋ ∗#∗5 Α∗ )26 ∀
∗∗5 ∗ )5 2, ∗∀∗5 )( ∋∀ )!5 ∗5 ∗∆ ∗ ∋)3
∀ ∗ Η∋ ∗! (
∋) ) ∋! ∋6 ∋)5 4Ε Α∗ ∗ )
Χ ) Α∗ 2 ∋ ∀! ∋) ∗ ∆
∀ Α∗ ∋2∀ #∗∀ ∀∗! )∆∋ ∗ ( Α∗ ∗
)25 ∋) Α∗) Α∗ ∋! )∗
∋3
) (∋∗) ΜΜ 2 ∋ ∋ ∋ #)∗ϑ∋ ∋∗)∗)
Γ +∗∀)3 ∋ Α∗ ∋) ∋ !
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 21/98
∋∗)∗) ∋Ο ∀∗ ) ∋) )! 2,∋ )∀Ω∆∋ ∋
)2 ,)5 2 ∗ ) ∗ #)2 ∋)
3
∋4∗∗ Η∋5 4Ε Α∗ ∋4∗ ∋ #Ν
∀,5 )∗ Α∗ ( ∋) Α∗ Α∗ ∋2∀ # Ζ∗5
[Ζ ∋) )∗∋Ε5 Α∗ #
( ∋)5 (∋5 Γ5 +∗∀)5 2 Ε)3 ∆ ∋)
)Ε Χ∋∗ ∗ #)∗ϑ∋ ∋ ∋5
∗ ∀∗5 ( #) (∋ = (∋∗) ΜΜ3
( 4 Χ5 ) ( )∗5
∋) ! Χ Α∗ ∋2∋ )5 ? ∀∀ ∀ ∗ ( ∋Η ∋) )∋ ) ∗)∋65 ∀∗
∋ )3
( ∋2 ∋) ∗,∋ ∀ 4Ε )∀∗
∋ ∋ ) ∀5 Α∗ Α∗ ∋2∀ #∋ ∗
∗25 −∗) &∗ &∋2) 5 Α∗ ∗ ∋∗) Η∋
∗)∀! %2) Γ∗3
∀2 ∗2 ∋2∀∗ 8< +∗∋ )2 ∋ Κ)∋5 ) ∗ ! (∋∋
∗∆∋3 & )( ∗ (∋∋5 ∀2 #∋ϑ )∗− ∗
#∆∋∗ ∋) Α∗ ∆ ∗3 ) Α∗ ∋
∀∗) Γ5 2 ∗ ) ∋) ∗)∀! ( Α∗
∋# ∗ ∗ ∋ ∋ ∀
)3 ∀ ∗25 4) Ν + Γ∀∗5 # ∗
∀ ∋∆∋ ∋)5 4Ε Α∗ )#∗Ε 5 Π)2 ) ∋ )Θ5 ( 24 )∗!3
∋ (∋ 75 ∋#5 ∗ ∋2
)∆ #)2 # + 5 ∋∗ Α∗ ) )
( ∀?! ∋)Φ 5 8<773
)∀ ∗ = Ε∀ ∗ ) 2,
∋ ∋∋)∗ ∋ ∋)3 ∋ ∋∆∗)
−5 ∴ Γ∗ #− Α∗5
+∗2 .∴3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 22/98
! ( 2 Α∗ # )∋∗) Α∗ ∗∀
∋ &Χ ) ∗ Κ∋ #ϑ∋ Α∗ ∋)
)! , (∋∗) ΜΜ3 ∗ ∗ # 1 5 ∗ )∋∗)
#! )! ∋Ε∋ 3
(∋ Α∗ ∗2 ) ∋#5 ∗ ∗ #∋ϑ5
(∋ −∗) &∗ ∋ ∗) ) ∋∗ ) ∗
#)(5 ∗ ∋∗ ∀∆∋) ∗)5 ( Γ∗3 +4 Α∗
ΧΝ ∗)∀∗ ∗∋ ∀ 3 #
8<85 ∋2∀∗ ∀∗ ∆#∋ (∋∋ #∋5 Α∗ )∀ ∀∗
∗∋∆ ! Γ∋∋5 %5 # ∗ ∋)ΝΦ
∆ ∗5 5 +))3 Χϑ∋ ∋∗Ε ∋∗ #∗ ∃ ∀ϑ∋ ∗∀ ∋ ∀∗5 ( ?!
∋6 ∋Ε ∀! Α∗ )5 Α∗) ∆#∋ 2 2
# ∀∋∗) 5 Α∗ ! 3 ∋)Ν Α∗
∗ Κ∋) ∗! ΕΑ∗ ∗ 5 ∋∗ !
∋∋? ∗ 4 43 ∋ ! ∗∀5 ∗ #∋) !
∋∋?∗ ∀∗ ∗ ∋ ∀∋∗)∗ ∗
)Η∋3 ∀ ∋ ) ∋ ∋ ∗3
)? Γ)(5 3 &∗ # 5 Χ∋∗ ∋
∋∗ ∗ 2Ε∋ )3 ! ∗5 ∋∗5 ∗ (
#∗ ∋ ∗ #∗ ) #∋ ∗ 4 ∋∗ (
∋) (∋ Φ 8<73
#∗! ( Α∗ ) ∋ 5
Χ) %∗ + 8<≅85 ∋∗∗ ∋! ∋6 Α∗ ) ∗∀ ∀?! ∗Ν )25 ∗−
! ∀ ∋6 ∋) ∗∗) ∋5 ∗ ?5 ∃
∀43 ∋) 2 ∋ ∃ ∋∆∋ ∋) ∋) ∗
4 ∋)5 ∀∗) (∀ ∋) )∗∋Ε5 ∋
Γ5 Α∗ ∋ Α∗ #∋ ∋2∋ ∋−∋)3
∗∀ %∗! 8<= Α∗)Α∗
∋! Ε5 ) #−5 )∀) )Η∋ ∀5 ∗
) ∋! 1∀Ε#∋ Γ)∗5 ∋ ∗ ∀
∀?6 # )3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 23/98
, ∋) )5 ∋ ,∀# ∀Ε#∋
∀∗)2 ∗ ∋ )25 Α∗ ! 2
# ∗ ) ∋∗)∗) ∀∗ )5 4Ε Α∗
) 2 ∋! ∋ ∃ #! ∋2∋5 ∋ϑ∋ ,
#!3
∗ ∋6 # ∋∗ ∋ ∋∋25 ∋5
∋Χ5 Ε ∋∗! )5 ∗Ε5 ∋∗! ∋) ϑΧ5 ∋
∋ #∆∋ ∋) Ε #!3
;Ε ∆∋ )∀∗ )6 )2 # (∋ 5 ∋
∀ 8≅>85 % 5 ?! ∀ )ΕΟ
8<7≅ ∋−Ε Α∗ #? ∀ ,3 ∀∗5 ( 5 ∋∗ Α∗ ∋ ∀ ) )Φ
,∀#3
(∋5 ∋ 4Ε 5 ∋ ∋2∀ )2 ∀
Κ ∋ ? 3 ∗) ∋∋ Κ )∋
∗3 8<≅ # #∗ #Ε∋ ∋ ! +∗) 5 )∀∗
5 8<≅75 # ∋ ∗ ∗ Κ 88 Ε3
∀! ∗∋ ) ∀ 8<≅5 ∋∗∗∋ ∗ )2 ∀5 !−−
∋#? Κ ∋3 , Α∗ ) (
∗ )2 Α∗ Α∗5 ∗ # ∋∋ϑ∋ ∋) Χϑ∋
)∗5 ∋∗ ∋! ∀?6 Ε ∗ ∋
∋) ∋ ∋ ∗ ∀ (∋ ∀∗3
Γ ∗ Α∗ ∋∗ ∗ Ε
∋)5 (∋ ≅5 ∗ ∗ ∋ #∗! ( Α∗ ∀ ∋ ∋ )5 ∋∗ ∗ ∋∗)∗ Ε )5 ∋) )
∋ ) ∋)5 Α∗ ∋ ∋) ) (
= (∋∗)3
Π! +∗)5 8<:>Θ5 Π! +∗)5 8<≅:Θ5
Π 5 8<≅<Θ5 Π)∀5 8<<≅Θ5 Π+ )∀5 8<>Θ5 ! )∀∗
∆∗) 5 ∋ )25 Α∗ ∋)?
? ∆∗) ( #) 83 Κ)∋3
8<<< ∋2∀∗ ! +∗) Α∗ ) ∗ %∀) Α∗
)∗ .∗5 # ∗ Χϑ∋ ∋∗Ε5 )∀ ∀4
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 24/98
∋) ∋) 5 8<> ∋ ∗ Α∗5
Α∗ ∀? ∋! Κ)∋ 8ς &3
(∋ ∋) )( Γ #∗∗5 8<<>5 ∗ ∋∆∋∗)
∋) Α∗ )∗ ∗)∀! ( )25
∗ Ε ) ∀?! 8ς %∀ ∋) )
5 8<>3 ∀∗ #5 )?5 ∋) ∀∗ ∋) #5 Α∗
4Ε )∀∗ ∋2∋ &Χ5 5 ∋ ∋∋∆∋ ∋)(∋
(∋5 ∗ #∋) ) ( ∋) Α∗ ∋)∗∆ Γ∗ Α∗3
! ( 2 Α∗ )∗) )Ε 2 # )
Α∗ & Γ5 #)2 ∋ %∆∋∗) ∋)3
Κ) (∋ (∋∗) ΜΜ5 ∋2∀ ( ) Ε #∆) Α∗ ) ∋ ∗ #Φ ∋ %)Ν %∋∆) +Ε5 ∗
∋∗ Χ) )Ε3 ∋∗ Α∗ ∗∗ 87
#∗∗−5 # Α∗ 5 ) ∋Ν∋ ∃ ! Α∗ #∗3
) # ∀ ∋) %∗5 +
)∀ ! +∗)5 ∋ ∋! 4 ∀?6 Ε3
Β∗ . 5 ∀2 ∀Ν5 Χ−) ∋! ∋)
1)2 Π1Θ )? %)Ν5 # ∀ ! ∀Ν∋ %5 %5 #)∗∋∗ ∋! ∋ 3
. ∗) # #∗ 8<> ! 1)25 #)∗ϑ∋
)2 )!3 ∗∀ ∗∋ 4 5
∋ ∀∗ Α∗ ; 5 Α∗ ∋∗∆ ∋! ∀ Ε
∋) 8<>≅3 ∋) )2 ∀Κ∋2 ∋∗)∗
∀?! 8ς %∀ Ε . ∗)5 8<><5 Α∗ (
)? )3 Κ) (∋ (∋∗) ∋∋?∗− ) ∗))∋! 4
∀?6 Ε5 ∋ ϑ∋ Α∗5 ) ∗
? ∗ ∋) # ∗ ∋ !
∀43 % ∋2∋∗ ∀ % ) !∀ # Φ
Ι ∋ ∋ ),∀∋ Ε5 Χ ( Α∗ ∗∀∗ 3
∋) ∗,∋5 )∀∗ ϑ∋ ∋) #
Α∗5 Χ)5 ! Α∗ ∆∋ (∋∗) ΜΜ5
ΧΙ5 Α∗ , #? Ι # ,−)∗! ∗Ι3 +
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 25/98
∋∋5 ∋ ∋!5 Α∗ #)∗ϑ∋ , ∋∗ ∀#∋
=3
45 5 ) #)25 ∗ Α∗ +∗∀)5
# ∋ #! ∗ ∋∋ϑ∋ ∋) )∀
)2 ∗ ! +∗)5 ( ∗ ∋ ∋
%∗5 + )∀5 ) ;?5 ∋#5 Γ)?5 )( &∗3
∋∋ϑ∋ 4∗ ∋)5 ∗? Χ)! !5
∗ ∗! ∋ ∋) ∃ )∗ ∋)5 Α∗ ∗?
∗))∋! Κ ∀ #6 )2 ∗3
Ε ∋ )∗5 ∗)∀ ∗)5 ∗)? (∀5
# Ε ∗ ∆5 ∗ )2 ) ∋ ∗ ! ∋) )∗ Α∗ ∗2 %)5 ∋
Α∗ ∋ ∆∗ ∋ ∀∗ ! ) Α∗ ∋
∆3
∋) Α∗ ∋ # )5 !
∋2 ∋−∋)3 (∀ , ∀2 ∋5 ∋
(∋∗) ΜΜ5 Γ6 Ε %#! Ε ) Π%Θ5
4Ε5 ∀)5 ∗ ∋) ∋ # ∋! ∋ Α∗5 ( Α∗ ) ∋ ∗)∋6 ∋ )2 )Ε3
∋−∋)5 ∋ Α∗ # ∗ ∋) ∗Ν
)! ! ∋∗ Γ # (∋ >
(∋∗) 5 )2− ∀∗ ) ∗ (∋3 #! )
1)2 8<> %#! .) 1)2 Γ5 # #∗
8<>73 %1 Π%#! ∋) 1)2Θ 2) ∋ 8>85
Π! ∋) )Θ5 8>85 Π! Ε ∋)Θ ∗∀∗ 8>8 Γ Γ! Ε ∀) ∀Θ5 8>85 , #) )∀∗
∋ ∋#6 Ε #)∗∋ (∀3 ∋ (∋∗)
ΜΜ5 5 )∗ Ε )Η∋ ∋) )2 Α∗ 4Ε 2
Ε (∋ Χϑ∋5 2 ) Χϑ∋ 1 − ∋!
∋) 1)2 Π8<:−8<≅Θ5 %∗ + 8<≅8 #
∋# ∋ ∋ ∗ 3 Γ (∋ Α∗ ∋∗
∋)∗ ∗ #ϑ∋ ,)∋ )∗ ΕΦ Ε %2∋∀5 Ε
Α∗ 5 8<<≅5 ) ∗ )∗ # < 2 )2
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 26/98
Α∗ # 2, )2 ∋) ( = ∋5
∗5 ∋) ∀ Κ)∋ + &3
Β∗ ∃ ∀? )∋
#∗− ) , 8ς %∀ ∋) 8<> )∀∗ ∋5
8<>75 5 + ∋) )5 ∋∗ ∗! ∗?
#)∗ϑ∋3 ∋)−∋∋ #! Χ ! ∋ )5 ∋ #∗
Γ∗ ∗ ) ∃ % Φ Ι 2, ∋)
ΠΧΘ # ∃ 2, Α∗ ∋∆∋∗) ∋ ∋ ! ∗)Ι3
∋) )Ε Α∗ ∗)? Ε3
& # Α∗ 5 ! Α∗ ∋∋∆∋
(∋ # ∋! Ε ∋ ∋)3 ∗ 8>8> 3 4 & #Φ
Ι ∀ϑ∋ ∋∆5 Α∗ ∋) ∀ Α∗ ∋ #65 ∋6 ∋∆∋ ∀Ι3
∋∀ϑ∋ Ε5 ∋#) 9
1 ∀∗ ∋) 95 − ∋ ∗ ∋∋∆∋
( ∆ Χ−) Α∗ )∗ ?!
∋) ∗4! )∗ Ε ∃ (∀ ∋∗
∗3
! Χ ∗ Χ) ∗ Α∗ Α∗ ∗)∋6
)Ε ∋ & ∗∋ ∗ Ε∀5 ) Α∗
)5 [) &Χ ∋ ( Γ∋2 ∀)3 ∗ ∋)
! Α∗ ∀ϑ∋ ,∋ ! Α∗ ∋2∋
∗ ∋∗6 ∋)3 +! # Α∗) Α∗ ∋∗ ∗Ε 2 5 ∋∗5 ∋) Α∗!5 Α∗
#∗ ∋ΑΩϑ∋3
∋∋ ∀?! Ε ∗ )∗ ∗ ∋5 4Ε
(∋∗)5 ∗ ∋∗)! ) )2 )3 Ψ
∋Χ Α∗ 4) ) ∗)∋∗ 8>=5 ∗
Γ! ∋6 %)3
∋∗ ∗ ∀ ∀)? Α∗ )∗ ∋∋2 ∋∋ 5 ∋ ( ∗ ∀ ∀) Α∗ )∗ ϑΧ5
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 27/98
) )2 )2 Π∋∋ Θ5 ? , >3= 2
)23 − # Ε∋ Η∋ ∋∗)! ∋!
∋ ∀∗ # ∋∀∗
∋)3 + & ∗∗ )2 )25 ∋#
∗? ∋ ∋3
(∋∗) ∋ ∗)∋6 ∋
∗ 5 5 )( #∋ ! +∗)5 Α∗
∗ ∗∗ ∗)∋6 )Ε3 ∋
4) ∋5 )∋∗) ∗∀∗ϑ5 )∋∋ 5 Α∗
)∗ ( 8>8 ∋) )5 , +∗∀)3 ∗ )
+, − ∗ ) ∗)∀! Ε ∆3
Η∋ ∋∋ ) ∗ ∋Χ
) ∗?∗− ∗ # ∀ ) < 2 )25 )?! 8ς
%∀ Ε ) 87 ) 8>: 3 )∀
Ε ∆ ∗ ∋∗! % 9
%#! Ε ) 9 ) ∋) )∗∋Ε %.1
Π%#! .) 1)2Θ #∋ ∋−∋) ∗∗3 ∋∀ # ∋∗ Χ)∋ 65 ∋∗)! ∋) Ε
)∆∋5 ! ∋ # #∗) ∗!
)23 &#− )∀ ∋ Χϑ∋ #∗∋Ε
∗ ∋)5 , ∗6 Χ∋∋ Α∗
)2 ∗ #∗6 ∗ ∗ ∋ Ι! 5 (5
∋ ∗ )Ε #! Α∗ Ι Ι!
Ι Ι ∋∀5 # ,∋ ∗)? ) )2Ι5∋ #∋∗ ∋∗ %∀3
∋∗ ∋) ∗∋ ∋)5 ∗ ∋∋∆∋ Ε∋
∋−∋)5 #− ( ∋∗ ∋) Χϑ∋
6 ∋5 Α∗ ∗∗∆ ∋6 ∋
)∀! #∗63 Γ ∋ Α∗ ∋ )2
∋ #∗6 ∋2# ∀) ! #) ∋3 + Κ)5 # ∋
Α∗ ! Φ ∀ ∋) ∀)5 ∋5 ∀ #!
Κ)∋5 ∀∗ ∋∋∗Η∋3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 28/98
∋)2∗ 8ς %∀ Ε Α∗ ∋ )∗
#∋) ) ∗! 2Ε )2 2 Χ5 4Ε ΙΑ∗ ∗
#∋) ∗5 ∗∋! ∋ ∋! )∋∗)Ι3 ∗ 6
∋)∗− ∋6 ∋ ∀ ∋ )∋)Ο
Η∋ ∀?! ∗)2Ο #∗! ∋) )Ο
∋)! Ε ∋∗! ∀?6 )2 ∋
#) ∗ ) Α∗ Ι )2 ! ∗ #)2 #∋
#Ε∋ ! Α∗ 2 ∀ ∋Ι3 )5 Α∗ ( ∗
∋∋? )2 Η∋ ∗ ∋ )2 #)3
∋− Α∗ (∋ &5 ) . 5
#Φ Ι ∋ ΠΘ Χ #Ε∋ )2 ∋ ≅ <5 4∗ ΕΑ∗5 ϑ∋ ∆ 5 ∋ )∀∗ 4Ε ∗∋3
)2 ∗ ∗)2 ∋ ( ∋ ∋ #Ε∋5 ∋∋
∋ )?6 Α∗ ϑ ∋ ∀3Ι
∋∀ ∗ ( ∋! ∗)∋ &/ 5 4)
∀ ∋! ) # ∋6 ∋Ν∋
)23
∋6 8ς & ∗))∋ ) ∆5 )( 5 ! +∗)5 5 ∗∆ %3 & ∀ ∀) %2 +∗)
Γ5 # ) ∋ )2 ∀∗ ) 5 Α∗
∀ ! +∗)3 ! ) Α∗ ∀∗∗5 )∗ ∃ ! Γ!
Ε ) 4) )Ε #∋5 ∋ ∗ )5
Α∗ ∗ ∗ Α∗5 )? ) ?5 ∋)∋ )
Ε5 Α∗ ∋∗ ! Γ∋∗) ) )∆∋3
∋∗! ∋∋ ∀∗ ∀ ∗∋ )∗ ∋) )3
+ )∀5 Χ)∗ 5 ∗ ∀ ∀)5 #)∀ )
5 Α∗ ! ϑΧ5 5 5 )# ∋3
∗ ? ∗)∗ ∋Α∗ 4 )2 > 23
, ∀∗5 8>≅5 )2 ∋∀∗ ) ?
< 2 )25 )∗ 2,∋ Α∗ )? Ε ∋)
(∋∗) ΜΜ5 ∋) , 8<<:5 Α∗ ∋# ∋ %2∋∀5
) ∃ ∋! ∃ Α∗ Α∗ ∋Φ 5 Γ∋25 ∀)
+3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 29/98
Γ ! +∗) 5 , ∗ ∀5 ,
< 2 )23 ∀∗− ∀Ε#∋ 5 5 )2 %∗!
%)5 ∋∀∗ 4 8 )∗3 %Α∗ Ε Α∗
∗∋ ∋∀∗ ∗)5 ∀∗5 ) 5 )∗
) < 25 ∗ 4 ∀?6 ∋3
% ∋∗ #) 8><5 ∋∗)6 Α∗ ∀∗ 8ς
%∀ Ε5 ∋∗∆ ∗ #∗! 7 ∀?6 Ε3
! +∗) )?∗− ς %∀ ∗) Ε5 ϑ )5 #
∋∆ ∋−∋) # Η∋ ! ∋∗)∗)
)25 ∋ ∋ ∋ ∋) )5 ∋ ∗
Ε5 ∗ ! ∀ )3 ! #∗?) 8>> ∀∀ )Ε 2)
Γ∋∋ Γ5 ∀∗5 Χ) Α∗ ∋∗ ) ∗5 ∋ ∋
)3 ) Α∗ ∗∗ ∋5 ∗5 )
∗)∋ )5 ∋∗∗ ∗)?! ∋!
∋) ∋3 ∋) ∀∀∋ Α∗
∋#∗ ∋ #∋∗) ∋ ! )∀) ∋ Α∗
∋ ∋ (∋∗)5 Α∗ ∋∗∗ ∗∋! )2 ∗ #)2 Α∗ Χ Κ)∋3
)Η∋ ∋) ∀ )Ε Α∗ # #∋
)∀ (∋ (∋∗) )∗ ∃ ! ∗ ) Α∗ #∋
∋2∋ ) )# .3 ∗ Κ∋ #) ∋∀∗ Χ∗)! ∗Ε
∀ ∋5 ) 5 4Ε5 Α∗ !
∋3 ) Α∗ ∗ )∋! #ΑΩ )∗ ∃ Χ∗)! ∋∋
8 )2 ∋ Ε)5 +∗∀) 25 )∋ ( ∗∗)? Α∗ 2Ε )∀ 5 ∋2∀ Χ ∋∋
)∋ ) 3
)∆∋ Χ∗)65 Α∗ ( ∋∗ ∀5 ∗ ∋∗)
Η∋ ∋∗) Ε5 4Ε Α∗ Χ∗)
Χ ) Ε3 % ) ∗ )∋! )5
Κ ∋65 ∋)5 ∗ ! ∋) ) Α∗
∗ Ε (∋3
Α∗ ∋ + .∗ &∗) # ∋ )
∋∋ ∗(∋ 5 )) ) ∗)?!3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 30/98
! +∗) 3=77 Ε Α∗ Χ ∋ 8>≅ (∋
<=3<><3 Κ ∋∋ = 873
∀ Α∗ ! ∋ ∋2∀ ∀ 8> 8>8= ∋∋ 8
)2!5 Α∗ Ε ∗ ∋∗) )2 ∀ ∀5 Α∗
∋ ! +∗) ∋2∀∗ >]3 Α∗ ( Χ)∋ ∀ Α∗
Ε ∋ ∗ ∆5 # Α∗ ( ∋∗
Ε ∀ 3 , Α∗ ∋ (∋∗) #∗− ∗ Κ∋)
∋∋ ) ∋ )∗ ∋)Φ ∀ ∗25 ( ∋∋5
& Γ5 ) %ϑ 5 ) Γ∋)5 & ∋ &∗5 ∀)
5 ) 5 ! +5 +) 5 + %)5 ∀) +5
Ε !5 4 &5 + &5 &∋ %25 # ∋25 5 ! )∀∗ Α∗ # Α∗ ∋2∋
(∋ (∋∗)3
#∋∗) ! ( ∋) ∋∋ ∀?!
∋) Α∗ ∋ ∀6 ) ∗)
∋6 ∋ ∋Ν∋ (∋5 Α∗ ∋ ∗)?!
∗? Η∋ # ! +∗)5 + )∀3 1(
∗∗ #∗Ε ) ∋) ∋) ! ) ∆5 #∋∗) ∋ ∋−∋) ∗)5 Χ) 2
+∗∀) ∗ &(Χ∋ Α∗ #)∗∋∗ )∗∋Ε
⊥3
+ ?6 ( ) ∋∋∆∋ ∀ Α∗ )
∋ %5 ∀?! ∋) ! ∋2∀∗ )
( ∋) ∗ #)∗ϑ∋ ∗?3 & ∋
)∀∗ ∀ ∋ #Ε Γ 1? %5 # (∋∗) ΜΜ5 8>8≅ ∀ ∀) Α∗ )∗ Ε ∋∀ )2
))5 ∋2 ∀ ∋) 5 Χ∗)!
)2 )! ∋∗ Α∗5 Α∗ ) (
∋) )∗∋Ε Α∗ #3 5 ∋
%5 Α∗ ∋ ∋ Α∗ ∗)?! ∀?! ∋)
4 ∋∗) ∗ ∋) ∋,)∋5 ∋∋) ) ∃ )∗ Ε
)∋)3 Ε5 ∋ 5 #Ε ∋5 ! ∀
∋∀ ∋)5 Α∗ ∗ Ε∀ ∆∋ 5
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 31/98
∀ ∗ ∋5 ∗∋ ∋) )∀ Α∗ ∗∋)? ∋
∗ .Κ) ∀3
∗ ∋) Α∗ ∋ )5 ) ∀4
) 5 Χ)∋ ∀∗ ∗ ∀?! ∗Ν
)2 ∋ )∗∋Ε3 8>8 ∗− ∀
∗)?! ∋)Φ #)2 + Κ)∋ ; Γ∋
∀?∗ ∗ ∋∀ Ε #∋2 Α∗ ∗∗ Ε ∀?6 )2
∗? Η∋ #)∗ϑ∋3 5 ∗ ∋Ε ∋)
∗ Α∗ ∋5 # ∗ ∋∗) ∀?! ∗ ∋)
) 3 5 (∀ , ∀2∗ ! )∀∗
∋) #)5 ∋) #∗∋) Κ)∋ )2 3 Γ∋Ε ) 5 Α∗ ! ∀ ∋∀∗
∋) )5 ∋ #∋ ∗) )∆∋5 Α∗
∋) ) ( 243
1( 8>8 # ∋5 ! +∗)5 ∀ +∗) ∀! ∋
% 5 ∋ Α∗ ∋)3 )∀5 4∗ ∋
∋5 )? )2 ∋ ∗! Ε∋
∋∗ 3 ∋! Α∗ #? )∗ ∋5 4∗ ∋ ∋ #)#∋! ∀ϑ )∆∋ ∗ )∗∀∗(5 Α∗
) ∋ ∋3 ∋) #
! 4 ∋ ) Α∗ )∗ )3
∋∀ ∗ &Ε ; ς %∀ Ε
) Α∗ ∗∗ 8>8=5 5 ∋# ∋Ε
)∗∋Ε ∋) ) ∆ 8ς %∀5 ∗ ∗ )!
∃ Ε3 88≅ )∀ Ε Φ 5 ! +∗)5&5 ?5 +Ε5 )∀ ∗ )∀! . ∗) ΠΑ∗
∋)∗∆ + )∀5 + Γ∗5 +) ∀(5 ∋ ! (
&5 . %ΧΘ3 ∋6 ∋− ∋! ∋∗ ∗)?!
∗ ∀ ∀ )Ε5 − ! 3
Γ ( 6 ∋ ∗)?! #,∗) ∗∋Ε∋ ∋∋
∗ ∋5 # ∋∗ # ∋ Ε
∗5 ∋ ∗ ∋∆∋ ∃ ∀4 %,)∋ ∗ #ϑ∋ ∗
)25 ∋ ∋! Ι∋ ∋,)∋ Α∗ ! ∋) Ι3 + # #
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 32/98
∗ ! # ∀ ) ∋)5
∗ ∀− ∋ ∋) ∀∗3
)∗ ) +? ∗ ∋ ∀∗5 5
#6 ∗6 )25 ∋) ( Α∗
∋) (∋5 ∋∗ ∀4 Ε5 2 ∗ ∗
)∗∋Ε ∋)3 ∋∋)∗! Χ (∀ !
Ε 5 ∋∗)∗) Α∗ ∗? ∋!
∋)5 ∋#ϑ∋5 6 ∋)5 ∀ Ε∋
Α∗)Α∗ ∋∋ ∋3
% #)∀ + .∗ &∗)5 )∗− ∋ ∋Ν∋5
∋ ) #∋− )∗ Ε3 ∗) # ∗ !5 ∋65 6 5 #∋2 ∋ ) 43
8>87 % ∗ ∋ )? ∗ %∀ ∋)
+?5 Α∗ ∋∋?∗ 8 8: ∗∗ 5 ∋ ∋!
)∀ Ε ∀6 +∆5 ∋ 25 +∗∀)
∀5 ∗! ∋) ∋ ∀ ∋
.∗3 #) # ∗ ! Φ
Ι333 ) ∋ ∋#) ∋∋?− Ε 4∗ ∋∆ Ε∋ ∗6 )∀5 ) ∗ ∋5 ∗∋Ε∋ ∗ ∋Ε∋ Α∗ ∋ ∋)5 )5 #∗∋) ∋)∋)5 ∋)∗ 5 5 ∋∗4 #∗! ∋ ∗ 2∗ ∀∗) #303
ΙΧ ∀∗3 ) )2 ∗3 )∗! ∋)03
8>8≅ ∋ Ε )5 Α∗ )
)∗ ∋ ∋ ∆5 Α∗ ) ∋) )∗! ∗ Α∗ ∀
) ∗ Ε ∋)5 Α∗ ) (∋
∀∗ Α∗∆∋ ∀ϑ∋ Α∗ ∋ ∗ #∗ ∋ ∋)
∗Ν #∋)5 ∗ )5 ∗ #∋? 5 ∗5 ∋)
) ∋∗5 ∗ ) Α∗ ) ∗)∀ ∗
, ∋)! ∗ (∋3
#6 8ς & ∋2 ∋ ∋ ∃)∗ ∋ ∀∗ ∋∗ 3 4∗25 ϑΧ ! +∗) ∋∋ ∗
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 33/98
∀ ∗ ))5 Α∗ ∋∗ ! ) 3 !
! #Α∗∋∗ ∀5 ) ∋Ε5 ∀)?∗− ∋)?∗−5 ∋−
6 ∀ #Ε∋ ∋3 ∀ #∋2∗ ∀?6
Ε ∗∗ Κ 63 ∗ ! # ∗
Ε3 ∀∗ ∗ ) Ε ∋
3 )2 )? ∗ ∋∆∋ ∗
∀ ! +∗)5 ∗ )2 3
#∗) Ε ∋∋∗ ∗ #!5 Α∗ ∗)∗
∋# )∀ ∋) ∋ ∋5 )∀∗ )26 )∆∋ ∋∗−
5 ∋Ε ∃ ∋∋! Χ(∋3 1(
∀∗? ∋#)5 ( Α∗ ?( ∆5 Α∗ )∗ ∗ ∋3 Γ! Ε ∋)∗ ∗ ) )∀∗
∋ ∋)− ∀3 Χ! ∋
6 # ∋ ∋ 4 ∗)
Α∗ ∗ ) ∗ ∋∋), ∋#∋ ∗!3
Χ∀ϑ∋ Ε ∀ 5 ∋ ∀ ∋)∗
) 3 ∋! Ε ∗− ∗ ∋∆∋ )?
∀ %∋,3 5 Α∗ ∗ ∗ )
∋) (∋5 ∗− Ε ∀65 . ∗)5
#Ε & ) ∋# ∋ Χ(∋5 ( &5 +Ε5
)∀ +∆5 ∋)∗ #) )) Π%Θ ∋ 4Ε #)
3
% ∋)! ∀∗ ) ∃ )25 ∗∗ 8>8≅5 #
) Χ∋! Α∗ ∋∗ 6 6 ) Ε3& ∋6 #∆∋ ∋∗5 5 Γ1 9 ! Ε
ΓΕ∋ 1∋ 9 Α∗ ∗ ) ∋) ∋)
∀∗3 1( ∋∗ ∗ ∋ 4 )Ε
! +∗)5 5 Α∗ ∗ 8>8≅ 8>785 ∋ Ε ∗63
∆∋ Α∗ ∋2∀ Ε )∗!
∗5 #∋− ∋ ∗ ∗ ∋) #∗ )Ε3 ∋Ε ∗−
∀? 5 ∋∗! ) ∋5 ∋# )5
Α∗5 ∗ Ε ∋) ∋−
∋)3 ) ∋ ∗ ∗− )5
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 34/98
Ε 4Ε5 8>75 2 2 ∋! #∗
)∗∋Ε ∗5 # Α∗ #?5 8>85 )∗∋Ε
Χ∋3 #∗ # ∋2 ( [Ζ5 # Α∗ ∗5
Α∗ ∗ Χ) ∗ ∋) ( ∃ Α∗ ∋?3
)5 8>8< # ∋ ) ∀ϑ∋ ) Χ∋!5 Α∗5
# ∋ ) Ε ∋ ∗)∋ 8ς 3
5 ∗ ∋∆∋5 # 6 # ? )
+ ∗ /∗ )∗ ∋ ∋) 031(
5 ! +∗) . ∗) ∋ ∋6 Κ)∋5 )
! )∀)3
∀ # ∋ ,5 Α∗ ∗)∗ ) ∋# ∋ # Χ(∋5 #∋ ! ) ∃
)∗ )25 Α∗ ! ∗ Α∗ )∆∋ ϑ )2 #
∗ ∗3 )ϑ∋ 2 ∋ ! %5
)∋ #∀ Ε ∀5 ∋∗ #3
& ∀ ∗∋) 5 #) 5 Α∗
# ∀#∋ ∋) )∗∋Ε3 ∀
ϑΧ #− ) ) 5 ,5 &∀( +,)3 +)) # ∋∗) ∗ ) ∗∋)5 Α∗ %) ϑ∋
.∗5 , ) ∀∗5 )∀∋ )∆∋5 )( ∋ )∗?3
&# # ∗∆ Α∗( ) ) Α∗ )?
∋ 3 5 #∗∗− ∗ #)! )∋) Α∗
∗ ∋ ! ) 5 ∋∗) 3
& ∋∗ ∋∋! )2 4∗ ∃ )∀∋ ! %,! Α∗
# ) 3 ! ) Α∗ ∀∗∗ ! ∋∀∗∗ ∋∗
∀ Α∗ 2 ) ∀ Κ ∋ ∀!3
1)2 ∋∗) 6 ) # 5 Α∗
∗ ∗ )! 3
8 ) Α∗ ∗∋ & 8>8>5 ?
) 5 ∗ 2Ε ∆5
∋) ∋∗! 5 Α∗ ∋#) ∋ Ι∀
∀Ι5 ∗ ) ∀,∀∋ ∋) ∃ Χ#3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 35/98
∗ ∋ ∗ ) . .∗3 &)26
# Χ ∋) )∗! ∋ ∗ ∋) )25 Α∗ ∀
) ∋) ∀ (∋∗) ΜΜ )∗ ∗ ∋#∋ Κ)
∋) 3 ∗ Κ
)2 2 ∗ )2 ∗∋Ε∋5 ∋ Α∗
)∗! ∋) 5 Α∗ )? ( Α∗ ∋∗ Χϑ∋
%∗ + ! ∗ ∋)5 Α∗ ) ( !
∀Ε )∗∋Ε ∋3
8>8>5 ∗))∋− #6 )∗! ∗ Α∗
∋2∀ ( ∀ 5 ( ( ∋Η
Ε ∋) ∗)? ( Χ) )23 Χ) ∀?6 ) ∋5 ! ∋ ! Α∗5
∋Ε ∗ # )?! ∋) )Ε3
∋∗ #∗ ) Α∗5 Α∗)Α∗ )∀! ∋ +%
#∗ 8>5 2 ∀) ∗ 4 Α∗ ∗ # )Ε
∀?!3 8ς &5 ∋Χ5 # ∗∆ ∗ Χ ∀ ∗2
;() ∀5 0 !∀ #5 Α∗ # ∀
∋∗ ΕΑ∗∋ ! Ζ∗ [Ζ5 2∗ )! ∋ ) Α∗ ∋ # Κ3
Ε5 ∋∗5 ∋Χ )5 ) ∗
)∗ ∗ )Ε5 < 2 )25 ∀∗) )Ε
2 ∗)25 ∋ ∋∗ )∗∀∗(3 ∀ ∋)6
! +∗)5 Α∗ )2 ∀Κ∋2 ∋ 5 ∋
! ∀5 # 3 5 ∋ ∋∗!
∋) ∋∗ ∃ < 25 ∋∀∗ Α∗ ∋ # ∋∗3 Γ∋ ∗! )#! )∗ ∗ ? ∀ ∗∗ ) Χ∗)
)5 ∋ .∀ 5 ∋Ε) Α∗ ) Α∗ ∗∗ +Ε
! +∗)5 Ε) 8>75 )Ε3
& ! # , ( ! Α∗ ∋) ∀5 ∀4
#∋∗ ∗ ∀ )2 # ∗ ∋) ∋,)∋5
#∋ ∋∋)! ∋∗∗ ∋! )25
∗ ) )∀ ∋ ) Η 4∗ 3
∋) ∗Ν )?∗ ∗ =ς %∀ 5 )
8>5 88 3 #∗ )∗ ) < 25
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 37/98
Ε3 + ∗ )5
#∋∗− !5 Α∗ # ∋ ∀ ∗ 3 )( ∋
∆5 ∗ ∋ ∋∋! Α∗5 Χ
∆5 ∋ ) Ε5 ∗ ) ∆ 3 + ∗
)5 ∋∗)6 ∋! ∗ + %∗5 ∋∗) ∃ ∋)
%∗5 ∋∗ #∗ # 6 Ε )3
+ %∗ # #)? ∗ ∗! &
8>5 ∗ #∗5 Χ∋ ∗5 ) Α∗3
∀?! ∋∗∆ ) ) ∆5 ∋ ∗ ∗
∃ 8 ∋6 ! ∃ ∋) %∗5 ( ∋2 1∋
∋)5 Α∗ 2 #∗ &∋∗ 8>8>3 5 ∗ #∗ )∀ ∗ ∋2∋ #∗ ) 5 5
Χ3 ! 5 ) ∋) ,∋ ∀∗
∀) +5 # #∋! ∋ 4 Α∗5 ∋)∋
ϑ# ∀ϑ∋ Ε∋3
1 Χ ∆ # ∗ Χ! ∋
Α∗5 4 ∋∗ ∗! ∋) 3
∗) ∋Α∗ ) Ε Α∗5 Α∗∗ ∀Η∋ ) ∋∆ Χ−) Α∗ ∋
∋ Χ 2Χ ∗Χ∗∀ ! Ε ∗3
(∋ Ε !5 ∗ Α∗ Α∗ ∋
∋∗5 #− Χ ΕΧ Α∗ ∋∀∗∗ # Α∗
∀) + )2 ∗ ∗∋ ) #∋ϑ3 )ϑ∋
Α∗ ∋∗ ∋∗∗− Α∗ 4) ∗)∀∗ 6
.) )Χ Ζ5 ∋2∋ ) Α∗ ∀ ∗5∋∋ ∋2 ∀∗ ) ∀ ∋∗3
& 6 ! 2 ∋∗ Ε ∗
)∗ ∋Ν∋ ∗ ∀ ) ∋)5
∋ Α∗ ∋∗ ∗ ∋ Α∗ ) ∋∋ ?5
∋ ∃ 3 ∀#∋ ∋)
Ε Α∗ ∗ ( ) 4∗ −∋5 8>≅3
+ )∀5 ) Γ! Ε ∗ )2
,5 ) Α∗5 ∗ ! ) ∋∋ ) Κ)∋
)23 & ∋ ∋) 5 ∀?! Ε
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 38/98
∀6 # ∋ %∗Ε &∗5 Ε ∋
∗)∋ ∗ # # ! ∋−∋)5 ∋∋ ∋∗
) ∗ ) ∋ ∃ )∆∋ +3 # #
∗? ) 4) ! +∗)5 > ∀ 8>3
)Ε ∗ ) ! ∋∋ ) ∋ ∀5
∗ ∋2∋ )∗∋Ε5 Χ−Α∗5 # Κ Α∗ Α∗
∋) ∋ ∋∗3 ∋∋ ∋∋ ∗ Α∗ ) ∃
!5 ! ∗ )∗∋Ε ∗ Α∗ ∋ !
)3 ∋∋ [ Α∗ & 8 Χ(∋ )2
1ΖΞ ∗ )2 )2 Α∗
)5 Α∗ ∋Ζ ∋Η 4Ε ∗∋ )∗! ! ∗ ∗∋∋ ∗∋Ε∋3
∋∆∋ ) ∋−∋) ! ∗ Α∗ ∗
45 Α∗ 5 ∋∗ ∋)2 )∗ &Χ5 )
[Ζ5 &)5 .Ζ5 ?∋2 ∴3 ∗ Α∗ 5 + )∀5
ϑ ∗)∋ Χ Α∗ ∀) +5 ∗
! Α∗ ( )Ε # ∋∗3 Β∗
(∋ Α∗ )( )2 # #6 ! Κ5 5 ∗ ∋∋
∋# ∗6 ∋3
Ε !5 Α∗5 ∗)∋∗ ∗ ) &/ ∃
∋∋)! Ε5 ) Ι+? ,5 ∀∗ 2Ι3 4
∆)5 4Ε Α∗ )∗ ) ∀6 #∆∋5 ∋ ∋∗
8 & 8>=3 Ψ ∋Χ ∋#) Α∗ + %∗ ∋ ∗
)∆∋ ∋Α∗ ∋5 ( ∋∗! ∋2 ∗5 Κ) ∋5 ∋! ∋6 Ε Α∗ ! ∋∀∗ #)∗∋3
)∆∋ Α∗ (∀ ∋) ∋∗5
∗) ∋∋! ) Α∗ Ι )∆∋ ∋) ∋) Ε (
∋ )∆∋ ∗∀∗ ∋) ΕΙ5 Α∗ Ι ∋∋ϑ∋ )∆∋ ∋)
! ) Ε ! Χ # )6 6
Ε05 ∋ #∗ ) 0 (/ 3 ∗! ∋)
∗ ∋∋ ∋5 ! ∋∗ Α∗ Χ)∋ ∗?
)∗∋Ε ∋) ∋−∋)5 ( #∋ ∋ ∗
Α∗ ∗∀∗ϑ5 ∀∗ Χ (∋∗) ΜΜ5 ∋) ∋
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 39/98
∋∗∆) ∋)3 ) ?∗ )∋∗ Ε∋5
∗5 ∗ (∀ #! ∋ ∋ !
∋∗5 #∋ ∋ Κ∋ ∀∗ ∋∋ )23
) Ι + %∗5 ∗5 ∗ ? Α∗
#∋∗)5 ∋2∀∗ ∗) Ο ∗ ∋ Α∗
5 ∋∗ Ι∗Ι ∋ ∗ ∋)Ι
∗ ) ∗ ∋)∋ 3
∀∗ #∋) ∋ ∗ (∋ ∋∆∋ ∋
∋Ν∋ # !5 , # ∋∗ ∋ 3 !
Ε %∗! %) ∋∗∗ ∗)∋ ∋∗ ∋
∋ . ∗)5 ∋∗ ∋ ∗ ∋2∋ )Α∗ Γ∋ [ #∗ Γ! Ε5
Γ! ∗ ∗ ∋∗∋ ∋)Κ3
( ∗ ) ∋∗ Ε
∗ ∗ , #)3 ∀ 8>= ∋ Χ∗)6 ∋2∋
)5 Α∗ Χ−Α∗ ∋ Ν %)5 Α∗ 5 ∀)
+5 Χ ∋ Ν∋ ∗∗ ; Γ 5 ∋∗
Ι∀ )333Ι3 & ∀)Η∋ ∗5 ) . ∗) ∋ +
∗)∋5 ∋ ∗ ∋)∗ 4) 5 (+, Π87−−Θ3
#? Α∗ )∗ )2 &∗∆∋
∋ ? 3 ∗5 5 Χ− .Κ) ∀_
8ς & # ∗)∀ Ε ∋∆∋
∋5 ∗ ) ) ) 1 9 )5 )Ε Κ3 &
∗ ∋∋ ∋ ∋ ! +∗)5 )∗! 7 4∗)25Α∗ ) ∀ ∋3 ∋)5 Α∗ 2
# ) ! ∗ ∀ ∗ 5 ∗ ! Κ)∋
# ∀)5 ∋2∀ )∋ ∋ ∋ ∀) 5
∋∗! ∗ )2! ∋) Ε5 Α∗ ∗∆
)∗ ∋ ∋)3 % ∀) ∋∗∗ ! #?
3 ! Α∗ ∀∗∗ ∗ ∋ ) Ε5 # ∗∆
∋5 ∗)∋65 ∗ ∋ )
Ε Α∗ # %)Ν +) %))Η5 Α∗5 ∆
∗5 ) ∋5 + &5 3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 40/98
Ε , )2 ∀Κ∋2 ∋∀∗ )
∗ ∋ ∋ )5 4Ε Α∗ # ∋∋
∗)2 ! +∗)3 + ?! ∗ )? ∗ =ς %∀5 ≅
∗∗5 # ∗ Ι, )Ε5 ) ∋
)∆∋Ι5 ! 15 ∀? ) ∋−∋) )
8>5 ∗ ! ) 3 %! +,−+ #∗
∋∀ Α∗ Χ 7 )Ε 3 Α∗ ∋ ∃
) ) +% (∋5 ∀∗ , ∋∗3
8>7 +%5 5 ∀?∗ ∗ ∋)∀! ∋∋ ∃ )6
∗∋ 5 ∋ ∋ )∗ Ε )5 =
3 Α∗ ! ∗ + ∋ %ϑ ∀?!5 ∀?! #∋! ∋5 Α∗ ∗ ∗ ∋! ∗ ∋)
Ε ,5 %.15 Α∗ ) ∀ ∋∗ ∀) +
Ι∗ ∋ϑ ∀?! ∋∗4 ∋ )) ) )
%∀ +333Ι +) Α∗ (∀ %∀
%Φ Ι ∋∗ #∋6 ∋ ∋ϑ #Ε∋5
Α∗ ( ) #)∗ϑ∋ Ε5 ∀ ∗
∋ ∃ ! +03 =ς %∀ Ε . ∗) #6 ) )2 Α∗ )! Γ∋ [5
∀∗6 Κ Α∗ ∗ ∋ )∗∋Ε5 ∋
)ϑ∋ ∋ ? ∋∗3
∋∋ ∀ϑ∋5 ∋ )∀∗
∋∋ ϑ∋ ∗! #∆∋)5 ∀4 ∀ )2
)∗5 #6 ∋6 8ς 3 ∀? 6 )5
∋ Α∗ ∗ ! +∗) ∀ ≅5 Α∗ ∋∋ ?)∗ Κ )2 ∃ ∗3
8>< Α∗ 5 ∀ ∋) +%5 # # ∀
)∆∋ ∋Ε +5 ∗)∋ ! ∋∗ Α∗ ∋∆∋3
) #Φ Ι ∋ ∗) ) ! + Π∀ !
5 ! ∋ )Ε Α∗ 4∗)∀ Ι ΙΘ5 Α∗
? ∃ Α∗! ∋)5 )( ∋− ∆∋∗)5 ! ! )5 )
∃ 4 ! Ε5 5 ) ∋Ε5 , ! )
#∋ ∋∗Ε3 Π3333Θ ! ! ∋ ∋25 ?Φ
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 41/98
/ Α∗ 6 4Ε 4Ε5 ( #! %.15 #6 )∋5 ∋35Α∗∋ ∋ ) ∋5 ! ) #5 ∋ #)? # ∋)03
∋ ∋2∋ Α∗ ( ∋# ∗∋∗ ∋∗ =Φ Ι ∋! ∗) ∋ ) ∀−
%.1 Α∗ +% ∋ )∗∋Ε Π− +Θ 2
,) Ε5 5 ?− ! 2Ε ! ∗ %.15 Ι Π333Θ
Ι ∗ )∗! ∋ Α∗ Ε ∋) )∗∋Ε Π
∋∗Θ ∗ 6 ,) ∗ )
Ε ! +∗)Ι 4Ε Α∗ ∗ #)∗ϑ∋ Ι! ∋ ! ∋)
#) 03 12 3 ∋ ς 83 Ε . ∗) ∋∀∗∗ ∗ Η∋
∋ϑ∋ (∋ ∋5 )? ∗ ς %∀ 8>≅5 Α∗ Κ)
∋∀ Ε ∋−∋)3 ∋∆ Α∗ ∋∗
# ∋ ∋ ∀Κ∋2 )Ε5 ! ∋∀∗ ∋∗
∗ #)∗ϑ∋ )3
∀∗ ∋∗ ∋)∆ ∋) ∗Ν5 +
%∗ ∗ %.1 4Ε 2 ∋Α∗ 6 5 Α∗ !
+∗) #∋∗) !3 ( Χ) ! !
1)2 ∀25 ∗ ∀?6 ∋ ! +∗)5 Α∗
∗)∋∗ ∗ ∋∗∋ Α∗ ∋) ! ∋2∋ %.15 # ∗ #
∋ Γ! Ε ! +∗) Π∋−∋)Θ3 %∋ %.1 ∋
Ι! ∗ + )∆∋ )5 Α∗ Α∗ ∗∀ ∃ Ε∀∗ ∃ ∋∗
)2Ι3 ∋∗ #∋ ∀ Α∗ Ι
)2 ! ∋ )6 Γ+Ι +% ∋
∋∗3
∋ ∗Ν ) ∗ ∋2 ∋ ∋∋
#ϑ∋ ∀ ∋5 ∋∗ ) ∋)?! ∗!
∋ )25 )∋)3 ∗ Α∗ ∋∗∗
∀∗ (−∗5 Α∗ ∋ ∋∗) ! ∃ # )
)2 Α∗ ∋ 3
∀?6 ∋−∋) ∗ #
∗#∋! ϑ∋ ∋ ϑ ( Ε∀ 4) Π! +∗)Θ5
#? 2, ∀?! ∋) Χ6 ∀?!
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 42/98
%3 # # ) &/ Π+ )∀Θ Α∗5 8>==5 )
∃ ∗! )2 ∋∆ %#! Ε )3
∋−∋) ∗
∋∀ϑ∋ Κ)) Α∗3 Β∗ )2 Χ)∋∗ ∗! # ) 5
∗ Χ−Ε ∋−∋)5 ∀ ∀∗Φ
Ι #∗! +% ! )? ∗ )( Α∗ ! ∋ ∋∗! () ∗ ? )ϑ∋333 + (∋ ∗ ) 4Ε2 Χ∗) ) ∀ Ε∋ + ∗ 5 Α∗ ∋∗ ∀ϑ∋ Α∗ 2 ∗ )2 5 #Α∗∋ ∋) ϑ∋Ε3 Γ5 ∋2∋5 ∋∋ ∋ 4 #Α∗ ∋ ∋∀ )5 ∋∗ ∗ ∗
#Α∗∋ ∗) ∋−∋)5 )∆∋ )5) #5 ∋∋ ∗ ∋∋5 ∋2 ∋ ∋ #∋ ∋ ) 8>=03
∋∗ ∋)5 ∋∗
∀2 #)∗ϑ∋ ∀?6 )25 Ο
8>= ! 2 ) )3 Κ∋ ∗) # # ∃
! #∋) Ε ∋) ∋ ( ! ! 2
∋3 , Α∗ Ι ∀∗ ∋∋ ∋) Ε5
) # ∗ ∀?! ∋)Ι5 8>> 8>=5 Ι∀?∗−
#∋)∗ ∗) ∀ϑ∋ Ι5 ∀∗ ∀ ∋∗ Ε
!3
+ %∗ , ∋∀∗ ∗ Α∗ #∗)!
)∆∋ # 8>=75 Α∗ ∀∗ ) ∋) ΠΘ )
∋Ε∋ ∗? %) +5 Α∗ ∋∀∀∗ )∀ ∋ )∗ ∋
∀ ∗Ε ∀ 5 ∋)∗5 ∋−∋)3
#∋2 5 ∀) ∋∗) ) +
%∗ /Α∗ ∗?∗5 Α∗ ∋∋ ∋)5 ∗ ) )5 ∗
ΙΑ∗)Ι Α∗5 Α∗ ∋! ∗) Ε ∗ ∋ ∋
Χ∋! ∋) )Ι ∀∗ ) &∋2) ∴Ξ5 ∋∗ # 2,∋
Ε ∀?! ∋)3
! )∆∋ . ∀5 ∋2 Α∗ )∀)
∋5 Α∗ ∀∗) ) ) #∋5 ! Χ
∋) ∗Ν ∃ ∗ Ε∋ ! 3 )2 ∋−
∋)5 ∀ ∀ ∗∗ ∋ Ι∋∗−
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 43/98
( ∀ #∋) ∋ Α∗ ∀Ι Π? !Θ5 Α∗ #
)Ε ∋)3
∋ ∀5 ∋ ∗ ! ∗ ∋)5
∋ ∋ ∗ )5 ∋∗ − Α∗
∋−∋) 2 ∗)∀ Ε5 ∋ ∋ ∋)
∗ Ε∋ ! ∗3 + ∗ ) ∗
∋ Ι Ι ) ∋2∋ )∀)! )2 )∀∗
4 ∋Α∗ Α∗ 2 )∋ (∋
(∋∗) ∗ )∗ ∋3 ∋∋ ∀5 !
∗) +, ∋−∋)
(∋ ∗ Γ! Ε ∀) ∀ ΠΓΘ3+ ∗ ) ∃ ∗)?! Α∗ ∋)∗ (∋ ∗Χ
∋ Κ ∋∀ !−− )5
∋) # ( ! )∗ ∋) ∋ #4
∋ (∋∗)3 ∋) ∋) )2 ∋) )∀3
% #∗ ? !Φ
Ι ) ) ∋ #∋∗ ∋ Χ )5 4Ε Α∗ )∗ ∋)?! ∗#∋!5)? )∆∋ ∋∗! )∗∀ ∋2 ∗∋∋333 ! ∋∋ )∋ ∗! ∗ Α∗ )2 # ∀∋ 45∗ ? Α∗ # # ) , 3 ∗∋ ∋)∗?−)2 Π )Θ Ε ∋!5 )−)2 ∋∋− ∋2 )∋ ∗ 2∋∋) ∋)Ι3
) ∋) #∋∗ ∀ϑ∋ ∗ ∗∋∋ ∋)
∋∗ ∋6 Α∗ ∋) ∗ ∗ )∆∋5 !
6 ∋ Α∗ ∋∗ ( ∆ Χ5 Ι∋ !
#∋∗ ∗ )! ∋ ∋)5 #ϑ∋ ∗ ∋
∀ Ι Π? !Θ3
∗)?! Ε # ) ∀5 )
5 )5 ∋∗ Α∗ ∗∗ ∗ ) Ι∀Ι5 ∋∋ Α∗
) ∀?! ∋) ∃ ∗ (∀ )∆∋5 ∀ ∗∀
∋∋∗5 8>75 Α∗ ∗ ∋∗5 ∗? %) + )∗ ∃ ∋)!
Ε ∋ 6 ∋ ∀Φ
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 44/98
ΙΨ ( ∗ ∀?6 ∋ Α∗ ∋) Ε Ε 4∗ ∀ 6 ∋ )∗6 )∆∋5 Ε #∋ ∀ ) ∋Ν∋33303
∗ Ε 2 # ∗ ( ) )3 ∆ , # ∋ )∀∗ )∗ ∃ )
∗∋∋ ∋3 ) ∋−∋)5 #)
5 ∋−5 ∆5 #∗) ∃ ∀ ∋∆#∋ (
Α∗ 9 ∗∋ Χ ∋) 2 ∋∗! % 9
( )Ε ∋ ∋∗)∗ ∋) Α∗ ( ∃ ∗
) Α∗ )∗ ∋ )ϑ∋ :3
1∆ Α∗ ) ≅5 Α∗ # Α∗ Η ∗ ∋) ∗Ν # )∗ % +∗)3 −5 !5 ∗
∋∋) ∋) ) Α∗5 5 ∀ ! )Ε ∋
(∋∗) #! ∗ )2 ∋∋ ),∀∋ )∆
# ! Χ−) Α∗ 2 ∋ ∋
Α∗ Ι∋)Ι ∋∗2 ∗ 3 ! 2
?! Α∗ ∋) 2 ∋5 ∗ ∋Χ ∋) Α∗
∋)Χ Α∗ ∋ (∋∗)5 ∋2 ∗−
∀?!5 ∗ ! ∋) ∋) !5 ∗∋
?! ∋3 ;4 ∋ ∋) ∋2 ∋)2 ) ∀
∋5 ( ( Α∗ )2 Α∗5 # Α∗
∀∗? Χ)!5 ∀ Χ∋)∗! ∋)3 )∀ (∋5 ∋)
∋∗ ∆ ∗ ∗ +∆5
∋) ) )∗ ∋ ∗ ∗ )∗ ∀#∋ ∃
∗ ) ∋3
∗ ∗5 ∗ Α∗ ∋5
Γ6 %#6 ∗ ∗ #∗
Ε) ∋∋ (∀ ∋) ) ∗ ∗5 Α∗ Α∗
) ∀∗ ∋∗! ∋ϑ∋ #∋! ∗ !
%! ς <≅ 3313 )ϑ∋ ∋)∋ ! ∗ ∋)
) ∋5 Α∗ )∗ ) ∗ ) ∋5 )
#∋! %! ς <≅5 ∃ Α∗)5 #∋ ) %∀5 ) !
∋) )23
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 45/98
%! ς <≅ 3 3 135 8>< =8α ! %#ϑ∋
∋) 1)25 )? ! Γ∋∋5 %)#,5 )∋5
∀ =ς ≅ς5 ∋∆ ∗ ∋) (∋3 5
24 )∋Ε) ∀ ς5 Α∗ ∋ ) ∗∀ Ε ∋5
#6 ∋#6 ∋∀ #)5 ∋
5 5 5 5 )∀!3 ∀#∋ Α∗ ∋∋
) ∀ ∋! ( #∗ ∋∆ ))
∋Ν∋5 (5 # ∋ , ∗?! 2 ∋Ν∋5
#)∋ ∋!3 ∗ ∋∋! ∋∗) ∗)∋)
)∆∋ ! ∋ ∋Ε ∋)5 ∋ 2∀
1∗ )∀∗ ∗ ∆ )5 # )∋ ! ∋5 Α∗ ∋ =8α
! %#ϑ∋ ∋) 1)25 ∗ ) ∗
)25 Α∗ ∗ #) Χ ∋3
5 ∀ ) ( ∗5 ∗ # ∀#∋
∗∋3 +5 − ∀ Α∗ ∋ ∗ ∋Ε∋
∋) #)∋∗− 6 ) Χ∋∗5
∀ )5 )∋ ∗ ) ∋) )! &( 1)23 +5 )( ∋) %∗5 8>><5 #∋∗
∋) ) ∀ <ς ∋ ∗ ) ∋5 !
)∀ # ∗ ∋ )3
∋ Α∗5 )∀ ∋ ∋∗5 2∗
∀∋6 ∋ Α∗ #5 ∗ )5 ∗∋ ∗!
#∋ ∋) 5 ∗5 )∗) ! ∀ ∋∗6
#∋ ∗! ∗∗ ∋)3 Γ∗ #∋∗ ∋) )∗) )5 ∃ ∗ ∆ ∗∋∆5 ∋ )!
∋∗! ∋#5 # ) ∋∀ )( ∀)3
∗ # ) ∋ (∋ # ∃ !
∀∗ Α∗ ∋∗2 ∗ ∋)5 ( %%15
∋ ∗ ∋#!5 )? 24 ∋∋ ∋
)2 ∋ ∗ )∆∋3
∗ ) ∋∗)6 ∋ 5 ∋ ∃
∋! ∋5 )∀∗ ∋ ) 3313 Ε = )
8>>85 ( ∀ ς 8<>5 ! %)) %∀
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 46/98
∋)5 ∗ 4 ) Α∗ ∗2 ∋) )6 ∋) )2
Α∗5 ! ∀∗) ∀?! ∋)5 # !
∀Ε∋ ) )∗) ( ∋∗∋)5 Α∗
#∋! ∋! ς <≅ 13
8>>=5 Α∗ 4Ε ∋ ∋ !
∋∗∋)5 ∋ ∋∋ #6 )∀∗ ) ∋ ,−
#∋! %! <≅ 33135 ∋∗) ∋ ∗ ∗ϑ∋ ∋4∗
∋ 3313 ∋ ! Γ∋5 8>>3
)∀ Κ) 5 ∋) 8><>5 Ε 4
ϑ 5 ∀?! ∋) ) ∋)
∀ ∋∋ ∋∀ #)5 Α∗ Κ ∋ 24Χ3
% ( ∆) ∋5 ) ∗) ∋) (
Α∗ ∋ ∗ ∗5 Α∗ ∀ϑ∋ ∋)
∀?6 )2 ? 4∗∆? ∃ ∗ ∀?!5 Α∗ !
Χ)Φ ! . ∋5 ∗ !5
# ∋ ∀5 ∋! ∋5 #∋)?!
Χ∀ϑ∋ ∗∋Ε∋ &( 1)2 ∋ ∋3 ∀ 8>>75 ) )∗) ∋) ∃ 5 ?
5 ( ∋ )5 Α∗5 ∗∋ ∋!
<≅ 33135 Α∗ & ) ∗ ∗ ∋
Χ! %∗! ∋) 3
%∀ ∋) ! #
#∗ ∀∗6 ) 3
∗∗ 8>>< Χ−& ∴ ∗5 )2∋ ∗ ∀∗ ∋2∋ ∀ ! +∗)5 ∋2
∗ Π+% :=Θ Α∗ )( ∗)?! ∋)5 Χ∀∗
∋∗! ∋)5 6 # ∗∗! ∋∗)5 ∗ ∋ 5
∋ Ε ∋5 ∋∗ ∋ Ε #
) ∋5 ∋∗4 ) Ε # )(5 ∋(
?)5 Χ∀∗ ∗ 1)25 ∗ ∀
5 ∀ ∋ ∗) ∃ ∗ 1)25 ∋∋ Χ∋∆∋
∋) ∃ ∀, ∋∋)! Χ4∗∋)3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 47/98
%∆∗) ≅
∀∗ # ∗∋ ∋)
≅38 − ∀ ∗∋ ∋)
∋#∗! # )∀∗ # )∗) ∗,∋ ( ∋
∋∆ ∗∋ ∋) #∋Ο 5 ( Ε) ∋)∋ Α∗5
)∀∗ ∆ ∋ ∀ ∗Ε 2 ∋ Τ∋ ∋)5 ∋∆ ∀?! ∋) 4Ε Χ ∗ )!
#∋ Ε)3
+∗∋ ∋ #∋ &∗)5
∀ ϑ∋ ) Π∋∗5 ∋)5 ∋−∋!5 ∋Θ
∗− 5 ∗ ∋65 ∋ Α∗ ∗∋ ∋)
∋∗ ∀ Ε) , , #)5 Α∗ )2 )23
#5 ∗∋ ∋) # )∀ ) # ∋Ε∋ Ε)5 #) ∗ 5 ∀5 Χ # ∀?! ∋) ∋
∗? ∗Ε3
≅3 − ∀ )∗) ∋)
)∗) ∋) ∀ )) 5 ∗ ∆∋5
# ) ∋3 % 5 ))5 5 ))5 ∗)5 ∗∋ ∗ ) # )23
)5 %∗! Γ) 8>= ∗ )∗) ∋)5 Α∗ )∗ ∃
∗))∋! ∋ #5 Α∗ 5 Χ∋
Α∗) )23
≅3= − ∗∋ )
∋ ( ∗ ∗! ∋) Η5 Α∗ Κ ) Α∗
∋∗5 (5 ) Χ∋∆∋ ∋Ν∋
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 48/98
#3 ∀∗− ∋) ∗ ∋)∗5 )∀∗( ,∋
∗ ! )5 5 ) #Ο 4Ε ∋ ∀? ∋
∀∗ ∋ 4 ) ) ∆) ∋)5 #
# ∗ ∋Ν∋ ∋4∗ )23
∗∋ ∋) ∀ ∋ ),∀∋ )∆∋
∗ ∋ ∋ ∗ #)5 ∋∋ )6
) ∋Ε∋3 & ∗ ?5 Ε )∗) #∋ Α∗
# Α∗ ∗∋ ( ∗? ∗Ε ∋Ε∋3
Α∗ Α∗5 ∋)5 ( ∋∋ )
∋ ∗) 5 Α∗ ∋ #∋∗)
∋ )5 ∗ ∋)5 )5 Α∗ ∋ ∀?! ∋∀ #)3 ∋5 Α∗ Α∗ ∀
Α∗ ∋) 5 Χ∀ ∋∗ ∗ ∗3 ∀∗
∗!5 Α∗ ∋∗ ( ) ∀∗5 ∀? ∗ ∋5 ∋
∗ #!5 ∋ ∋Ε Χ∋)∗3
∋∗− # )∗)5 # ∋ Χ)∆∋5
∋∆∋ ∃ ∗∗ ∋) ∋ ∗∆ .Κ) ∀5 ) Α∗
∗∗ ∋∗∗5 )5 ∗ ∋) ∀! ∋Ο # ∋2 ∋Ε∋ 2,∋ )∀ ∗ Α∗
Α∗ )∋5 ∗ ) Α∗ )2 ∗2 )∀)!
∗Ε5 ∋∗ 24 ∗ ∋) ∗Ν )3
≅3 − ∗∋ ∗ )2
∗∋ ∀∗ ∗ )2 ∗ )∗ ∋ # ∗ ∋∀3 ∗! #? # Α∗
)23
)∗)5 ∋Ε5 #∀ ∗)? ∗ )23
+) ∗ , ∗? ) Ε∋ ∋)5 )∗) ∋∋?
) Χϑ∋ ∋ Α∗ 4 4 ( ∗
∗ ∀∗ Α∗5 ∋)5 ! )∀ ∗! )25 #Α∗∋ ∗
)∗3
Α∗ ∗∋ 6 ∗! )2 ∗ ∋∀5
∗ )5 ∗ Κ∋ ∋ #)∋ ∗
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 49/98
)∗5 )∗) 6 ∀∀! #∀! ∗ ∗5 )∀
)#! ∋3
∗∋ ∋)5 ∋ ∋∀5
#)!5 Α∗ )∗) ) ∗∋ ∗ ∋5 Α∗
∗ ∀Η∋ )∆∋ )25 ∋∗ #Α∗∋
∗ )∗ ∀∀! ∋)3
≅37 − ∗∋ ∋∋ ∋∀
∗∋ ∋)5 ∗ ∗? ∀)∗ )2 ∗
∋5 ) )∋ ∋∋ )∀) ∋∀ #) ∗∋Ν∋3 % )5 ∋ ∗ ∋∀5
#)! ∗ ! ∗ 3 ∋ ∗∋ ( ∗ Α∗
) )2 ∗ ) ∋ΑΩ )∗ ) ∗ ϑ∋
∋∗ ∋∗∋) )∀) )3
∋∋ ∋∀ ( ∗ ∆ # ∗! )2
∋ 5 ∋)5 ∋ ∋ ∋) Χ ∆)
∋)?! Α∗ )3 )∗) ∋)5 ∗ )5 #∋ ∗ ∗? ∀∀
∗ )2 ∋ #∀! ∗)?! ∋5 !
Χϑ∋ ∋∋ )∀) ∋∀ #) ∗ ∋Ν∋3
Α∗ )∗) ∋ ∗) ∋! ∋
5 ∗ ! ∗ )∀! Π∋ )2 ∋,)∋5
∗∗)5 5 ∋Θ5 ∋ ?! ∋) Π∋
)2 ∋∗5 ∋)5 ∋−∋5 ∋−∋!5 )5)5 ∋Θ5 ) ! Α∗ ∋∋ ∋∀ #) ∗
∋Ν∋3 % )5 ∋ 5 ∗∋5 ∗ ∋ ∋5
∋ 2∗ ) Χ ∀) ∋∀3 5 Χ)5
2∗ ∋) Ε ? 5 ∀ ∗ ∋5
)Κ∀∋5 ∀25 (∋5 ) ∋3
∗ ∋ ∋∗ ∗) ! )∗) ∋) ) (
∋ΑΩ ( ∋∋ 4∗∆∋ ∋∀ #)5 !
4∗∆? ∋4∗ )25 ∗) # Α∗ ∀∋6
∋) ∀ #) ∋5 ∋ !−∋)?
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 50/98
Π )2Θ #∋ # 5 Α∗Α∗ )
∗)3 % )2 ! ∀ ∋5 Α∗
( ∋ 5 ∀)5 (5 ! ! ∋ ∋
∀5 ∀∋6 ∋) # ∗ Α∗
∗)! )23 +∋ ∀∋6 ∋) )2
Α∗ ∋ ∋∀ ∗ ∀? ∋ )∋5 Α∗ )
∗ 5 )∗5 ∗ Κ∋ ∋3 %∀ ∋ )
∆) ∋! )∆∋ ∋∗ Α∗ ∗ #∋! ) ∋) )3
∗ ) ∋) Π ∋∋5 ∋
∋ Α∗ ∋ ! )Θ5 ∋ ∋ΑΩϑ∋ (
∋∋ 4∗∆∋ ∋∀ #) ∋ ) )∗)5 ( # Α∗ ∋∋ ∆ + &∗ Α∗
∋)Φ 6 ∗ ) ∗ ∀ !−
∋)?5 Α∗ Α∗) Α∗ ! ∋ ∋ ∋ 5
∋ΑΩϑ∋ 5 ∋ ? ∗ Κ )2 ∋)?5
∋ #) Α∗) Α∗ ∗ ∗ ) ∋∋?! )∆∋3 %
∗) )∆∋ ) −∋)5 ∋ ∋Ε
Π∋) # ∗ Θ #5 )5 Χ #) ∋3 ∗ ∋ ∗ )∀)6 ∋∋Φ Χ∀ϑ∋ ∆
∀?! ∋ ( #)3 45 ∋ )∀∗ ∀5
( ∋∋ ∋∀ #) )5 ∀#∋ Α∗ ∋2∋
∋ ∗ ∗! 5 ∋ ∀?! ∋)
∗) )) ∋)Ε∋ ∗ ΙΙ3 ∋ #
∋ 2 #∗6 Κ)∋ ∀?! ∋)3
≅3: − ∗∋ ∋ ∋
) ∋∗∋) )5 ) ∃ ∀?! ∋)5 ! ϑ
∗! ∋ ∋ ∋ ∗∗ ∋) )5 #
∋∗∋) = ∆5 ∋5 #6 ∋#63 #5
∋5 )∀)5 ! ∋∗ ∋3 !5 5
∋ ∋) Α∗ )∋ ∋) ∋)3
∗! (5 )5 ∗ # ∋ ∋∆ ∋∗∋)
∗∋ ∋)5 ∋Κ∗) ∗ ∋ ∋ ∋ 6
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 51/98
2∀Ν∋ Π%1 Γ ∋)Θ Α∗ 4 )∀ ∗ ∗65 ∋ ∗∋
∋) ∋∗ ∗ Ε∋∗) !3 ∆5 #? ∋ Α∗ #? ∋
∋∆ ∋∗∋)3 %.15 %.15 %15 5 5 ! Κ∋ ∋ Α∗
# ∗)∋ ∋∆ ∗∋ %1 ∋ ∋)
∋)3
#∋−5 !5 Α∗ ) )∗ ∋ ∗∋ ∋)
∋) ∋∗5 #∗)5 ∗ ∋ ∋Κ∗) !
)23
−5 (5 ∋ ∗∋ ∋)5 ∋ )
∋Κ∗) ∀ ∋ )∀ ∃ ∋5 4 Χ∋ ∗
∆) ∋) ∋3 ∗ #∋ ! ∋∗∋)5 ), ) Α∗5 ∋)5 #? 4∀ ∋5 ! ∗ )∗)
∋)5 ∋ ( Ν ∋) Α∗ Α∗ ) ∋ )
∋5 − ∋) # ∋∋5 Α∗ !
∋Κ∗)5 ∋ # 3 %1 ∋2∀∗ #∀∗ Ι∋ ∀Η∋Ι5 Α∗
# Α∗ ) ∋ #) ∃ ∋Κ∗) ∋)3
≅3≅ − )∗) ∋)
# ) ) ! ∋)5 2∋5 −
)∀)! #∋ Α∗5 ∗ ?5 ) 8<<5 ( )! ∋
∋∆ ) ∗) Α∗ )∗! #∋3 ?
∆∗ )! ∋)5 Α∗∋− #∋ #∋
)∗) ∀?! ∋) #∋5 ) ∗ ∗)?! Α∗ )
∀?63∗ ∋#∗!5 )∀∗ ? )5 ( )∋ ) ) Α∗
# ∋ Κ∋ ∋ 2∗ ∀ ∋)?!5 (5
Α∗? ∋ ∋∀ #3 #5 5 ∋
# ∋ Κ) (∋ 5 ∋ ∋ ∆ )5
∗∆ ∋∀ # ∋ ∆∋ ∋)?! 3
∋ Η∋ ( Α∗ ∆ Α∗
)∗) ∋)5 2∗ Ε∋ ∋ # ∋
∋∀ #)5 Α∗ , ∀ Κ)∋ !
#ϑ∋ ∗ ∋ 3 ∗ #5 ∋
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 52/98
)? ∋ ∆ ∋) )25 #
∗ ∋) ∗ ∋∀ ∋ ∋6 )2
∗ ∋4∗β
+5 ∆ Α∗ )∗) ∋)5 Χ
Κ ∋ ∋∀5 Ε∋ #
! ( ! #)∀ Α∗5 )! 5 Α∗ Χ # (
3
∋∀ Η∋ ∋5 )? >75 ∋∗! ∋)
5 Χ ) ∋Ε ∀)5 2 &Ζ5 ∋∋∗− ∋Φ
∋ #! ∗ ∀ ∋) ∋#Ε)5
)∆∋Ο ∀∗ − ∃ )∗ Α∗ 4 ∋ )Α∗ ∀∗ ∀ ∋2∋ϑ−) )2 )25
# ∗ ∋) ) ∋∋3
Ε )25 ( ∋ 5 ) Α∗ ( ∗
)∀)! Α∗ ∀∗ ! ∗ ) ∗∋) # 4∗ ∃ ∋5
∗ ∋ ∋ Α∗ ∋)∗ ∋)∗ ∋ ∋∗) ∗
#∋ϑ∋ ∋3
≅3< − Α∗ ∋)
)Ε∋ Α∗ ∋) 5 ∗ 5 ?
4∗∆?5 )25 ∋ 3
)2 ∗ ∋ − ∃ ∀Η∋ Χ ∆) ∗!
Α∗ ∋6 ∋∀ − ! Α∗ ! ∗
5 Α∗5 Α∗ ∋)5 ∗ ∗Ε5 )? ) 3
5 )2 ∗ ∋5 ! Α∗ ! %6
∋ %) 1)2 Α∗ #? ) ∗ 3
Ε 5 ∗ ∗ )5 #? ∗ Α∗ # Ν5
Α∗ ! ( ∗ ∋∋ ∀ Κ ∋ ) −
8:3 −5 ∋∗ %6 %) 1)2 Α∗
∋5 Α∗ ! ! ∋∀ ∗ ∀5 ∗)Ε
∋)6 )2 Α∗ ) ∗∆ ∋6 ∗ ∋ ∋)
Α∗ ∗∋ ∋2∋5 ∗ 5 5
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 53/98
∋ 6 ∋5 Α∗ ∗ ∋ ) ∋∗6 ∋
∋∀5 Α∗ ∗ ∗ 5 Α∗
! ∗ )23
+ ,5 #∋ Α∗ ∀∗ ! ∀ Α∗
Χ∋ ∋ Α∗ ∋∗ )∀∆ ∗ 5
5 ∗)5 ∋∗ ∃ )2
#? ∋ Α∗3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 54/98
%∆∗) <
∀ ΙΒ∗ #60 − %1 3 7≅≅ − Χ
% &∀ ∀ϑ∋5 Α∗ ∋)
∋) ) %)! 1)25 %15 ∗ 1∆∗) 5 %∆∗) −
Φ ∃∗∀∃ ∃(3
∗2 3 7≅5 # ) ∀)5 Α∗ Α∗
∀∗ ∃ +∗ ∋ ),−+5 Α∗ # ∀ 7≅≅5Χ 5 %13
)∗ Α∗ ∀ )2
%ΓΡχ5 ∋ )5 ∀∗ ∋∀ #∋5
# ( ∗! ∃( ∋)2 ) %∗! Γ) 8><<3
5 ( ∗)∀! %∗! Γ) <<5 ! &(
1)25 24 &( 1)2 ∀5 ( ∗ %!
Α∗ ∋) )? Α∗3
Ε ∗! ∃( Π3 <ς5 5 %Γ3 <<Θ5 Α∗ Ε
∋∗ ∋ 5 # ) )2 Α∗
∗ , 5 ?! #∋∗ ∀
∋∋ Κ ∋ )5 ∋ ∋ Α∗
! ∗ ∋ ),−3
<38 − ∋∆ ∋∗∋ ) ∋) ∗∋ ∋)
&∗ ∗ ∋ Η ∋)5 , ∗)∀!
%∗! Γ) )5 8><<3
% ∗)∀! %∗! Γ) 83><<5 Α∗ ∋)
#∋) # ∗∗∆ ) Η5 )∋∃./ (∃/ ∗
%− )0∃1
& )∋∗ ∗ ∀ <ς5 ∋ Φ
3 <ς5 %Γ − Ψ ) ∋! #) ∗ ∋)5
∀∗Φ
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 57/98
15 ∗ 5 ∗ #65 ∀∗) )5 !
ϑ ∗ ∋ , Α∗ 2 #∗ Χ∋)∗ Ε−)5 ∃&
∃ ∀ (∃ (3 ,∃(1
;Ε Α∗ Χ ∋ Μ 1Ψ%% Γ&.&
! +∗)5 Α∗ ∗ #6 ∀∗) ) ≅3><<:5 ∃& &
)∃ ) ∀ ∃( 3 ,∃(5 Α∗ ∋ 5
∗ ∃& &5 ) ∋ # ! +∗)3
+) Χ5 )2 ∋ #∗6 1Ψ%%
Μ Γ&.& ∀∗ ∀ ∀)5 ∋#
δ[5 1 =8:Φ Ι+)∋ ∋( 1 ++1Γ&
035 #) Α∗ 5 ∋
∗ ∗ , 2 36
Ι. ΓΙΜ 8ϑ Π3 (( ,6(111ΘΟ ∃( ),∃ ∀)∀∃ ∃∗ 7 ! Π ,5 ∋∀ ##∋Θ3 ∃( ∀ ∀) ) 2 ∀ (∀∀ ∗ 5 # #63 ∀?! ( ! ∋(1 Ν Ο Φ4∃Η/ Ο 7 8Μ 03
<3= − Α∗ )
? ∗ Α∗ ∋( ) )
∋! #6 2∀ϑ5 ) ∗ ∋Χ5
Π Θ 3
∆∗) Ε∋ − )∗ ∀Φ
∗ ∋Ε5 ∗ 11ΡΣ
Γ%15 Γ1ε+% .5 Α∗ ϑ∋ ∋)
∋ # ) ∃ ∋5 ∋ #∋ ∋ − Ε∋ ∋5
∋∗ #)? 4 ∋5 ϑ∋ (∋ ∗)) ∋
∀∗) ∋Ο ∋ Χ∋ ) 1 %5 Χ
, ∋)5 ∆ Α∗Ο 1 % ϑ ∋ ,∃ )∃() 5Ρ∃( ∀2(5 Α∗ ( #? ∋Ο 4Ε 11ΡΣ Γ%15
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 58/98
Γ1ε+% . Α∗!5 ∀ (∀ ,∃ )∃() )
9 5 ∋
∗! ∃ ∋ Ε / ΙΜ/ / 3
∗5 ∆ ? Α∗5 1 % Χ
(∋5 Χ ΧΟ 4Ε # 11ΡΣ
Γ%1 Χ Κ ∃ ∗)!5 ! Χ
Χ5 5 ! ( ∗ #5 5 ∋ #)
∋) Α∗ ( Γ),∋5 ( 1Υ% %3
∀5 ∋ Α∗ ∋) Α∗) Α∗ #∗∋Ε
11ΡΣ Γ%15 Α∗ ∀(∋ ∃ ∋5
) ∋ 1)2 ∗6 #∋5 4Ε )2 1 % ) ∋
1)2 )∋ Κ5 Α∗5 # 1
% ( ! Κ3
Ψ ) ∀)! +Ε ΙΜ Γ .
5 ( # ∋ ) )2
∗ Θ3 ∋∀ #) ( ∗Η∋Ο
∋5 #3
Ι%− ∃ ∀?! ∋) #65 ∀ ∋∋ #∆∋5 Α∗ ) )2 Α∗ ∆∋∗) ) )2Ι3
Ι ∋ ∗ ( )2 ∋∗ ∗ 5 # #63 ∀?! ! ( ∋)5 %Γ%&1 %11 Μ&+ %&Ι3
4∗∗ϑ∋ # # Α∗ 1++1Γ& ( Α∗ ∀∗ ∋ Α∗ ∋)5 ∋
4∗)∀ 1 + 1;3
9 : ! . ΒΧΣ1>ΤΧΑ?Σ1Υ
: (1 Β>ΒΑ?Τ/ ≅1≅1?Τ : 1 ∃1 ∃ς∃ 8# : ΣΒ1>ΣΑΥΒ?
∃ ∃!&%&#∃# 3,3∀.#,∃.! #∃ 13,+∃ 0 )∗ #% ∃++5∗,∃, ∀
/∀,,!∀ .)∗∃#,∃1.!∀ +&.#&/∃− /∃+∀ /∀.!,(,&∀ /,&∃,+&∃
,3,+.!∃78+ # !∃.!∃+ )∗∃.!∃+ 9∀,1 ∃+ ∃!&%&#∃#+
./++(,&∃+ ∃∀ 9∗./&∀.∃1.!∀ #∃ 13,+∃ )∗ !,&∃ #
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 59/98
.9,.!∃, ∀ /∗13,&1.!∀ # #&%,+∀+ &.+!,∗1.!∀+ /∀−!&%∀+
+&1∗−!∃.∃1.!
<3 − ∋∀ #∋
% ∀ ∗ Χ∋!5 ( ∋ Α∗ ∋)3
Χ∋! ∃ ∀5 Α∗ Χ5 ! %1. Γ%3
%# 4Ε Χ5 ∋∀ #∋ ! ∀∗ Α∗
) ∋∀− 5 Α∗5 ϑ ∋∗) ∃
, #!3 , %1 # ∋∀ #) #∋ ∋ Φ
3 788 − φ =ς − %∀ #) #∋ ( Α∗ #
∀ Α∗ Χ #6 ∗ #∗6 #∋ # ∗
#) ∋) ∗ ∋ΑΩϑ∋ ∋6 ∀∗)3
) %Φ
Ι%∀ #) #∋ ( Α∗ ∀∗)! ∋∆#∋ )2 # ∀ 5 Α∗ )2 #∋∗)∋6 ∗ ∋ ∋) ,5 # Α∗ ∋ ∃ ∀5 Α∗ ( ∀ ∀)03
) Α∗ ∋∀ #∋5 ∋#
4∗∗ϑ∋ Ε5 ∀∗) )3
<37 − ! )2
∀#∋ ∗ ∀ ∋Α∗ ∋2 # ∋!
∋) )2 ! ∗ )5
! )2 Η 5 )∋ ∗ ∗ Α∗ ∀2∗
%∗! Κ)∋ Γ ) 8><<3
Γ?− #ϑ∋5 5 ∃ 6 ∋∗∋ ∋ ∀
88 & ∀3
∀∗) ∋2∋ ∋ ∗ #∗) ∋Ε∋ )5 ∀ 885 ∀ )2
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 60/98
Α∗ 2 ∗? ∀5 Ι∋ #) Χ∋)∗
−)2 ∋ ∀Ι3 !
∋ ∀ ∋∗ ! Χ−∋) Α∗ ) ) )2
Α∗5 5 ! ∆∋∗) )∀∗ ∋ ∋ ∋∀ ∗
Η ) ∗! ∗ ∗3
5 )∋! #∗) # Χ∋)∗∆ 4∗
)2 ∋ Κ ∀ # ∗?3
%∗ ) Α∗ ) Κ )2 Α∗ !
∋∗∋)5 ∗? ∀ Α∗ ) ∗ )
) # 6 5 6 5 #∋∗) ! #∋?
∗ )5 Κ∋3 5 ∗ ) ∋Ε ∀ ) ∋2 2 ) Α∗
∋ ∗ #∀∗5 Α∗ ∋ ∋
Ε3
Κ∋5 ∋∗ ∋ϑ∋ Α∗ )2 ∋5 ∗∋ Ι
Ι ∋ ∀5 ∗ #∗! Α∗ ∀∗ # ∋)! ∃
∀∋! 5 # ∋ ∗ ∀∗
) ) )2 Α∗ ∀ ∗ ∋!5 ∀∋ ∗ ∋∋)5 4∗∋ Ε ∗ ( ∗ 5 2 ∋)∗ ∗
∗! ∋#) ∋) 5 Α∗ ! (
)∗! ) ) 3
∗6 ∋ ∋ Α∗5 Α∗)Α∗ 5 ∗∋
Ι Ι ∋ ∀5 ! Χ ∗? ∀∋)3 Β∗ ?5
) ∗ ∆) ) ∃ ∀∋!5 !
)∗! ∋#) ∋)∗5 Α∗5 5 ∋# ∋∗∋) ) )∀∆ ∋∋ ∀∋)3
Κ∋ %∗!5 ∋
∗ ∀#∋ )5 ∋ )∀ ∀∋ )∗∋ ∋#)5
∋ ∋ ∋ Ε5 ∗ ∋ !5 ∗
3 ) Α∗ ϑ ∋ )∀ϑ∋ Α∗ ( ∗∆
Κ∋ Χ−∋)5 ∗∋ 5 ∋∋ !
%6 ς >< 87 15 5 5 ! ) ∋ ∋
∀ <ς %∗!5 Α∗5 5 ∗ ∀, ∋!
∋ ∋∀ ∀∋6 ∋) )23
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 61/98
) # Α∗ 2Ε )∀) ∋Ε #! ∋6
∋∗) ∋)!5 ) 5 ∋ ∋ ∀ :8 %)!
1)2Φ ∀∗ ∋ ∀5 ∋6 ∋ ∋)
)2 ∋)∗ ∗ ∋)Ε∗∗) ∗ ) ∃ ∋∗! ∋65
∀∗) #∗∋ ∗ ∗6 )3
%∗5 2Ε ∗)2 Α∗ ∋∋! ∀∋) #
Χ∋)∗ 5 ) ∋ ∀ <ς5 %∗! Γ)5
∋ ∋∀5 ∋2∋ ∀3 ! ∋∗∋)
#∗5 Χ∋∆∋ ) # ∀∋)5 6 ∋5 )∀
∋6 %)!5 ∋ Α∗)Α∗ ∗
! Χ−∋) )2 Α∗ ∗ ∀ Η 5 5 5 ( Κ∋5 ∋ %6 ς >< 8=75
#∋ ) )3
∗ ) )ϑ∋5 Α∗ )∀∆ ∋∋
∀∋) )2 ∗ )
∋! ( ∗ 65 5 5
)∀∗ #63
∗ #∋∗) )25 ∀∗5 ( ∋)5 ∋∗) ∋ !5 5 ∗ # ∋ #∗
∋? ∋ 2 ∗ ∋! ∋) ∀ Π∋)
∗ ) 5 )∋ Ε ∋∗)∗ ∋Ν∋ Χϑ∋ 2∗Θ5
∀6 ∋∆ ∋)∗ )6 Α∗ ! )23
+∗)5 ∋)5 ! ∗ ∗5 ∗ ∋5
∋( ,− ∗ ∋! )2 #
)?! ∗ ∋ ∋ 5 ∗ ∋2∋ ∋ 2 )∋ Χ∋∗ ∗ # )3
∋! )25 ∀ ( ∗ ϑ∋ #
) ∋)5 Κ) ϑ (∋ ) 5 #∋− ∋ ∋
) #∗) Α∗ ( )? ( ∗ 5 ∗
∋ ∗5 5 Χ−∋3 ∋ )25
)25 ∋∗ ∋?! ∋ ∗5 ∗ ∋ ∋Ν∋5
5 ∋) )∆∋3 ∋?! Α∗ #? #ϑ∋ #
∋ ∋−∀!5 ∋! )∗∋5 ∋! ∋ )!
∋)∀5 ∀! ∀ ∋ 5 )5 ∗ ∗
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 62/98
∗ Α∗ ∗ ! ∀ ∋ ∋ Π )5
∋−∀! # ) %∗! 8><< ∋ ∗ ∋) Χ∋∋) Α∗
Ε # )5 ∀∗ Μ ∋ ∀ ≅ς5 % 8><<Θ3
%∗5 Α∗ #)∗ϑ∋ ! 5 ∋( 5
5 Α∗ ) ( ) ∋ ∗∋
∋#) 3 + ∗ )5 #− Α∗ ∗ Χ! ( (
∋5 ∋)5 Ε∋ 2∗) ∀∋! ∋) ) 5
Α∗)5 ∋5 ! ∋∗ ∋ #65 ∗∀6 5
∋!5 #3
#∋− Η∋ ∋∗ ϑ∋ )∋
∋∋)5 − Α∗5 5 ∋ ∗ #∀∗5 Α∗ ∀∗5 #5 ) ∋∗)?5 5
∋ΑΩ5 # ! )5 ( 4∗∋Ε5
∃ ) ∀∗) ∋ ( )∋) )23
&5 ∋∗ ∋∋5 #∗) ∋! ∗65
∗ )?!5 ∀?! )2 ∗
Χ∋∆∋ # )5 Α∗ ?5 Χ∀ # ) ∋)2 ∗
#! ∋6 ∋! ∀∋!3 Η∋ ∗ ! )25
∗ ) )25 ∋) ∗ !5 ∆5 ∋ ∋
∋ ∋∗) ) 5 5 ∋) ∋2∋
) Α∗ ( ∋ ∗ ∗3 ∋2∋ #6 Α∗
( ∋∆ Α∗) #∀∗ 2) ∋∋
)25 ∗ # Α∗ #∋ #∋) ∀∋!
∆)3 ∀∋! )2 (
)2 ∋∆∗ ( ∋ # ∗∗ ∗∋Ε∋
5 Α∗) Χ∀∗ ∗! ∋∗∋!5 ∋)2∗
)ϑ∋ Ε)∀5 Χ! 6 )25 4∗
∋ ∋ , #∋∗) ) Α∗ !
∋ ∋2! ∗ ∗ 5 5 ! ∀∋!
Η3
)6 Α∗ ! # ∋ ∗!5 ∗
Α∗ ∀ ) ∋∋ Ε ∋Ν∋
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 63/98
4∗ ∋)5 ( Ε) )∋! ∋ ∋ )∋
)23
∋ Κ∋) ∗ 5 5 ∋ )
Α∗ 65 ∋! ∗ )23 ∋∗∋!
#∀∗ ∋ )) ∗! ! ∋∋ ( ∋−∀!5 (
5 Α∗ ∋ ∋ ∀ ∗ ∋∆5 ∗ 5
∋ ∀ ∀∋! ∋) 5 )∗Ε Η !
)2 ∋∗) ∃ ∗ ) ! ∗Ν ∗ ) #∋Ε∋
∗ ∋ ∗) ∗ ∋) )23
∆ (∋ 5 ∗ ∀)5 ∀∋! #
) Η 5 ∋∗ ∋Ν∋5 Α∗∋∗ , 2Ε ∗∋ 5 Κ) ϑ (∋5 ∋ϑ∋ )∗! Κ5
)∗ ∃ ∀∋! ∋∀3 +(5 ) ∀ #∋∗− 4∗
∋ΕΦ ∆5 ∃ ∀ #)∗ϑ∋ )2 ∀
2, ) Π ∋ ) ∋2∀ ∗−5 4Ε
(∋∗) ΜΜ5 # (Θ5 Α∗ ∋2∋ ∗ ∋) ∀?
∋∀5 )( ∗)∀! ∗ )∀ ϑ∋ Α∗5
∀∋6 ∋) )2 )∋ ∀ ∋∀ )2 Ε Α∗ ∗ ∋∀ ∗ ∗Ο
5 Κ) (∋5 5 ∆) #∋
∀∋6 ∋) ∆) 3
&5 −5 Α∗ ∋ ) ) ) 15 Α∗ 2Ε
∋∋ 6 ∋ Χ−∋
Η 5 ∋ #? #ϑ∋ %! ς 8=75 ∋) )
∋! ς 8= ∀?! ∋)3 5 ∆ )−∋5 Α∗ Ε ( Α∗ ! ( ∋2∋
6 ∋ Χ−∋ ∋∋ ∗
)3 (∋ 5 ∋
∆5 ∗ ∗ ∗ !5 ∋) ∗ !−∋)5 ( #∀∗ Α∗ ( ∋
Χ∋)∗ ) ∋ϑ∋ ∋∋ ∃ ∋! Η
5 ∋ )∀∆ ∋∋ ∀∋) # ∋ ∋) ∋
∀3
∗! ( #∋ )∀∗ ∆ ∗
∋)3 + Χ)5 ∋ Γ5 Ε) )25 Χ) ∆
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 64/98
∋Ν∋ ∋∋ Χ5 Α∗ ∋2∋ ϑ 5
∀ #ΑΩϑ∋5 ∀∋! ∋) 5 ∀∋!
∋)?5 ∋)2 ∗ ∋6 ∋! ∋6
Ε ∀∋!5 ∋∗4 ! ∋ ∗ ) ∋
∋ ∋ 6 1 Π Γ Ε) ( )∗)
∀?6 ∋Θ ∗5 )5 ∀∋! Η ( )
) ! ∋) ∋ Κ∋ Π∋ ( ∋ )2Θ3
2 4Ε ( ∗ ∋ ) %∗! )
∗ 1)2 Π− Α∗ 25 % 8>≅<5
#) ∋2∋ ∃ )∗) ∀?6 ∋ ∋6
Θ Α∗ )25 ( ∗ ∋ ∗Χ−∋ ∋∋ )5 ∋∋ ∋∋) ∋)3 ,∀!
Α∗ # ∋ 6 )2 Η
)2 # ∃ 5 ! %ϑ )∀ )5
6 ∗Ε Χ−∋5 Α∗ 4∗ ∋ 6
∋ 3 ∗ ∗65 6 ϑ5 ∋ ∗
1)25 ) ∋ϑ∋ ∀∋ ∋ Ε5 Α∗
?5 ∗ Χ−∋ ∋ ϑ )∀∆ ∋∋∀∋) # ∋ ∋) )23
%∗5 ∋! Α∗ ∋ ) ∗5 ∋∗
∀5 ∋2∋ )∀∆ ∋∋ ∀∋) ∃ 6
)2 )∋ )25 ∋ Χ−∋5 )5 ∋2∋
∗)∀! & ∗ 5 Κ∋5 Α∗5 )( 5
%∗! Κ)∋ ∗ )? ∀∋! Η
)2 Ε Π∀ ≅ς5 ∋ 5 Μ5 Μ ΜΜΟ <γ5 ∋ Ο 88ςΘ %)! 1)2 Χϑ∋
∋6 )∀ ∋ 5 Κ)∋ ∋)∗ Π #∗!
Χ ∀ 8≅= ∗ Θ5 5 5 ∋6 ∀∋!5
%∗! Γ) )∀∗ ∋ Κ∋ ∋∀ ) ∋∋
∀∋) # ∋ ∋)5 Χ∋)∗ ∗ ∆
63
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 65/98
%∆∗) >
%#) ∋) )2
%∗! Κ)∋ ∋)∋ )2
Ι∋2∋ ∋6 ∋ ∋) )2Ι Π3 ≅γ5 ΜΜΘ5 ∗ 45
? ∀∋! ∋) )∗! ∋∆#∋ ∋(3 ∀∋!
∋) )2 Χ∀ ∀ ∋! ∋ Π3 <γ5 Θ5
)? ∗! ∋) ∀?3 ∀∋! ! )∀ ϑΧ5 ∗∀Ε ∋ )∀
Ε Π∀ )∗ΕΘ5 ∗ ∗ 4∗? ∆ ∋) ∗
1)2 Π∀ ∀,Θ5 ∗ Χ ∀ 88 % &∀3
∀ )∗Ε5 ∋ ∀∗) ) γ >3=≅5 =
8>>:5 4 )∆∀ )
∆5 Α∗ ∗ Α∗ ∗∀ ∋∀
# ∋Ν∋5 Χ∀ )∋ ∋6 Α∗ # Χ ∋∗∋) Ε3
>38 − ∀∋! ∋) )2
∀∋! ∋) )2 ∆∋ ∋ !
∋ ∗ ∋6 #Χ )( ∀) ∋∀3 ∀∗−
∋ ∗6 ∋∗! ( ∋ ! )∀∋ ∀) 1)2 ∗ &( +Κ)∋ 1)23
% )25 %∗!5 ∋ ∗
Χ∋∆∋ ∀5 γ ≅3≅<=5 < 4∗2 8><>5 ∗
∀ =γ5 #∋∗) ∋! ∋) )2 Π ∀Θ5 , Ι#∗
∀∋! ∗ #∋ ) ∋∗ )3Ι
∀ ( ∗ )∀) ∋! ∋) ∋Ν∋ )2
)! 5 4 # ∀ ∃ ∀∋!
5 ) ∗ ∋)5 ∃ ∋6 ∋∀ #)3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 66/98
∀∋! Χ∀ ∗! ,∀! ∋5 ∗ )5
∋6 ∀∋! ∋ ∀3
>3 − ∀ ∀,
∀ ∀, ) ∗! ∗ 1)2 ∋
)∆∀ ∋) )25 ∋ ∗ ∗ ) &(
+Κ)∋ 1)25 , #∗ ∀∋! ∗ )∗! ) )∗Ε3
∗! ∋) %15 )5 ∋−)5 ,
∗! γ 5 1∗) ∗ 1)23
∀ ∗)∋ , ∗∗ϑ∋ − 83 Β∗? Γ 8>>≅ − γ =>≅ − % 5 Ε∀3 7>5 ∆∗) Ι∆ %) − +
∗ 1)2Ι # Α∗Φ
Ι ∗ 1)2 ( ∋∗ ∗! ∋) ∀∋! ∋) #∋Ε∋ ∀ ∋ !5 ∗# ∋4∗∗) #) ∋ ∋! 1∗) ∗ 1)23 ∋∀ ∋Ν∋5 ∗ ?5 ϑ ∋ ∋# ∃ ∗! 1∗ ∀5 ∋∋ Ι+∋ Ι5 Α∗ ∋)? 4∗∗ϑ∋ ∗5 ∋ ∗ # Α∗ ) ∀∋!3 + 1∗) ∗ 1)25 ) ∗ ∋ϑ∋ # ∗ ∋∗ 5 ∋∗ #∗! ∃ ∋∀ # ∋) ∋ #Ε ∀ ∗ ! ∋)? ∆ %)3 ∀5 ∗ )5 ) ∋∆) ∋ ∆ ∋)Ο ∗ 4∗∆∋ ∗ 3 ∀ Α∗ ∀ ( ∋)5 Ε∗ ∀∋6 ) ∗ 1)2Ο ∗ ∗ )5 ∗ 1)2 ∋ ∆ ∋) )2 ∀Ε−) ∋ ∋∗ ∀03
∀ ∀, ∀#∋ Ι∋−−#Ι
∋ )25 Α∗ ∋∗ ∗∋Ε Χ∀∗ ∋ 4∗)∀ ( Α∗)Α∗ Χ5 ) ∋∋ ∋ Α∗
# Χ! ∆ ∋) 5 ∋ΑΩϑ∋ Χ! +
∗ 1)23
)∋ ∃ ∋ +∋ Π+ ∋∗∋)Θ γ
>:>5 %∀ ∋) Ε ∃ )∗! ∀∋ ∋#)
∋) )2 ∗ ∀ )∗Ε5 # ∀ 5
Ι Ι ΠΘ3 η ∗ 1)2 Ε 4∗)∀ ∆∋) ∗? 4∗∆∋ ∋)! Α∗ ∗ ∀5 !
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 67/98
)∋ Ι)∋ ∋65
6 ∋∋ )∀ ∆ ! )2Ι3
;Ε5 ∋∗ Α∗ Α∗ ∋ ) ∆
∋) ∀ ∗Ε5 %1 ∗∆ ∋−)
∆ ) + .Κ) ∀5 ∗) ∋−
) (∋ ∗ )5 ) ∋ ∋−) γ 875 >3≅3::5 ∋ )6
∋−) γ 8≅5 3<3::5 , ∋ γ 87 Π3 88 8Θ5
3
! ∋−) γ 8≅::5 1∗) ∗
1)25 Χ∗ +4∗)∀ γ =< 7:5 ∗! γ 8< ? ∀
∗! γ 5 < 4∗2 8>>=5 ∀∗) ∋ ∆∋) ∗? ∋Ν∋3
∋ ∆ ∋) ∗∋ ∋∗ ∗ Α∗!
3 ∋ + ∗ 1)2 ! ∗) 4∗
∋ Χϑ∋ ∗ ∗ ∋∋∆∋ ∗Ε ∗
Α∗ ∋Ε∋β
>3= − ∀ )∗Ε
∋ Χ! ∗ 1)25 2Ε Α∗
#∗ ∗ ∋∋ ∀ )∗Ε5 4 γ >3=≅5 =
8>>:3
∀ #Χ ∗ ∋) ∋ Α∗ Ε
#∗) ∗5 )∀∗ Α∗6 ∀ Ε
Α∗ Ε Ε ( Α∗ ) 65 ∋131 )∋! )∆∋ ))∀) Π γΘ3
;Ε ∋ (∃∋∃%& 3∀5 (#
(∀)∀Ω Π∋! ( Α∗) ∗ ∋ ∋−
∗ ∃ ∀ )∆∀ Α∗ ∗∀5 ) ) ∋Θ
(∀)∀ Π∋! ( Α∗) ∗ ∗ )∆∀ ∃
∀ ∗ ∗ 5 4∗∋) ∗ Χ4∗∋)Θ Π3 =γ5 γ >γΘ3
Ε ∗ Ε ! ∋)2 ∋∗ ∋ )∀ Π3
8=5 φ 8γΘ3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 68/98
Β∗)Α∗ ∋? Ε Α∗ 2 ∋# 3 Ψ
Ε ∋ ∋ ∋)5 ϑ∋5 ∋ϑ∋5 )∀ϑ∋ ∋! Π3
8=5 φ :γΘ3
! #Χ 2Ε Ε Π3 885 ΘΟ ! 2
∗)!5 Ε Α∗Ε ,∀! + ∗∋Ε Α∗ ∋ 4∗)∀5
∀5 ∋∗ Α∗ #Χ Π3 885 +Ε∀# Κ∋Θ3
Ε ( 4∗? Π4∗? # Θ Π)∗ )Θ Α∗ # !
#∋ ∗4 ∋∗ ∗ 2)∀! ) + ∗∋Ε Π3 8<Θ3
∋ ) ! ∋∆ ∋,5
∀∗) 5 ∋) Ε ∗ ) ∋∋ Π3 85 φ
γΘ3 ) ∋ Α∗ ∀, ),5 #∗!
( # 5 ∋ ! Χ5 Ε 4∗)∀
ΑΩ5 5 5 )∗∀ # # ∗ Ε ∗
Ε Π3 :Θ3
) ∋Ε ) ∋∋ ∋∗
∋ ∀5 ∋ ∋ )∀Η∋ Ε−#(5 #
∋5 6 ∋! ∀5 2∗ Π3 ≅Θ3 ) ∋5 7 5 ∋! )
∀ ∋), Π3 =Θ3
) Ε ∗) ) + ∗∋Ε5
5 ? > 5 2, ΠΘ ∗) ∋Ο ΠΘ
Ε ∗ ∗Ο Π∋Θ ! ∋ Α∗ ∀,
)Ο ΠΘ Χ)∗ ) ∋! ∀Ο ΠΘ
∋∗ Α∗( Π( )ΘΟ Π#Θ ∋ ∋!5 ∋∋∗! ∗ ∋∗! Ο Π∀Θ # # ? Π2Θ ∋ ∋∆
∋,5 ∀∗) 5 ∋) Ε ∗ )
∋∋ Π3 ==5 () φφ 8γ γΘ3
∋! ∗) ) ( Ε ∀Ω
Χ∋∗! 4∗∋)5 ! ∀ Π3 ==5 φ =γΘ3
,∋ ) Γ)25 ∀ ∗) Ι ∀ ∋ Γ
) )∗! %#)Ι ∋ ∋ ∀ ∋ )Φ
Θ (5 ∋ ∋ϑ∋ )#∋! ∋ Χ! #
∋∗ )Ο Θ 35 Α∗ Χ2 # ∋∗ Α∗5 ) ∗
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 69/98
∗?5 4 #)∗ϑ∋ Χ Α∗ 4∗Α∗ ! Η
∋! )∆∀5 # ∋ Α∗ ! 4∗)∀ 4∗∋)5
∀ ∀) ( ∗)∋ ∋∗5 ! )∋Ε ∋
)Ο ∋Θ ∃& (∀∃ ( (− 5 ∗ )( ∃
∀ (&5 ∋Ε Α∗ ∋ 4∗∋)Ο Θ ∋
#∋) ∀ ∗ ∗5 ) ∃ ( )
) Ξ3 ( Φ #Η5 Α∗ ∋# ∗) 4∗)∀
∋)2 5 ∋∀∗5 ∗ ∀∗ Α∗ ∃ ∗ ∋)5
∋∋ ∃ ∋∋∗Η∋ Α∗5 Ε ? ∋2∋
∋)?5 ? ∃ ∋! ∗ ∋! (∋∋3
∀ ∀ 5 5 ∗ ∋ #∋ ∗ ) 4∗∋5 Α∗ ) Α∗
)∗! )∆∀ ∗? ) 5 − ∗∋Ε ∋ϑ∋
∋ 4∗)∀ ) Α∗ ) ∆5 ∋∗2
∋)5 )∆∋ ∗ ∗∋)5 Α∗ ∋) )∀) Χ∋ ∋
Χ∀ϑ∋ ∋)3
%) ∀∗ )5 Ι ∀Ι5 ∗)∋
∃ , ∗∗ϑ∋ − 8
3 Β∗? ) )>>≅ − γ ≅>≅ − % = −+∀ 8=5 ∋ ∀ Ι Ε5 #)5 #)Χ∆)
∋∗3 ∋#∋) 5 Ε !5 ∀5
)2 ∋)? Α∗ ∗ 4∗∋ Α∗6 Ε∋ ∋∋
∋5 ∗ ∋∗ ∋03
) ∀ ∀ ∀
∋∆#∋ ∋#) ∋) )25 ∋ Α∗ ∀ )∋
∋) )∗! )∆∀ Α∗ # ) ∋∗ ∋ )5 ) ∋ ∋∆#∋ ∋ ∋ ∋Ο ∀ ! (
∋∗ Α∗ )∗! 4∗∋) ?! Χ Χ ∋∗ ∋∗Ο
Ε ! ! ∋)? Α∗ 4Ε ! ∗ )2Ο ∀
! ∀Ε ∋6 #Ε ∋∀ # Α∗
∗5 ∗ ∗ 1)23
∗ Α∗ # Χ5 ∋∋)∗∆ Α∗ ∆ ∋) Ε
5 Α∗ %1 ( Χ∋ ∋ ∋∋ ∗ ∋5
∋∋2 ∀∗)! ∗ , 1∗) ∗ 1)25 ∋
∀ +4∗)∀ γ 7:5 ∗! γ 8< ∗) ∗! γ 5 < 4∗2 8>>=5
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 70/98
∗ ) Χ∋∗ ∗Ε5 Χ)5 ∋−) ∀ )
, + Γ ;Α∗3
Ψ ∋Ε Α∗ %∀ ∋) )∀)
∋ ∆ ∋)5 −)2 ∗ ∋Κ ∋Ε∋5 ∋
∋∆ ∋,5 Ε) ∗! ∋∗) ∋)
∆∋ ∋Ε ∋Ν∋ )( 6 4∗∋5 ) Χ
∋ 5 ∗ 45 ∗∋Ε 1 ) ∋
∀ ∋6 ∀ )2 ∋∀ )3
Ψ ∋∆) ∋∗) ( ∆ ∋)5
#∋∗) ! ∋∗ ∀ ∋6 ∗ ∀
)23 ! 2Ε5 ∋ ∋ 4∗∋) # ?!
4∗∋Ε ∗)?! ∀ )∗Ε Α∗ γ >=≅>:5 Α∗
! )2Ε Α∗) )∗! ∋( ∗) ∋#) ∋)
)23 ∋2 Α∗ 4∗)∀ ∋ ∋ ( ∗ 1)2
∋ Χ∋ + 3 ( ∋)
)2 ∋ Α∗ ! ∀ ∀Ε ∗ )2
)∗! ∋#) ∋)5 ) Α∗ ∃ ∋) 4∗)∀3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 71/98
%∆∗) 8
% ∋) )2
Ψ Α∗ # # ∗ ∗∗ ∋)5 (
∋ Α∗ ∗ ! ϑ # )5 ∋ ∗∗
∋)3 Ψ #∗) Α∗ ∗5 ∗ ? 5 ! ∗
∋ΑΩΕ %1 − Α∗ # 5 ∋ 3
Β∗ ∗ %15 ! ∗∋5 ∗ ! ∗ # ∋!Φ %
%) 1)23 Α∗ ∗6 ( ∀∋65
ϑ∋ ∗) ∗∗ ∋ ∋∗∗) ∋) )5
! #∋ ) ∃ , ∗∗ 4∗ )25 ∋∋ Α∗
( ! ! ∋Ε3
% %) 1)25 5
∀∋5 ∋ ) ∋ #Ε∋5 ∗? ΕΧ ∋ )2 ∀?5 Χ∋ ∋ )∋) )23
Α∗65 ) ∗ ) Α∗ ∋5 )
)∋) )25 −5 (Φ ∋∋ ) ) Α∗
)2 ) 6 5 5 ∗ ∋∗!
ΧΕ ) ∋6 ∗∋Ε∋ ∗5 Α∗
? ! ) ∗ )2 5 )∀∗ ∋5 ∋2∀
∋ ∋#) ) ∋Ε3 % %) 1)25 ,5 ∗6 ∗ Η∋
Ε)∀5 ∋∗6 )∗3 ∀?6 ∋ 1)2 ∗6
∋2∋ ∋)5 ∀?!5 5
(3 Ε Η∋ Ε #∗∗3
% %) 1)2 ∗6 ( ∀ ∋ ∋5
∋)∗ ∋ )25 ∋)∗ %Η
∗5 . Γ)3 % ? ( ∋Ε 5
)3 &∗ ∋ΑΩϑ∋ ∋ )2 ! #∗!
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 72/98
Η ∋)5 ∋ Χ)Φ )∆∋ ∗)5 )Ε ∆5
)6 Χ5 ∋∗6 5 ∗∋! Κ3
% %) 1)2 )∋ ∋)∋ # )
∋Α∗5 ∗) ∀∋6 2 ∋6 ∋) ∀∋6
5 # ∗ Ν )6 )2
)3
∋ ∋) )2 ∗∀∗ , ∀∗ .∗ &∗)5 Α∗
∀∗ (∋∗) 5 − #∋ #ΑΩϑ∋ ∀
(∋ ∋ ∆ ∋∋ ∋) Χ Χ ∀3
∗ ∋! ∋) ∗− ∆∀
? )∀5 ∗) ∋ #)Χ∆ ∋∗ ∗!3% ∀))?! )∗! ∋),∀∋ ∋ ∋) ∗
∋ ∗) ! )23 Β∗ ∋! ∗
∋)? Η 3
∗) ∋) #∗! ∋ ∋) ( ∋ #)Χ)?!
∋6 )2 # ∋ ∋) ∋
∗ ∗!3
∆ ∋ ∋) ∋∗ ∀∗) %,∀%)3 ∋! ∋) ∀2∗ # ∗ )∀ ,
∀∗ .∗ &∗)5 Α∗ ∋ # ∋∋3
∗(∋5 2∗ #! Α∗ ∃ ∀∋! ∋) ∋)? ∗
∆ ∋ΑΩϑ∋3
Ε) ∋ ∋) ∗ ∋Ε ∀, ∋∀
)2 ∀3 ∗) Ε) ∗)? ∋ ∗)
)25 Α∗ 4 #)Χ∆)3 Γ5 + +Κ)∋ # ∋)5 ∋
4 ∋∀ )3
2 ( ∗)? Χ! Ι∋ϑ ∋)Ι5 Α∗ Χ
∋! ∋)5 Α∗) ! ∀∗) ∋6 )2 ∗3
Ε )2 ! )∋ ∗ ∀ ∋∋ ∋
∀∋! ∋ ∋)5 ∋ # ∋)?63
∀)5 ∋ ∋) ϑ # ∆)
)∋5 ! ( ∗ ∗!3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 74/98
1)2 +ϑ∋ ∋) ) ∀ϑ∋ Α∗ ∋) Π3 ≅ς5
ΘΟ ∋∋ &( 1)2 +ϑ∋ ∋) Χ ∗6
∋) Π3 <ς5 Ε∀# =ςΘΟ #ϑ∋
∋)2 ∋∗6 ∋ Π3 885 Ε∀# ςΘΟ ! #)Χ)?!
( ∀∋! ∋) Π3 85 Ε∀# =ςΘΟ )! ∀ϑ∋ ( :
ΠΘ , ∋ ∋ Π3 85 Ε∀# Κ∋ΘΟ #∋∗)
∗∗! ∋ ∗) )25 ) ∋ ∋) )2
#)Χ)? Π3 ΘΟ ! ∗∗! ∋∗) Π3 == =ΘΟ )!
∀ ∀ ∀ ∋ Κ Π Α∗Θ Π3
85 Ε∀# :ςΘΟ )∋! ∗) ∋ Ι∋∀Ι
#! ∋ )( ) Π3 7Θ3 ! )∗ 4 Α∗∋ ∋) ∋ Π )
%∗! Γ)Θ5 ∗)? ∀∋6 ∋) Χ∋)∗ )∋
)2 ∋ΑΩ5 ∗)? 6 )25 ∀?6
∋5 5 ∋∀∗5 ∀∋6 ∋) )23
5 +4 ς <8 ∋∗ ) )
, + Χ∋∗ Α∗ ( ∀ 8<>>85 ∗ +4 ς
83=8 83= 8>>85 ∀∗) ∀ <ς %∗! ! )2 ∀∗) ∀∋! ∋) )25 ∋3 )!
4 + Χ∋∗5 # ∗ ∗∗ %!
1)25 ! +Κ)∋ %Η Γ)5 8= 4∗2
8>>83 6 ) ∗∗ %Η Γ) ! ∀∗Φ
∋∗ ) ! ∋ ! )
)( ∋∆#∋ Π3 ς5 Ε∀# Κ∋ΘΟ ∋ ∋ ! ∋2∋ Π3
ςΘΟ ( )∋ ∋∋ ∋∀ ∋Ν∋ #) ∋ #∋) ∀?! ∋) Π3 7ς5 Ε∀# :ς ≅ςΘΟ ! ∋) Η
( )∋ ) ∗ ∋ ∋ Π3 ≅ςΘΟ ∋
∀ ( ,) ! Π3 <ς5 Ε∀# 8ς5 ς5 =ς5 ς 7ςΘΟ
∋∗6 ∋5 ∋)∗ ∋# ! ∋ #)2 ∀
∋∗ )∋ )( Π3 88Θ5 !
)2 ∋ )2 ( ∀∗) Π3 8 8≅ΘΟ (
∗? ∗! Π∗6 )(Θ ∋ Π3
8<ΘΟ ) ∀ ∋ )2 ( ∀ Π3
8ΘΟ ( ∀∗) ∋ ∗! #) ∀ ∀ ∋
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 75/98
)2 Π3 =ΘΟ Χ∀∗ ∋∗! ∋) ∀
Π3 :ΘΟ ∀∋! ∋) 4 #Χ ∋6 ) )2 Π3 8ςΘΟ
Η∋ ) ∀∋! ∋) Π3 ςΘΟ ∀ ∋6
#Ε )2 ∋ ∋∋ϑ∋ ∗ Π3 <ςΘ
∋2∋ % %) 1)2 Α∗ ∗
)6 )2 ∋∀ Π3 88ΘΟ )
! ∀ Π3 8: 8≅ΘΟ ∗! + ∗
1)2 Π3 8< 8>ΘΟ ∀∗)! ∗∗! ∋∗) Π3 Θ3
% 5 ∗∗ %Η Γ) ∗∗ +4
Χ∋∗5 ∗ 2 ∋∗ ΙΙ5 )∀
# 5 Α∗)Α∗ ∋ #! ∋) )6 )23 +4 Χ∋∗ ∗∗ %Η Γ)5
− ∗ ),∀∋ ∀∗)! )25 2∗5
∋ ∋) % %) 1)2 Α∗ ) ∀))
∀3 + Χ∋∗5 5 # ∋ +4
%∀ ∋)5 ∗∗ 4∗2 8>>5 %! &?!
∀)! 1)25 ∋∀ ) ∗ 4 ?
)6 )2 )3 # %! ∀∗ ∗ )2 ≅ 8>>5 , ∋2 + Κ)∋ Α∗ ∗5 Α∗
! ∗) &( 1)2 ΠΛ) ))Θ 4Ε 2 # ∗ !
∋ #∗ #)Χ6 ∋∋ % %) 1)23 &
5 )2 ) %! &?! ∋ ! Α∗
∋ ∋) ∋Ε) 5 ∋)∗
∋ ) ∗ Γ) %) ) % ( +4 ς
=3≅≅ =3≅<>=3 ∋∋∗Η∋ )∆∋5 +4 % ∀
∆ ∀∗) ∗)?! ∀∋6 ∋) #
4 + Χ∋∗ Ι∀ϑ∋Ι Χ−3 !
∋) )! 7 Π∋∋Θ 4 )∋ )6 %)
1)25 )6 ∗ 1)25 ! +Κ)∋
1)25 +∋ 1)2 ∀?! ∗∋Ε 1)25
%! &?! #∗ 4 #
∗! ∃ )6 ∗ 1)2 )6 %) 1)23
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 76/98
Η )6 ∗5 ∋− ∀∗ 6Φ
∀6 ∗) ∋ ∀ ∗ ∀∋! ∋) !
Π3 ≅ςΘΟ ∋ ! ∋)5 ∋5 ∋
∋#∋! ) ∋5 )? ∋ ϑ∋
&( 1)2 !5 ∋ ∋) ∗
∋∋5 ! # ∋ 4∗)∀ Π3 <ςΘΟ #) ! )∀)5
∗ ∗ ∋ ∗) )25 ∗ 4∗∋)
∋! ∋ ∋ 4∗∗ϑ∋5 ∗ ∋∗ ∋∆
∋∆ )25 Α∗ 2∗ ∋)
∗ ∋∗) ) Κ)∋ Π3 88ΘΟ ∋! ( ∀∗) ∋)∗
∋)6 4 6 ∗∋ Π3 8Θ3 )6 %) 1)25 4 % ϑ
∋ 6Φ ) ∋) )2 ∀
! # ∗ #5 ∋Ν∋ ∋ Π3 8ςΘΟ ∋
Ε ) )6 ∗ ,∀! ∗Ε Π3 :ςΘΟ
∋ ! Ε ∗ ∗ ∋5 ) #∋ Α∗
# ∋ ! ∋ Π3 ≅ςΘΟ Χ∀∗− ∋∗! ∋)
∀, Π3 <ςΘΟ ∋∗! ∋∗ ∋# Ε )( ∀) ∋5 Α∗∗ ∗
5 Ε ∋ ∗) ! Ε ∗) ) ∗ )Ε
)2 ∋ Π3 >ςΘΟ )2 ∀ ! ! )
∗! ∋∗6 ∗? Π3 8ΘΟ ∋!
∋ −∋)5 Α∗ ∋#∀∗ )! ) ∋)
∗ 1)2 Π3 8ΘΟ ∀∋! ∋) ( ∋ ∗−∋!
)2 ∀5 ∋ 4 #Χ ∋6 )2 ∀∗) )6 ∗) Π3 87ΘΟ ∋2∋
∋ ∋) )2 Η ∋) )∋ ∀ ∋6
)2 ∋ Η ∀∋6 Α∗ )?
∗ ∆5 ∗ ∋ 65 ∀ ∗
∗ ∋Ν∋ # Π3 8>ΘΟ ∋ ∋) )2 Ε
4∗ ∋ #) ∗ ∗ )∋Ε ∋6
)2 )∋! Η ∋ )∋Ε ∋!
∋) Π∗ ∋) ∋ ∋Ν∋Θ Α∗
∋∋ )∋Ε) ∃ Π3 85 5 Ε∀# Κ∋ΘΟ #
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 77/98
4∗∆∋ ∗ ∋∗) ∀ϑ∋ ΠΕ∀# Κ∋
3 7ΘΟ ! ∀ ! ∋∗ ∋2∋ ∋! ∋#) Π3
> =<ΘΟ ! )2 Ε ∀∗) ∋
∋ϑ∋ Π3 ΘΟ ∋∗ # ∀ ∗
∋∗ )!5 ∋) ∋! ∗ ∋
∋) )25 ∀ )∗ ) ∃ 5 ∗ , ∋! ∗
)25 ∋∗ Χ∋∆∋ ∗ ∀ Π3 7Θ3
4 4 ) ∗ )∋ ) + Χ∋∗5 ∋
( ∗∗ %Η ∗ 4 ς 83=8 83=5
∋∗6 Α∗5 ! ∗ 65 #∋ #∗)6 ∀5
∋#∋5 ∋∀∗ )∋∋ ( ) ∋∋ ∀ϑ∋ ∗) )∀)!3 5 ( ∋ #∋) )∗!
∋ 3 ( ∋) + Χ∋∗ ∗
) ) ) )25 2
∀ ( ∗ ∀∗)! ∋)3 ;Ε Α∗ ) )!
4 + Χ∋∗5 ∗ Χ ! ∋) ∋3
%∗5 ∗∗ %! 1)25 ! +Κ)∋
%Η ∗ ∗ Χ∋ + Χ∋∗ ( ∗#∗)! #5 ∗∗ ∗) ∋ ∋(∋ )∀∗ ∀3
5 ∋ ∋ ϑ∋ %Η ∗ )!
+4 ∗ ∋5 Χ− Κ)∋ ∀∗ ∗ %!
∋∀ #∗) ∗ 4 )! 1)2 )3 1)
∋! !5 ∗ 4 ∋ ∗! ∃ )6
∗ 1)2 )6 %) 1)23 ! Α∗
∋ ( Α∗ %! &?! 1)2 ∀∗ )2 ∀) Χ +4 + Χ∋∗5
∋ ∗ ! ∆ ∋∋ ∋5 ∀∋! ∋)
) Χ∋∆∋ ∀3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 78/98
%∆∗) 88
Γ,∗ ∋) &( 1)2 % %) )6 1)2 )3
4 ) ∗)∋5 ∀! &(
1)2 % %) 1)25 ∗∀ ∃ ∋ #∗)6 #)Χ6
% %) 1)25 ∋ ∗ ∗∀6 ∗) ∋
∗ ! )3 ∗5 ∋∗5 #∗ ∗ ? ∗
∋2 ∋∗6 ∋∋ )6 1)2 )3 ∗) &( 1)2 ?∗ ∋ ∋ )
∋∆) ∋Ε Α∗)Α∗ ∋ ∋∗2 )∀)3 #5
∋!5 ∀∋!5 ∋5 ∋∀ϑ∋ ∀ϑ∋
) ) #
4 )3 1) ∋ !5 #∗ ∀? ∋∗)! 6
∗ 6 4 3 5 &( 1)2
∗ ∋ 4 ∀?! ∗5 ( ) ∗ 4 ∋∗−) ∋ ∋3
∋)? Χ∋5 &( 1)2 ∀?∗ ∋∗5 ∗
∗∗ ? 8>>=5 ∗ ) Γ& %
% %) 1)2 Α∗ ∋∋)∗∗ ∋ #
) )6 )2 )∋∗ ∋∆ ∀ Α∗ !
∗3 1 ∋∆5 5 ! ∋∋ ∋∋5 2∗ ∗ )
Α∗ ! 2 ∗ Α∗)Α∗ 3 Α∗)Α∗ 5 ∋ ! ∋ ∋∗)!
( % %) 1)25
6 ∋ ∗5 #∀∗− ∋
#∗)3 Α∗ ∋) ∋ 5 #
∗5 ∋∆) ) ) #∗∗
)6 1)2 )3
+ #∋ ∀∗ # ∗ ∗5
∆−) ϑ ∀∗ #)Φ % %) 1)2 %
) .)) )6 1)2 ∀Ο % %)
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 79/98
1)2 % ∗ )?! Χ∋)∗ ∀∋6 %)Ο %
%) 1)2 % ∗ ∋∋ ∗ )6
1)2 ∀3 !5 ! ∋ ∗
∋∗) ∋ ∋ ∀∗ Χ)∋ 6 )!
∀ ) 63 5 Χ)∋
Φ ) ∋)Ο ! )2
)∋) )2Ο ∋∗6 ∋Ο ∗∗5 ∆ # ∀∋! ∋)
)2 Π) ∀∋! #)Χ)ΘΟ ∀ϑ∋ ∗ Ο )∗!
∋#) )2Ο ∀ )∋Ζ−∗Ο ) )2Ο Κ)∋
)2 ∗Ο ) )6 )2Ο ! 3
#5 ∋ #∋! 4 ∋ ! ∗ ) Α∗ ∋6 )6 1)25
# % %) 1)2 ) ∋
?3 ∗? ∋∆) )
∋ ∗ )5 #∋ ∀5 #∋)
∋ 4 ) ∗∗5
#∗)6 ,∋ ∋ϑ∋ )! ∗Ε
∋∀ϑ∋ 3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 80/98
%∆∗) 8
% %) 1)2 ∋ ) ∀)) )6 1)2∀3
4 #∗) Α∗ % %)
1)2 ∋ ∗ ) ∀)) )6 1)2 ∀ (
∋ % Α∗ ∀ )3 5 % %)
1)2 ( Χ! ∗)? ∀ ∗ ∋Ε∋ )6 1)23 )5 ∀ ) ∋ ∋)5
∋6− ∗) ∀ ! ∗5 #∋
% )6 1)23 ∋∋!5 5
#! ) )6 )25 ! ∋
# ∀∗)! )2 Η ∋)3 1− 5 ∗ #
#)Χ∆) Ε∀) ∀∗)!5 5 ∋∗ ! Η∋ ∋
∗ ?! Ε∋ # )2 ∆) ∋)3 Α∗ #∋ ∋ ∋∋! ! %) Τ∋ 1)2 Π%1Θ5 Γ ∋)
ΠΓΘ5 + ∋) Π+Θ )∋ Π ∃
∗? ∗ ∗ ∀,∋ ∗! ∗)Θ5 ∋ ∋)
Γ∋ ∆∋∗) ∗ ΠΓΘ3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 81/98
%∆∗) 8=
%6 ∋ ∋) )2
∋∆ 4∗ ∀ 2, 23 ∆∋ )∗
∀∗)5 )∋Ο ∗∋ ∋ϑ∋ #
)∋5 Ε5 4∗5 ∋ ∋ ∋∗5
∋ ∀2 ∋5 )∋∗− ∋∆ :
( ∋ ∋) ∋ ∋ Ε∋ ; < 5 #?∋ Α∗ ∗ Ε∋ ∋) #∋ ∗
) ) ∋#)5 )∋ ; 5
∀∗ ! ∋)∋− ∋ )∗∋ ∋#)
5 # Α∗ 2∗ )! ∗) #Α∗ # ∗)
4∗∋) 5 Α∗ ∋3 Ε ∗∗
∋Ε∋ Π%Γ5 3 7ς5 ΜΜΜΘ3
∆ )Ε ( ∗ ∗) 4∗∋)5 )) 4∗∆? Χ∋! 4∗∆? ! ϑ ) ∋ ∀∗
∗ ∋∋ϑ∋5 ∀∗ ∗ ) ∋∋ ∋)5 ! 2Ε )3
)5 )∀) ∋∗ )? ∋∗! ∗ ∋
)5 4∗ )Ε5 )∋∗ ∋∆ ∀
∋∀∗
= Γ∗! ) 3 5
5 ∋∗)∗ #∗! ∋) ) ∋Ν∋ Π%Γ53 7ς5ΜΜ 8≅5Θ5 )? ∋5 ∀− )Ε
)2 Π%Γ5 3 8ς5 3 ≅ς55 5 5 5 ΜΘ3
) Α∗ 1)2 ∋∗ ∋ ∋)
∗∋ ∗ ∋ Α∗ ∋#) ∋) )25
∀∗ )2β #∋ )! ∀β ! ∋?
Α∗) ∗4! ) ∗! ∆ ∋) Π!Θ5
∗ ∗ ∀ ∋∋5 ) ( ) ∗ 1)2
Ε) )∋! ∋∆ ! 2∗#∋3 ∀?
∋5 )2 ∋Α∗ ∀ )5 #
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 83/98
Ι! # ∋ 4∗)∀ ∋,! Α∗5 ∗ ∋ ∋) 5∋2∋ Α∗ ∀ Α∗ 4Ε 2 ∋2 Α∗ 5 ∗∗ ∀ϑ∋5 Α∗ ) ∗)5 ! ! ∋ ) ∋ %) +Ι3
1( 11 8α ∀! Χ φ ς 3 88 %Γ5
∋∋)∗ Α∗ ∀ ∋) ∋ )2Φ
Ι ∀ ∋) ∋ ! 6∋∋ )∀ ∆ ! )2 φ ς5 3 88 ∋∗!03 Π11 8α 3 9 ≅8=8<< 9 =α 13 9 )3 ∗?3 Κ)& %)2 9 ≅3=38><>Θ03
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 84/98
%∆∗) 8
.
1( 5 >γ ∀ ∋∗∋)5 ∀∗ ∀5
1∆∗) %∗!5 Ι . ∋ %Ι5 ∀ )2
∋ϑ∋ ∋ ∗ Χ∋∆∋ #∗)
Α∗ ) #5 Α∗ # ∀∗) )
≅3≅<=5 4∗2 8><>3%(5 5 ∋ Ε∀# γ >Ψ ∀5 Α∗ ϑ Α∗ 5
6 7 58
)∗∀5 ∋ Α∗ ∀ ( ∗ #∗)
∋ %∗! )5 Α∗5 5 ∀
>γ ∗ ∋ ϑ∋ ) ∗ )2 )
∋ϑ∋ Χ∋∆∋ Α∗) #∋∗) Χ∀ϑ∋ ∋∗ ∋
Α∗ ∋#∋ Α∗)#∋6 Α∗ ϑ ∋) #)∀ ∗ !3 ∗ 45 ∗? ∗ )5 ∋)∋6 ∀ ∋
Α∗ Α∗ )∀∆ ∀ ! , )25 ∗ )25
( ∋) Χ )6 )( ∀3
Α∗5 ∋∋− ∃Α∗) ∋)∋!5 ! Ε) Α∗
( ( ∃ )Η∋ Α∗ ) #)∀ ∋
∋ ∋) ∋∗5 )( ∋ Α∗ ∀
∋ ! ∋ Κ) ) ∃ ∋Α∗ ∀∋!5∋− ?6 Α∗ 4∗#∋ Α∗) ∀#∋ ∗5 #∗)5
∗ ∋∗∋) Α∗) #∋∗) ∋)3
∀∗65 )5 Α∗
#) ∋6 )∀ )∗∆ ∗ ∗) ? ∗ ∀ ∗
∗∀ ∋)Ε−)5 #5 ∋ ∗3
Ε∀# γ5 ∗5 #− ∗ ∋ ∗5
∆∗ Α∗ ∋∗ ∀ ) ∗ Χ∋∆∋ ∗
6 )∆∋3 )5 Α∗ ! Χ∋∗ # ∋ Α∗ ∋∗
∋∗)) )∀∗(5 Χ∀ ∋! #∋!
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 85/98
)5 Α∗ ( ∗ #∆∋)5 ! ∆)5 ∋2 ∗ ∀ ∗
)∀∗ ∋)! 4∗∋) ∋∗ )∆∋ ∗ ∗∋ Π #∗5
5 2Ε ∋5 5 Α∗! ∋∗) Α∗ ∋)6 4∗∋ !
! Χ∋∗ΕΦ ! Κ ∋ ∋ ∗ΑΩΘ3
3∋ 2 ∀ Α Α (∃( ∃ ∃%& 2
∃∃(#∋1
% )2 # Η #3
838 . Β∗ ∋∋ ∀Φ
• ∋6 ∋ )23
• )( )2 ∗ Α∗ ! #
∋)?5 Α∗ ) ∋ )2
Π∋∋ ∆ ∗ ] )2Θ1 (
(%& 3∋ ∀ ∗ )∋ ) ∋ ( 0) ) ∀
∋∃1
83 − +(− ∀
∀ ( ∋∗∋ ∗ (−5 ∋ ∗ ( ,∀!
∋∗∋! ∋)5 ∀ ∃ ∀ ∗ ∋! )
&( Β∗)#∋! ∀3
83= − +Α∗ ∀
+ ∀? ) ∋! ∋) ∗ ) ∋! ∀
∗ ∋∆#∋ )2 ∃ ∀3
83 − +! ∗∗! ∀Φ
Κ∋ ∀ ) !
)25 ∗∗ ∀ )2 Α∗ ! )2
∋ )∋ ∗ 3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 86/98
837 − # ∀
)2 ∃ ∗! #∋ ∋∗)
∗! ∗ Π∗! ∋ )2Θ3
83: − +! ∆ ∗ ∀
) , ∋ 5 ∋Φ
• % )∋∗∋6Ο
• (∋5 2) ∋Ο
•
)∗ Κ)∋5 #∗ΕΟ
• ∋ Ε∀∗5 ∀5 ∋∗∆ 3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 87/98
%∆∗) 87
%) ∋)
∗ ∋) Α∗5 ) #∗ ∗ ∗∋
%) 1)2 ∋)5 ∋ ! )∀∗ ∋ Α∗
∋ ∗ Η∋5 Α∗ ∃ ) ∋)5 ∋∗ )∀∗
∋63
+5 ∋ Α∗5 ) ∋)5 ∋ ∀∗ 2∗ #∗5 ∋2∋ ∗)∀ ∋)5
) ∋! 15 , #∋ ∗ )∗ #∋Ε∋
∀∗ ∃ ∗ ∋) ∋3 ∗∀ ∗ ∋
∋! ϑ∋ ∗ ∋∗! ( ∗
Χ!5 ∋ ) ) ) ∗ ∀ !5
Α∗) ∋− ∗−∋! ∋#) ∀Ν∋3
2 )2 Α∗ # ∗)5 4Ε (∋ >5 ) ! ∋∋ ∋∋ #Φ ∗5 ∋∗!
∋) Α∗ 5 Α∗) ∆5 Ε )∋6 ∋
∋) )2 ) 5 ∗5 ∋∋)∗! , ∋ ∋?
)23
∋?! Χ∋∆∋ )5 ∗
∋ Α∗ Α∗ ∀2 ϑ∋5 Ε− ∋Η∋ ∋!
)2 )!5 ∗ #ΑΩ ∗5 Α∗ )∋) )2 3
5 ∋! Α∗ #? #ϑ∋ ?! # ∗ ∗
∗ ∗ ∋∗5 Α∗5 ∗ 45 − #∋
∋ ∗∀6 Α∗5 )∋5 ∗! #∋∗) ∋ )∋)
)2 Π) Α∗ ∋Ν∋5 )! ∋ ∋ ∗5
∀ ∋)∀ ∗)?! !−− ∋)?5 ∀∗
)25 ∋3Θ3
1−5 #5 ∗ ∋! Α∗5 ∋ ∋∋ Κ∋)
∗5 (5 5 #∋5 ∋ ∆ ∗ ∀5 ∋
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 88/98
)?! ∀∋! ∋) )5 Η )2
Ε Π∗ ∗ Θ3
Α∗! Α∗ ∗)∗ ∗ Α∗
Α∗ ) )25 5 5 Α∗ ∋ ∋)
)2 ∋∗5 5 ∗ ∋ Χ)∆∋ ∃ Ε∋ ∗ ∋
∀∋) )5 )∗Ε Π∋ 6 %6 >< 87 1Θ
∋ ∗! − )2 Ε Π∗ ∗ )∗)Θ3
&5 ( ∋ ∋∗ Α∗5 ∀∋) Α∗ ( ∋5 ∆5
5 Ε 6 6 ,∀! +
Α∗5 ∗)? 2∗)5 #∋)5 5 ∋ )∗6
#∋∗) ∗)3 5 ∋ ∋)5 ) ∋ ∀∋ Η5 ! ∋!
)∀∗ ) %∗! Κ)∋3 1 ∀,∋ 4∗∆∋ Α∗
! ∋∗∋)3
∋∋ 6 6 Α∗ ,∀! 6
Κ)∋ Χ )5 ∗ Χ) ∗ ( Α∗ ∋ ∗
Η 4∗∋3 ∀∗)! ∗ ∋#)5 ∋) ∋Ν∋5 (
)5 ∗∋ ?! ∋6 )25 ) , 5 ∗ # ∗Ν3
+∀∗ ∋ ! )∀∗ Ε∋∗) Α∗ ∋
∀∋! ∋ )5 )∀∗ ! ∋ ∃ ∀?!
∋) )3 ∋! ( ,5 ∋∗ 3 <γ %∗!
Κ)∋ #∋ ∗ ! ) ) ∋)3
Α∗) ∗ ∋∗! ∋5 Α∗ )∋ ∋ ∋Ε
∋?! 5 ∗ ∋6 ∋∋ 5 Α∗5 5 Α∗ )∗∋!3
)6 Α∗ ! # ∋ ∗!5 ∗
Α∗ ∀ ) ∋∋ Ε ∋Ν∋
4∗ ∗! #∆∋5 ( Ε) )∋!
∋ ∋ )∋ )23
∋!5 ! ∋∋ ( ∋−∀!5 5 ∋
∀ ∗ ∋∆5 ∗ 5 ∋ ∀ ∀∋!
∋) 5 )∗Ε Η ! )2 ∋∗) ∃
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 89/98
∗ ) ! ∗Ν ∗ ) #∋Ε∋ ∗ ∋ ∗) ∗ ∋)
)23
%∗5 ! ( , ∆5 ∋∗ ) ∗
∋∗)? Α∗ ∀∗5 )∋ )2 5 Α∗
∀∋! ∋) )23 ∋ ∀∋ )∗Ε
∋ ( ∋5 )( ∀5 Α∗Α∗ ∗
Η )) ∋)2 ) ) Α∗ 4
ΑΩϑ∋ Ε)∀5 ∗ 45 ∗ ∋! ∀∀#∋ ∗ ∃Α∗)
3
5 − Α∗ ) ) #! ∗
∋! Η ∀∀Ε#∋ #∗∋) ∗ )∋) )25 ) ∋ ∗ ∗ # ∗5 ,
∋ # ! ∋) ) ∋)3 ( Α∗
! ) #! ∋ #∋5 ∋∗ ∗∋
Α∗ )2 ( ∋ΑΩ5 )?! ∀∋!5 Ε)∀5 Η
3
15 ( ∆) ∗)? # ∗65 ∀ 4∗∆∋
) ∋ ∆5 ∀∗ ∋) ∋3 ∗ ∀ #∋5 ∗ Κ)∋ ( )∀)
∋Κ ) ∋) ∗5 ΕΧ5 ∋
! ∀?! ∋)5 ∀∗ ∗ ∋)
ΑΩϑ∋ ∃ ∗∋ 5 ∋ ∆ ∗ ∋)3
5 ∗5 ∆ )∆∋5 ∗
∋∗∋) ∗ ( )∀)! Ε5 ) Χ! ∋Κ
) ∋)5 ∋ Χ∀ ∋∗ Α∗5 ∋ ∗ ∆ (∋ 3
Ψ ∀∗ ∋) Α∗ ∋ )?! ∗ ∋)
3
∗!5 ∋− ) ∀∗ ∋
) ∗ ∀?!5 Α∗ 2∗) ( # ) ∗
∀ ∋∗! ∗ #∋) ∋)5 4∗∋
3
+ ∋)∋ # ) ∋∗∋) Α∗ )∗ ∋5
Α∗ ∀ Α∗ Χϑ∋ ) ∋) )5 ∀
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 90/98
) ∋∋∗ ∋5 ∋ ∗ )
∀?! ∋) ∗ 5 Α∗ ∗ ∗ )∗)5 ∗)
#! ∋ ∗ϑ∋ Η3 5 5 ∗!5 ∗
∋ϑ∋ #) ∗∋5 4∗∋ Χ∋∆∋ ∋3
Ψ 6 Α∗ Α∗ ∋)Χ
∋)5 Η∀∗) ∗) ∋)5 ∗ )5 ∋ )5
−5 ∆∋5 5 ∀∗5 ! ∋)
1)23
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 91/98
%∆∗) 8:
∆ ∋)
∆ ∋) ! 6 4∗∆∋ − ∋5
Γ6 ∗ %#6 )2 ∗ ∀3 ∗∋ )∗!5 4∗ ∃
∗ 1)25 Α∗6 Α∗ ! ∗ )∗∋ ) ∀∋!
3
∀∋! ∋∋)! ! Α∗ ∋ ∆∋)3 ∋ ∋ %∗! Γ)5 %)! 1)2
∀ 115 , ∀ ) ∗∋!5
∋ ∃ ∗ 1)23 4∗∗ϑ∋ 11 ϑ Χ!
∋5 4∗)∀ (5 ! #∋ ∋ ∀
∀∋!3
∗∋ ∆ ∋)5 ∋ ∋ )?!
9 +, +,3 ∗ϑ∋5 ∗ & ∗Π+ 11 ∗ ∗∗ ) ∀Θ5 − ) ∃ ∋)!
∗ ∋ Α∗ 2 # ∆3 & ∗ #∗) ∗ ∗
43 ∋ ∋5 ( ) ∃ 2)∀! ) !
∋)? ∆ %)3 % ∋Ε5 & ∗ ∃ #
∗!5 Α∗) ∀ # ∋)2 #6 Κ 4∗)∀
(3
∋ ( ! ∗∆ ∗ & )5 Α∗ ? = ΧΕ−) Ε−) & 5 Α∗ ? 87 3
∋ ∗∀ϑ∋ − ∋) ∀ ∋ ∗ ∀ Η∋
∋∗ −5 ) ! ΕΧ ∋5
4∗)∀ ∆)3
! 4∗)∀5 ) #? ∗ ∗ ∋3 ∀∗5
! ∋∋ ) ∀ 3 ) ∋)
∗ 5 ∀∗ 3 ; ∀ϑ∋5 ! ∋)2 ∗ ∗3
∋)Ε∗∗) ∋ ∆ ! ∗ ∗3 +∋) ∗)5
) ∗ ∀ Π∋ ) 4 ∋Θ ? 8
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 92/98
) :,5 Α∗ Ε ∗)∋ 3 Α∗
∗ ! ∋!5 , %5 ∀3
∗ϑ∋ ∋∋)! ∗! ∋ ∋ ∗
&( +Κ)∋ 1)25 Α∗ ∗ ∋ )5
, ∗ϑ∋5 ∗ ! 4∗)∀5 ∗ ∋3
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 93/98
%∆∗) 8≅
∋ 1)2 9 ∋ Α∗ %) 1)2
∋ ∋Η ∗ ∋ ∋∗)
∗ ∀5 ∋∗ ) ∋) 1)25 )
∋ # ∋∗∆ ∗ (∋ Ε∗5 ∋∗) :3 )
1)25 ∀∗ ∗ ∋(∋ ∗) )25 ∋∗
∋∗ # ∀? ∋ ∀ ) ∋∗ )25 5
5 ∋∗ ∋(∋ ∆ ∀3
∆ Α∗ )∀)6 24 #)Χ)?!5 − ∋
#∋) ) ∀∀Ε#∋ #) )2 ∗! ∋!
∋ )23
Γ)− 5 Ι∀∗)!Ι5 ∗ 45 ∀
∗! ∀ 5 ∋ ∋ )∀ )
∗)!3 #∋− ∗ ∀#∋ ∋∗ # ) )25
− Α∗ ∋6 ∋) ∋ ∗
∋3 ∗5 )∀)! )2 Ε ∃ ∋ ∃ ∋
6 ∋4∗∗3
− # 5 (5 ∋ ∀ ∋) )
∋∗5 ) ∋(∋ ∀) )23 5 ∋4∗∗
# )2 ∗ ∋6 )2 #Ε −Α∗ )(
9 ∋Α∗ Α∗ ∋∗ ∗ # #∗∋ ! )23
1)2 #∋5 ∋ ? 5 ∀ ∀∗
∀? Α∗ ∗∋ ∋ ) Π5 ∀?6 ∀
∀?6 )2Θ5 Α∗ Χ ∋6 ∗ ∋ ∋3
∋) # )Η∋5 ∀2 ! ∋6
)∆∋5 ∋Ν∋ ∋3
Ψ ∀ ∀∗) ∋)∆ ∋) Ε ∋ ) ∋! ∋ )2 ∗Ν5 ∗ ∗ Α∗
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 94/98
∋∋! ∗)5 ! #∋ ∀ ∋ #
)Ε ∀?! Π , ∋4∗ ) #)−
∋?!Θ3
∗) 1)2 ∗∀ ) ( ) ∋ ∋∋!
∋)3 ΓΝ 5 ∋ ) )∗! ∋ ∋Ν∋5
∀ ! ∋ ∋ Π∋5 ∋6
.Θ ∋∗) # Χ∋∗ )∆∋ ∋Ν∋ ∋)3
#Ν ∋ ∗ ∆ 5 ∋)?5
∀∗ ∗ ∋∗ ∋ #∋Ε∋ ∗ 3 Ψ , Α∗
# ∋ ∃ ( ∋!5 ∋∋! ∗∋ ∋5
Α∗ Χ ∗ ( )∀) Α∗ ∋∗Φ ∗ ∋ Π3Χ35 ∋5 ΕΘ ∋
#6 ∋∗ Ο # ∋ (∋∋ ∗
, !5 ∗−) ? ∗)? Α∗
∗Ο ∋)? #! )∆∋ ∋Ν∋−
∋ ∋ Χ∋∗!3
( ! Χ− ) ∋5
∗∋ ) . ) ∋#6 % ∋ −5 ?5 ∆ ! Α∗ ) ( ∀! 3
∗ #∗! ( )?5 ∆ ∋)5 )∆∋
∋∋! 5 ( Α∗ Ε
)2 !5 ∗?5 )Ε5 ∀ ∗
3 Β∗ ?Φ 4∀ ! ( ∗ 4∀ (∀∋ ∗ ?3 +)
∋Ε5 ) ∋ ∀2 ∋)! ∋#) ∀∗5 5
∀ ( Ε∋5 ∋ ∋ 4∗ ∆) ∗ ∗ #3 ϑ ∗∋ ∋∋! ∋) ∗
∋ ∋) )∀3 %∗5 ∋ ∆ ∗∗ 9 ( Χ) ∋ ∗∆∋
! ΧΕ ∗) ∗ ∋∋! Α∗ ∗)
? ∋) ∆ ) ) ∋Ν∋5 ∗ Α∗
∋Ε∋3 & ∆ )5 − ∋ ∗∋ )Ε5 ∋
Ε) ?2 25 ∗? ∋−Α∗ Α∗ ?Ε)
)?! ∋Ν∋ ∋)3
Ψ Α∗ )) ∗) )
∋ΕΦ ∗ 5 ∗ ∀)?! ∗ )2 ΠΧ ∗
7/17/2019 Bruno Alves de Oliveira
http://slidepdf.com/reader/full/bruno-alves-de-oliveira 96/98
∃(&
) ∋ Α∗ ) )?! ∗ )2 (
) #∗ Α∗ ∋2∋ ∗ )2 ∋3
∗ ) Α∗5 ∋ ∋
∗ 5 Α∗ 2 )! ∋2∋
∗5 ∗ 4∗∆? )5 ∗ ? Α∗ ∋∋)∗
∗3
#∗− ∀ ) ! ∋2∋
Ε)5 ? Α∗ ∗ # )25 ! Χ)25 ∋ ∗ ∀ )3
+ Χ! )2 Χ ∋ Ε ∗5
)∋ 5 5 ! Χ Ε−) ∋ ∋∗ ∋5
∗ ∗ ∗5 Α∗ ( Α∗5 # )
∗ ∗ #∗ 3