Download - GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Transcript
Page 1: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

!! ∀ #

∃ ## %&!∋!%&%!#!

& (

)∗+,−+),,.

Page 2: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

/ 01 %∋ 1 ## ∋ ! ## ! %2 0 %& ∋ 1##3∀ #

145 0!# 67 ∋∃75&!0 ! !1 %∋8!9 0 ∃!& # 9:%#; 9%&∀#;

!∃ &∀#!# 1 ∋!9(9#<

/%∀ #&9! ∋#7&!#!8= #67 %&47 01!!67 !5970!#!%>!#

& %2!0#7 ##%! #5! 7&!#%?<

/ !>! #&!&≅9!# ∋ %& ∀ %>? 1#1 ∋!9(9! ! 1!& ∋ 70!

1 #1 &∀!1##5%973#&!<

Page 3: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Page 4: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

!∀ # ∃

#

%∃&

!

Page 5: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

() ∗ #

+ ∃, −

./ #∃

∗ ∃ ∃ 0 ∗

12 ∗ ∀

∗, ∃,

∃ ∗

∀() ()

(& ()

3 ∀ & .()

#)

#() .

∀ & .() ∃ ∃, ()

∗ . ∗.

&

.−4 5/ ∀#

. ( # ) ,

−#) 5/

3 #∀ ∃,

,() ∗3∀∃

() () ∗

() ∗ () ∗

. − # .)

/ 3 # ∀ & ∃

() ∃ + 2

∗−, ()/

Page 6: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

6

# ∃ # ()

.()∗

∀,&

()

7 ∗ 8 ∃

99 ( − 6: / .

−#()9 /∃ .

1 &() ∗

∃∃ + 2 ∗

() # 2

2:;< :=

> ?∀

> !& ∀

2)∃≅ #

()&∀2

& ∗

#& 2 2

&#2∗, #

Page 7: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Α

ΒΧ7%?Χ∆Ε74Χ7Φ!7%3?Χ7∆1∆!:;Γ7 ΧΗ∆!Γ3Ι?!ΦΧ7%Γϑ7ΚΛ3ΦΧ43 ∆Μ∆Χ4Χ7Φ%Χ%14Χ37?ΒΧ7%Γϑ7ΚΛ3ΦΧ43 ∆Μ∆Χ473Γ34ΦΦ3 7ΦΧ73∋Α?7Ν!7%3!%3 3?3∆Χϑ?ΧΚΛ36∋6Α 6Ο

Page 8: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Β

Π & () ()≅ #

. 8 ∗

∀ −/

∗Θ −4∗ Ρ 4∀ Χ :=

:ΟΟ6ΧΧΧ437∆ΓΦΦΦ3ΙΓΦΧ?ΧΓ3 ΦΧ43 ∆3∆Χ/

Φ Ι−;;;/∃(

>( ∀ & ΣΧΣ ∃(8 !

2 () ( # )

3 ()

Ι

∗ ∃

2∀#

∃ &

2 ∃,

()

() ≅ &

2 () ( −) )/

∃& ∆ ΧΧΧ 4 Ι 4∗

Ρ:ΟΟ6

∃&) & #

2 ∗ & #

92 &

∗2 2

∗ ∗4#() ∗&

.()()∀

Page 9: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Ο

#& #2 ()

()Τ. () ∗5

0 ) . ,

.(8 ) ∀

# .

Χ()# # 2

2 −> ∗ ∗

7/

() & (8

∗∀ ∃

() −

()/<()# −

2 ∀ / ()

− (8 # /

∀ () & ∃

∃, & () ∀ ∗& 3

# & # ∃ # #

# + . ∃ # 2 ∀

∃ 2

Ι −:ΟΟ/ # ∃ .

() , ,4 ,

()∃∗4 # &

#8 )

∗∀ 0 ()

() 1

()∀#

∃ ∃ ∃

− / −Υ∀/

Page 10: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

:;

4ς%1?3Χ

Χ7%?Χ∆Ε74Χ7Φ!7%3?Χ7∆1∆!

3,()

−/ −/ ∀ ∃0

∃, ∗ ()

∗# ∗ ∀3

.

& 2 ()

()() −/

()<

∀# (8 (8

2 &

.≅ () ()

#

& , () ( &

. ∃ Ι −:Β∋Α

:Ο::/# ) !& Χ Ι

Φ :Ο;∋ :Ο;6 % . ) !&

Χ Φ Ι # ( 1

∗7+∆!

3 ? ? % ()

# )ΩΩΙ.

() 7 & ;

. :ΟΑΦ

∗ ΞΞ

( ∃ (

−Ψ:ΟΑ4:ΟΑ6/

Page 11: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

::3 ∗ (

∃3

∃ # ) .

∃ (8 (8 # ∃2<

∀ ∃& ∃ 3 ∗

. #

(8 ()

()

3 ∀

≅ 7 ∃

) ()

(8 (

3 ∀ ( ∀

!∀#∃%& ! ∋(#

1 ∃ #()

− .)/

# # . .) ) )

<#?Ζ[#

0 )

# . #

)<&∃∃#

) , 8 (8

) )

&

Page 12: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

:

∃ )∃ &

0 ∗

2 2

∀ && −Π &Θ/()

)

2

∃∗ ∃∀+##∗ ,− +)#!.+ &∃ & ∃ ∃∗

(8 & #(8∗

−∗/)∀ ∗

() (8∗

2(8

.

Ν % 4

() ( # ∗ ϑΩΖΩ ,

∃ #

(8 ∀# (

. 7 . +

∀()

%∀ #(

) #∀∃

.()& ) #

# # () )

()

#∀∃ () # ∃ (8

() #+

Page 13: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

:

+)#!.+∃ ∃(

∃& # )

0 + () ∃ ∃ 0

ϑΩΖΩ ∗

.

)

2− ∃∗/

# ϑΩΖΩ ∃(8

() )∗

/,01∃21#

3 &∃ & &

,∃1∃21&∀,∃1∃21&∀2

& − 0 / ,#13&! ,44#!!&∀

∃& &.∴∗∴

#&:;]=⊥& )

, ∃ & ∃ #

∃ ∗

3& − / #

#&# Ρ# &∃

2 Υ∀ &

∃ 3# 3

& + ∗ ∀ + # &

≅ () (8#)

% Φ)

##&∃()

(&∀ (8

Page 14: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

::Ο;Φ3 ∃

8 ∃ & ∃

3 #8&# )

# ∃ # # 8

& ) ) 4

3 . . ∀

& #( &)

% ∃ .)

. ) #() ()

0& .

() #.()

0&.()

.()&& # & &∃&

. (83 .() &

, +() # & &

# .() −() ∃∗/ &

# + &

?

∃() #(∃)2

,&∃Π∃Θ

&∀

3 ;; . &

⊥ ∃ ),

∀ . ) ∃

, )

( ) &

∃ ⊥Φ ∃

( < &

Page 15: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

:∋

() ∃

Π, Θ Χ 2 ∴ ∗ .

∴ &∃ ( &

. (#. & ()

∃ ∀ () ∃

. (3∃2 &∃ 2

# ⊥

?(∃ ∀2# ) ()

#

# &∃2

∗) 2 ,

∀#(&∃ )

))# #

5 ∃!∃∗#4∗ ∀∃#6 4#)∃0 ,#∃##)∃0 ,#

(8 ,

# & , # ΤΧ () (

& . &

() () ()

() 0 3 ∀

∀∀ #

() ()∃()

∗() #.

#∃() ∃()

() ()

Page 16: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

:6 ∃0 & − /

:.

& 2∗(8(8<

(8#

1∃∗ &

(

∗ ()

()∀&−:ΟΑ6/

∗)

, () ∀ & . ()

∀−ΠΘ & #

#<# #

(8

/

Φ)# (8 (

()() ( &∀

+ () 0

∀ 8

) ) &

()

()#∀∃)

0∗ϑ#)

( () Π

(8 0 ∗) . ()

−()+∀#∀/Θ−:ΟΑ6/

:3 2& #& ∀3 ∀

Page 17: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

3 ()∃

#

∃ ∗ ()

∀ ⊥ ()

()

− & :Β9 / &

< − :;9:: / &

()

∗<≅−:∋9:6/∗

∀& ,) ∃ #

) ∗# .∃

784 34! ∃4 )9, !

∗2 # ϑΖΩ ∃

Υ∀

[_ ∆ # #

# # ) &

≅ ≅ #

≅&

3 ∆ :ΟΒ ∃() ∃

# #∃

# # Χ

Υ∀∗2

&

Page 18: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

∀ #

() (8 ∃

∃ () () ()

. ()

( & ∃

.(8

) < # ∃

)

:∃!∀∃#

∀ (

# # ) # # (

& # # #

Φ ∀∀ ∗ (&

(

# ∃

(8 ()

∀ −

/ −/

Φ #

∃∗ & () ∀

.()() #

.()7()()∃,

3 +

∃ & # 7

(.∗#

Page 19: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

ϑΩΖΩ

( ) &

∃2 −/ . .

# () ( #

))(

4(. ∀

.

ϑΩΖΩ

∗()()4#

() ()

∃ .() ∀

# .

∗ .& .

∃() 2

) ()

. .∃)&

#& ()−/

−ϑΩΖΩ/

; )&)∃∀

Π> &

# &

∃()Θ−4[3!ΦΨΝ?Ω:ΟΒΑ;/

& ∗ )

Υ∀

( ∃&(

.# &2

Page 20: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

;

αΦ ∃ (∗&∀# ,2

) ∃ 7

& ∀.

# ∃

2 ∃ 0 2

≅∃

& & # . # )

() % (

# , ) )

∃ . & .

∀ Φ

&() 2

& () ∀ ∃ # &

+

;< )&)∃∀∃! ) 6 ,∋(#

Π? & () ()

() + ∃.() () Ρ

∃.()#∀∗ #∃&

Θ ? Π ) & .Θ∋ # ( )

# <

8 #() ∗

#()

Χ?ΦϑΩΖΩ:ΟΒΟϑ >:ΟΟ∋Β∋?ΦϑΩΖΩ:ΟΒΟ

Page 21: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

:Φ ()−

+( 6:;::/ ()

()− :::/2

∀ ∗ # . Π

Θ−Φ/ ≅ ,

(8(8 #∃ ()

.() # ∗

∃ #

,(8 (8 #()

( ∃∗

Π∃Θ # 2

# # ∃ ) ∀∃

()∃ ∀∃<

ΠΘ).

##

4 () (8

∀∃∃ #

. &∃ & &∃ 2

2 () − /

(8

ϑΖΩ ∃∗

# () & Ρ #

.() (),∃,

Ρ # (8 )

. ∀

∃∗ () , (8 #

() 2 (8

∃ ) () ()

(8(8

Page 22: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

;/= ∃11%& >4 )&)∃∀

!ΩΖ∃−:Ο6ΑΟΑΒ/6 #.

, − () /

#2

#() !

Φ8#() ∗

#() & #

2 #() >.

() () & ,2

( & :;:: ϑΩΖΩ ∃

( Ρ

#(∗

∗ β # ( (

2

?

& ∃()

4 ∀ Ι# −:ΟΑ;/Α

&

∃ , #() 7 (

#()() ∃,# ∃

& ) ∃, #

# () <

∗∀#∃,& )

( #

2 ≅ # # )

) −/) −/

#)2

6Χ>37Φ4ϑ :ΟΟ∋;ΑΧ!?37:ΟΟΑ:Β

Page 23: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

> &

# #

∃8+ #.

, . 9 ) .

,2 #

##) <9

. 9

() ∀∃2 −/ () .

−/#∃8

?#! >∃1∋≅∃!6 !

&∃∗ ∃

∃ ,

& ( + # .

(8) ∃ (∗

)&

() − ∗/

#) # Υ∀%∃&)& #

# ) 2

2∃() Ρ

()∃∗ .()#& 2+

∃() .& 2

() # . #

Τ

2 Ρ

( # 2∃

∃ (8 ) .()

) ∃ ()

Υ∀

Page 24: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Α

3− ∃/

.() ( + .

∃∗

.#∀

() # . ∃

∃)

∃ ∗ #

8 ΞΞ ∃ ΞΞ<

∃ ∗ 2

< #8∃

.() Ξ( ∗Ξ ∃ ,

< .∃

() .#2

<Φ ()

≅Φ ∀

.

∃ .

. () #Υ

,#> , #∀∃# .

∀ # ∀

∃ Π Θ Ι

Π ΘαΠ∃Θ()

% Ζ ∃! # ∃ ∃11#Β . &

# ≅ ()

∃& )∃!4 !∀# , α Ψχ

Ψ 0 ) ) ()

∃2 . ()

()

Page 25: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

∋∆ () .

)# ∀ . #

. ∀

.

# ∀ # ) .

. − 0/

()∃#&

∃() ∃,

() . 2 .. −

/ & .

∃ #

()

3 . − . /

(8 , (8

∃ ∀ #

∗ &∃

∀ .

α&∀∃&#∀

/Χ∗∃ !>∃31∃> ∆)∃∀

Ξ & # # 0 + () ∀ # ∃ ∃∗ ∃ ∗ΞΒ

α& #∀

∀ () ∗

∗ &Γ. () 0

& ∃∗

.Β 4() Φ, αΒ6

Page 26: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

6 ∀ )

∀ ,

( + #

() 8 () # ∗ 2 + ()

∀() )

#(8∀

3∀ + .

(8 . )

) .() (8

∃#() ()()

(87∀ ∀ ()∃

Χ #

() . ∃

#

& ∀ ∀ . ∀

∀ 3 + (8 #

∃()()

+∃ .)2

() 2∃ ∗ ∃

(

//∃&1#6 ! #4#) >31∃> ∆)∃∀

. ∃ )

⊥ ∃∗ ) ⊥

∗∃#∀#

∀ Φ Ο

()()

ΟΧΦΧ?ϑ!4∀ :ΟΟΑ:;

Page 27: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Α () () & (8 ∃

−/ (8

() 3 () (8 & ∗)

# ) 2 ) ()

. & ∗)

. ∀ ΞΞ& # Α;δ& )∋δ&

() ∋δ & ∗) 2 (8 0

() &

∃ & ∃ ∗ ∃ −

∀/Γ ()()().

(8 Ρ 2 () () ∗

() ≅ ()

&.,

∀ ∃ # . ) ∃2

() ())

/5#4#) ∆∋(#>31∃> ∆)∃∀∃61,!!#∃!,#41

Π.() .) # () () ∀ (8)(8 ∃ ( # ( Ξ∋

Τ ≅

(, .∃#

∃.

# ∃()

()

) 2 ∃ .

∋∃()Φ&Χ &:ΟΟ

Page 28: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Β

&2#∃∃∗− &)/

∃ ∗⊥ ≅∃

7 &

() # )

∃ ∀ ∃ #

∃ ∴∴

≅ 2

#Υ ∀

7 , (

() (8#

##Υ (,

()#& )

ΞΞ# +()

( ∃ .()

. ΞΞ Ξ ≅∃Ξ 3

( . 2

( ∀ ≅∃ ##

∗ ) + +

(8 (8Φ ∃2 ∗

∃ −/

)9() 2

∃ () ∃

.

Page 29: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Ο

() + ( & −/ −/ −/

−/ () # ( &

# ()∃ #) (8

# ∃() ∀ #(8 ?

() .() ∀& )(

∗ ( ∃

Φ#,∃ )

& Ξ( Ξ ) . Ξ

Ξ< & Ξ ()Ξ ∃

Ξ ()Ξ< & Ξ( ∃ Ξ

ΞΞ Ξ Ξ #

1∃(

∃ . ∃ # ∃

2), ∃

∃(8 # , ∃ ()

.()

( ,

3#+.&

∃ # .

() ( 2

#

Ξ∃ ) . & ) ε(8

φγ∃(8φ#+ .

, Ξ:;

:;!??:Ο

Page 30: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

;/71#24∃∀!>∃31∃> ∆)∃∀

4 ∃ . ## 2 # ∃#

. #

∃ ∃2 ( ∗ )

.#

( ∃ . ∃.

# .() .Ρ

#)&≅#∃(8 ,

∗ ∗

& ∃& 2

2 ∃

() 2 ∗ &

) Π.()Θ Π

ΘΠ#−∃/&Θ

) ∃ ∃

. #

#∀.

. #) .

−# ∗ . / # ≅∃

.

/7 !812 #!>∃31∃> ∆)∃∀

3 ≅∃ . .

( ∃

∀ # ) , () ∃ () #

. Φ) ∀ # (

Β;δ ≅∃ )

++

2 # & ∀∃

2

Page 31: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

:/7)#!

Ρ (8 ∃

2 −/

/7/31Ε

Φ)∃(8 #

7(. &

()&&. ∃2<#(&.

∃ & .

.2

/75 !,4,&4

Ρ ∃ 2

∀∃ & 2 ()

#Υ ≅# 2

/77< !)16

Ρ Ρ∃#

# ∀(

() − / .

()

/7:< !31Ε

Ρ () 2 (#

()#& ,

∃, 7

Page 32: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

/7;<= 3∃1 ∗ >>∃Ρ () ∗ 4! − ()

4∃!∀/ )

. ∃

[ .

()() ∃,

!. & ∃

( )

& () () ∃

! [ ∴

% ()[ ∃ #

# ∃∗ , [

∃ ∃& # ,

# ∃ , Ξ, Ξ

/7?<∃14 >>∃,1&∆>∃4∃14 >>∃ >∃6 >? & .()

) &

∀ #. .

∀ # . #

.

. & () # #

.) )

. #

&. .(# )

# ∃

∋ ? & #

.()

Page 33: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

/7Φ< !4∃Ε

ΠΡ ≅∃ ∀

.

!

∗ ()

) ) () +

() #

≅∃

( #()

Θ::

&∃)

∀ # & )

( () &∗

2 &#

&∃ 2 7)

2

# &∃ #Υ

()

∃ () ∗ () 7

#, 4

& # &∃

#Υ ∃ &

, )

& &

Ι : ? ϑ Γ !∃ α

4α Ω% α∆ ∃%44

6;;8 ##:;δ ()

:: () Χ Χ Ω4 ∃:ΟΟ:()Ι %::∋ΒΑ∋6Β___ ∃

Page 34: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

/7Φ #∀!>> !4∃Ε

() ) # ,

&##

310∃!,#4Γ >>∃∃!,#41Γ

η> ()<

ηΧ (<

η

<

η <

η (8<

η> ()<

η #∃∃(<

η>

6!∃>&4Γ

η4 <

η <

η!∗ , <

η ∃,

− /<

η ∀<

η .()<

η4

η #() ∃

Υ∀<

η 2∀ <

η∃ − /

()−∀ /<

η () )<

η () <

η ()2 (<

η .()

∃<

η .() ∃

∃(<

η4) # <

η 2<

η ∃2∃(

(<

η ∗ #+

() ∀∃ <

η∃ () .

)− Π(Θ

/<

η <

η <

η 2 &<

η ∀<

η∆ <

η ∃,− /

Page 35: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

∋/7Φ/ ∀3#1Η, >#> )Ι! ,#∀&4 > !, 34 1

1 ∗&(#

& Φ #

. ( ∃ (8 #

∗ & & # + ()

& .

3 ∗ #

∗ ∗

2 #

.

(8

( ∗ & ∗

# # ) 0 7 )

() # Π Θ &

. #

# ∃∗ &

/:31∃> ∆)∃∀∃>∃!∃∗#4∗ ∀∃#

3 (

∃, . #

∃ & ∃ ∃ #

. , ∀ + &

# )

(8 #

2

() # ∗ ()

0 ∃< () (8

∗ 8 .#

() ()2&

, (8 ()

Page 36: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

6

:::

(8 ∃ , ∃

2

& . ∃& .()

<∀

ϑΩΖΩ , ) & #

(8

Ρ ,#) . &

(8<()

∗ % #

− (8/

− (8/

7 ∃.() −

/ ∀ .

∀ . &

& () ∗

.& .

ϑΩΖΩ ,2 # # # ( ,2 &

. .∗,

. .

∃ # (8

) )∃− . /

∃ .

.

(

: 0##(..#&. .() < #)& , 0∀

Page 37: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Α

. ()

# .#2

∃ (8 .

∃ ϑΩΖ α 3 .

(#)

() ∗

() ∗ 2

8 ) #

+∃ ∀ Φ

2 ∃ .() & 2

Page 38: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Β

. ∃ #8

∀ (8 .

∃(8 ∗ &

& 2

() .

3 ∃ ∗ ()

# ≅

()3∀∃ 2 ()

:= >

() .

∃, ) ∃

. () &

# .∀

#∀#

∀ ∃, +

∃ +

# () . Φ Π

() & # 8

Θ:

() ∴ &

() ∗ ,

() .#+()

2∃, #∀: Φ:ΟΟΒ

Page 39: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Ο

5<∃16 4>#!4&#!>#ϑ!∃)∀∃#>#! #&>∀∃4

( := > # )

.26::

2 ∗

2& ()

( # ∃

) Φ) #

() ( #

() ()&. (8∀ () (&

. ∃ Ρ ∀

() ∃()

3 ∀ (8 . #

( # (8∃∃,∀Φ

) +)2 ∃,+ .2

(8 ) (8

) 2 3

∃,⊥∀

7

−/ −/ # ) 2 ∃

7 ()#

9()Φ 2.()

) () ) ()

∗ − ()/ ()

()(8(8&

()∗ (

∃#.(# ∀

#&)∃ (),∀ ∃&&

. ( )

)

Page 40: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

;

() ∗ )

# () &

∃ Ρ () # + () .()

⊥ # () (8 2 ∃

(8 (

∃ .

#(8 ). ()(&

5/<3∃4>#3! ,#3∃>)#)##31#,∃!!#∃! #31∃> ∆)∃∀

3 & , .

() () ∀

∃ () ∃ ()

∃,

&

72 )

≅ − /

∃ −/72∃#

. −/

− /

& 2

. , ,

. .#

) ∃. ∀ ∗ (

&,# ():∋

:∋ Ρ () ∃ #

∗∃()

Page 41: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

:? .&(),∃,

[2 , ()∃,

2 ∃, ,

# #.

()

,3, >>∃! ,#)#!, ∗!:6 & ()

& −∃, ≅

& /

3 ) & ∃()

# () ()

⊥ ()+

∃ (8

() ∃

& 2 #Υ .()

∃ .

() ∗, (8

# # (8

. ∃()

∗ ()

∃ ∀

∃,

3 # . #()

() Τ∃

#, .

,. & ∃&

:6 ∀

() ∃() () .()

∀∗()

Page 42: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

55<∗4 ∋(#3! ,#3∃>)Ι) ,

Π () ∗ &

2 ()

∃ #

. )

∃& ∃

8 ∃

# Θ:Α

3 () 2 ∃() ∗

# ) ∀ 3 ∗

# ∃ .

Ρ )

.(∃ ∀ΧΧ

() ∗ () ∃∃

, 8 #

() () ∗

& ∀ # ∀ ∃()

() ∀

∃()

() ∗ )

. ∀ ) () &

# Π

Θ .#∃#

. &

:ΑΧ∃Φ;;::Β6

Page 43: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

55<!1&∀∃#!∗4 ∋(#3! ,#3∃>)Ι) ,

Π Φ ∃ () ∗

(

γ#φγ#φ& (

∀Ρ ()

() .

Θ:Β

3 ())# 2.

, ∃

() ∀ − ∀/

∀ − ∃/ Φ

∃2 ()∗−

)/2 #Υ#2.2

∀ ∀ () # 2

2 ## ∗

() ∃ ∃

(8 ∃ ∗

[∗ ∗ ∀ 2

2 () ∗

55<#1∀&4Κ1 #>∃∃,∀ −∀∃#

(8 )

# ,

() &

2## ∃

Φ Π2 Θ

)2∃2

:ΒΓ ΟΟΑ:Ο

Page 44: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

∃, # (

)∃∃#2 #

∃ () ∀ &

∀ # , ## &

. # ,2 ∃. 2⊥

, ()+

7 2 ∀ #8 # ∃ )

∃ #

() ),)?&

()# ∴

∴ ∃ ()

() # ∃ & ()

, # ∃ 3 2

2 (8,2. ()

2 () ()

() #

55/<1∃∗ !

3 0 #

. (

# #2

()&2) ∃

∗##

() (8

# ∗ 2.

9∀

Page 45: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

∋55/<1∃∗ !,#∀#4&# ()

∗ (8 ∃ ()

#)

& 0∃ (8Φ

2() ∗ #

# #

7) ≅

(8 # ∃2

1( 6&

< ∃ & ∃

Ρ ∃&

.#∃ (

.

(8 ∀ ∃ & ()

≅2%∃&

. . ()

(8

# ()# 2

(8 & ∃

&

55//<1∃∗ !,#∀6∀Χ4 & 2 # ) 2

(8 # ∗ ) 2 ∃ 8 #

∀ ) ∃ (8 #

() .

2

7 & ∃

∃ 2

Page 46: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

6 ( ∀ # )

##∴(8⊥ ∀

∴ ∃ #

∃# ) ()∃

) ∃(8

22

≅ ∃ )

#8 , ()

2 ()#Τ&

∃5Τ&#2 ∃5#&∃5

# & ∃5 Τ ) #Υ

∃ ∀ 5 # 5 #&

∃54##Υ()Τ 53 5Τ

53# ∃5 54

5 #Υ+ Τ)

(8 # ∀ () + ()5 Τ (8

5Τ(85Τ⊥5#5

45# ()5 #

2 53# # ()5

454# 5−Φ/

# & () 5 −Φ

/3#∃()

) (() 5:ΟΘ

#8 , () # 2

∃Ρ2∃ ∃

() ∃ () ∃ #

(8 2 (8#& (# 2

%∃& & # ∃

:ΟΧ∃Φ;;::

Page 47: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Α∗& #2#.

#, ,∃,&∃

&∃ ( 2

∗ ∗

7

()

555<2!∃1∗∋(#>&4∃>! ∗ >>∃!31#3#!!

∃() .∃

∃ .

8∃ ∃ (8−/

∃(8 ∃,

()

2 ∃() . # 8 ,2

∃() ,

.()2# Π>2 ∃(8

Θ (8∃(8;

∃() ∗ ∗ .()

()& ( ,

)2 2

#.

.() ∃

+ .

, (8 + ∃

∃()ΠΘ∃.() ∀

∃() ∃7 ∃

()+∃()

. ∃(8

∃& (8

∀ #);! Χ∃Φ;;:;;∋

Page 48: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Β57<∃1∗∃∋(#! ,#3∃>)Ι) ,

(8 ∃ () ∗

∀ ∀

# & () 8

Φ (8 #

∃()

#

7 () )& ∀#

2 . (8

#∃& ##)

∗∃

∃(8 (8 # ) 2 #

) , 8 , () 2

()

Ρ () ()

() ∀ & ()

(8 < ∀

& ) , & #

∃& ∀ () # ( &

() () # 2 &

&

()& ##

) () (

∀ ∀ ∃

# ( ∃ # (

∃#

Page 49: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Ο57<∃1∗∃∋(#>∃∃> ∀∃#Λ> ∗∃1! >>∃

3 2 ∃ +

# ∃ # ,

# # , + ∃ #

( ∃ # () ,

#∀∃ () / ∃

≅4. Υ∀2∃

) + #Υ

ΠΘ#

.() & #

#2 ΠΘ

3 ) .

) & +

Χ∃

##

# (8∀

)

• Π )

∃ <

• 4 ( ∀ ∃ .

:<

• 7) (∃ , <

• ∃ ∃

))2 +() <

• ∀ ∗)<

• ∃ . <

• Χ ∃ () #

:4∀ΧΧ6ΙΓΙ3Φ?!Φ3 ) .

Page 50: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

∋; ).

# 2+ #

. #

() & 3

2 #∀∃ ∃ #∀∃ −

() ()/ ∗ ()

# &#Υ)

) ) . 2

()

7 () ∃, +

2 , − =

∀/

() 2# & .

) 2 ()

57/<∃> ∀∃# > ∗ >&4 ∆>#

() . 2 ∗

∗ (8

()& ()&∀

() + # )

# & .

∃ ()

ΠΘΡ∃&∃ ()

−∀/

() . 2

#()

≅∃ ∃

& ∗⊥32&

Page 51: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

∋:() . #Π3 ≅

&&()

&()Θ()& (8

() (8 ∃

(8# (

. ∃

# ∀

∀ ()

57/<∃1∗∃∋(#Γ4&#,#∀,#∀3#1∀∃#Μ >∃%&>#Ν

3 .&()

# ()& ∀Φ

& ∃ , ∀

2∀ (

3∃ #()

) #

# (8 −

#Υ/ #

2 ∃

∃& ∃ ) ∀ ( ∃

# ) 3)

2 )

9 #Υ

1 & # () & ,

()#Ξ3

∃ . # ≅

∗ ( # 2 ∀ +

()Ξ

α[ :ΟΟΟΑ Ν17Τ1ΧΓ! >2 Φ3∃ Φ≅ >∀ΓΝ;;;

Page 52: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

∋2 ,() ∃

∃ Ν#)&# .

() ()3

∃& . 2 , ()

( .

9< 2 # .

2 ∗)2 ∃&

+ (8 ( #

ϑ2 , , − / ,

− ./ , , () 3 ,

2 , # () 2

Ν

( . ()

, #()

# & ∃ ∃

)≅ & #∃(&(

, − / ,

. # ∃#(∃

. .()#.7

2∃& ,

( ( 2

)2)

() .

∗ 3 ∃

#

#(

Page 53: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

57//<∃1∗∃∋(#Γ4&#,#∀31#24∃∀!>∃31∃> ∆)∃∀

( &

())

. .

. ∃ ∀

∃2≅2

()

#

∀ ∀< ∀

∃ & #

()

57//1#24∃∀!4∃ &1∃∃!,1

Π%∃ ∀&

.# ∃.()

() %

∃ ( # .

)#

#2 2

& # # ∗ (8

#∃.Θ∋

3 #

() ∃ (< ∃ .

< ∃ () ∃ #

()2&#

∃ ) 2 ∗ # )

,#

() . 2 2

∃.

∋>:ΟΒ∋;

Page 54: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

∋ & ∃ # #

(8 () ) 3

,∃

0 ()

∃)

() 2 − / 2

−() & () / 2

−() / 7 .

2

3 ∃2 # + () +

) ) &

. ∃

> ) ∀

&

& ()

2∗

()

∀ >

:= ,Ο ,#( <

= (# ,Ο ,# (

& ) 2 . !

.. ∃<

=1∃4 !∀##∀ 4(. ∃,

) < ∃, ∃,

#<

= 310! 4Κ2 ,# ∴ ( ∃ #

&#(8∃#−#

#. ∃ /#

−∗ () # /<

∋=! 4Κ2 ,#∴(∃ #8

∃#<

Page 55: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

∋∋6=4620 ,#∴(,2 ∀∃∃

2∃

> () ∀ # (

2 ( & () . #

2 )

∃ ∀ ()#8

≅ ∗

()

7 ∃

&

3 2≅ 2&

()2 %ϑ

%∃&& ϑ

? !Ω Φ4 ∆ α −

# ∃2 ∃.()/

)∃.() !∆Ω∆∃

! − (8 ∀ +

∃.()/ ∀

57///<1#24∃∀!4 )&)∃∀%& ∗

# &

∃∗ + (8 # (8 (

() ≅ () ()

∃(8#, ()

) 4 (8

# 0

()

()) & () ≅#

∃ 2 ∃ ∗

∀ −∀ &∗ &∗/

(82

Page 56: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

∋6 2 )

&#(8 + () ∃, +

() ∃≅(

∃ Π Θ Π 9 ∃Θ Π

ΘΠΘ<& () #

(8 ∃, . ,

,#) ∃2

Ρ

. & ∗ 6 (

& () . 1 .

() 2 ∀ ∗2&

Α7∃ ∗&

#∃ Β

5:<∃1∗∃∋(#31#,∃!!#∃∀,#!1&∋(#

() ∗

& .() ()?

.() ∃ ∀ 27)

∗2< ()&≅(8

()

(

& (8 ∗ 2 !

& #. 2#

∀ (),

& ∗∀2∃

()&

(8 2

64∀ΧΧ:Α Γ7Φ ϑ:ΟΟΒ 2 2Φ)ι:ΟΟ9Γ7

Page 57: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

∋Α

3Χ&4#

Γ

Β

. ∃ #

.

2 & ! ()

≅∃ ) ∃ (8

()&

2

∀ ∃ ∃

.() ∃

# ∃& ∃

(8

4 ∗

() + 2Ο ∃

Ν∀ (8 9#

∗#& )#

.()2 .

() 22∃7

. ∗

# ( ) 2+

() Χ ()

(8[2 !∃11∃>∃∃! 1

Ο4, ∗∗ Χ !& . ∃ ∃ ()&.)

Page 58: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

∋Β .() #

,2 ∗ .()

# 2 &

# , 92

#

2 . 2 #

2 (8 .

&

7<∃1∗∃∋(#3! ,#3∃>)Ι) ,>∃!!∃!!#1∀∃#

7 () ∗

2 #8 + (8

& ∗

& . 2

2 8

() . 3# 5

−≅ / Τ 5 −,/ 4 5 − /

45

() & 2

() # # 2

∃ #Ρ()#

. .

. +()

7<!!∃!!#1∀∃##34∃Π∀∃#>∃∃! #3,& .().() ()

() ∃2

4 () & 2 ∗ 2 )

∀ ∃ (8+ (8

4 2 () 0 ∃2

∃ # () ∗ 0∃

Page 59: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

∋Ο # 8 ∃,

) ∃() ()

2 (8 ) ∀

∀ () 3 ≅ # ,2

. ∀ )2∀+

() #& #& 2

, 2

∃, () # & #() ∃

. ∃()

() ∗# #

≅ &

, # Φ)∆(

ϕ & ) 2

)(∃,#&#

) ≅

≅ 2 3 ≅ ( .

∃() # ∀

1∃2(),

3

, ∃ , 7

. ∃ )

#∃2 #

ϕ&#).#(8

∃ 2 () ()

2 ∃

# ∋ϕ & #

.∃ 3

)

()

#Υ)

Page 60: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

6;% () #

∃, # +

∀ () 2

#()

(8,

) ≅ & (8 ∀ −

∀/

7/!!∃!!#1∀∃#∀∃#>#4#) >∃∃! #

() ∃,≅ &

() ∗∀ ∗

() & ∃, ) 2

.2 ∗ () ∗!

# +

2 [2 , ∀ 2 &

∃ ∀

∃ # ()

2

; ∗ :

2 ∗ () ∃&

. (8⊥

∀ # ∃

∗ ∗( ()

. ∗()

2 ∀ () ∃2

(8; ! & ΠΘ ∀:∀ 2 −)∀/

Page 61: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

6: .& #.

() 2 ∗ 2 .

(8 . . ∃

) Ρ.

&

7 ) ∃

# +

∗ # )

4 ∗ Π!& ,

ΨΖΘΘ3& ΘΠ3, ∃∃Θ

Π!& Θ & & # . ≅

)

75<

()2#

) ∃ ) ∃

. ()∗∃2 ()∃

∗ .)

() 7 ()

& # #

) 2 (8

() &

7) ()

()(8 ∗

(

∃ ∃ &#

.

Η∃2 >∀Τ

Page 62: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

6 () () & . ∃,

∃ . ∀

9 2

(8 ∃ 2 . ∃

) #() ≅ & Ρ

# ) ()

∃,

≅()∃,

() 0

(8 () )

() ) ,

∃2

∃, . #

# #() , 9

() .

() ∃ .

+ () # . () #

+#∃ ∃()

∃, ∗ ) 3

() ()≅

# # ()

∗)2()3 2

∃ (

(822#(#

∃ ∃

Page 63: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

6() ∃& &

. ) ∃ ∃,

.

() )

) ∃ () #

#

+ #

()()

∃ .(8 , (8 ∃#

7 ∃ & ,

# .

& ∗2 ∀

∃() 0

# # ()

. ∀

7/<3! ,#3∃>)#)#,#∀#31#6 !! #4∀∃> >#1∃1∃64∃Ε ∗#

7() ∗ & ∀

#∃&. , 2Ξ Ξ

() # ## () ()

2 , 2

, # )

())

≅ #

# ∃

Page 64: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

6Φ ∃ ∃()

& 9 ∗ ()

8< 2 8 . <

) ∃ ∃, ∃< #() &

∗ 2 ≅ <

()∃ ,

7 #(∃(),(∃&

& ∃() () ∃, ()

∃ . ≅ (8 # & 2 .

∃) #)

# 07

. ∃(8 &

(8 ∃

., (8#∃

∃&#∃ #)

#∃(8

∗<#∃&

8 Ρ2

+ .

0& (8

8 & # # ∃

() #

3 # ) & #

∃ 3 ∃& .

∃2 .,

2<

∃ 2≅

∀2∃ ∀

) Ρ #

(8

Page 65: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

6∋

#,4&!(#

Π3)Ρ()ΘΦ&Ω

∃ + (8# 2

+ () .

# ∃ )

Ρ )

∃, &&

&2

ΠΘ , ∗ #

#≅

∃ .

∃ ∗ ()

∗ ( 3 ()

∗∃ .#

# ∃& 2 ,

() # #

∃ # ,

∀∗ (8∀

(2∃2(

() ∗ &

∃2)∃∗2∃

, ∗ () . Ρ

. ∃

.

Φ&Ω3#∀

Page 66: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

66

.# ,

() .<()

) < . < ,

∃ (8 < #

8 ∃

() .

∃ # #∃.

, .()

( Χ ∃2 ∃() ()

∀()∃

() ∃.∃

∗2#∃.2

12()() ()

&≅)&∀ &∀(

? ) () ∗

()

Page 67: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

7%17Φ4Ν∃[#4

Φ;;

ΙΓΙ3Φ?!Φ3 )

___∃∃9:;;

7%Φ [ () Φ, &

αΧ%& )Φ)Φ ?

:ΟΟ

>∆?Χ∀Τ κϑ?Η& ΓΧ

Βϕ ∗ΓΝϑ.:ΟΟ

>ΓΓΧΓΓ8∃∃.()% [2∆..ϕ

Φ)4.:ΟΒ∋

>37Φ4 ϑ Χ () + .

!& :ΟΟ∋

?Χ%?ΙΖ −/ ∆∃ ϕ Φ)4.

:ΟΟ∋

?ΧΙΛ73Ν&4 2Φ) 4.:ΟΟ

?37Φ Ν ? ?Υ∀ ()Γ Ν

∆∃:ΟΒΑ

!3ΓΧΦ ∗ ! ≅∃ . 1

∃ ∗:;ϕ Φ) :ΟΟΑ

Page 68: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

6ΒΧ∆% Ν κ Χ7[? Γ Ιλ∃ ( % 3

! 4, Γ Ν ;;

Χ∆% Ν Φ ϕ % ! !

φΦ&?ΦΓ Ν>12;;

Χ7%3 ! ? −/ > !≅

3Φ)3 φι;;

ΓϑΧΦ% ΦΧ43 ∆3∆Χ ;; α ! ? ? ∗

∗() 5:∋;

Φ7%φ77 Χ. ! # 5 4 5 4&

∗ΓΝϑ.:ΟΟ∋

ΦϑΧ7Χ Αϕ Φ)

:ΟΟ

ΦΡΓΧΧ ΡΧΦ=:ΟΟ

ΦΧ?ϑΧ!4∀ .∃Φ)ς:ΟΟΑ

Φ3?Χ∃3() Χ() ∗% Ι.

7! ;;:

ϑΧ∆Χ−4 /Γ 2Οϕ Φ)

:ΟΟ

ϑ∆3%ΦΨ?Φ?4() Φ)

!>:ΟΒΟ

ΗΙ?2 % > >Γ

! :ΟΟΒ

Page 69: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

ς7 Χ4

ΘΒ

!∀#∃%& ! ∋(#

/,01∃21#5 ∃!∃∗#4∗ ∀∃#6 4#)∃0 ,#∃##)∃0 ,#784 34! ∃4 )9, !:∃!∀∃#

; )&)∃∀

; )&)∃∀∃! ) 6 ,∋(#;/= ∃11%& >4 )&)∃∀?#! >∃1∋≅∃!6 !

Α

/Χ∗∃ !>∃31∃> ∆)∃∀//∃&1#6 ! #4#) >31∃> ∆)∃∀/5#4#) ∆∋(#>31∃> ∆)∃∀∃61,!!#∃!,#41/71#24∃∀!>∃31∃> ∆)∃∀/7 !812 #!>∃31∃> ∆)∃∀/7)#! /7/31Ε /75 !,4,&4 /77< !)16 /7:< !31Ε

Β

:;

:;

::

:

:∋

;

6

Α

;

;

:

:

:

:

:

Page 70: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Α;/7;<= 3∃1 ∗ >>∃/7?<∃14 >>∃,1&∆>∃4∃14 >>∃ >∃6 >

/7Φ< !4∃Ε

/7Φ #∀!>> !4∃Ε /7Φ/ ∀3#1Η, >#> )Ι! ,#∀&4 > !, 34 1/:31∃> ∆)∃∀∃>∃!∃∗#4∗ ∀∃#

5<∃16 4>#!4&#!>#ϑ!∃)∀∃#>#! #&>∀∃45/<3∃4>#3! ,#3∃>)#)##31#,∃!!#∃! #31∃> ∆)∃∀55<∗4 ∋(#3! ,#3∃>)Ι) ,55<!1&∀∃#!∗4 ∋(#3! ,#3∃>)Ι) ,55<#1∀&4Κ1 #>∃∃,∀ −∀∃#55/<1∃∗ !55/<1∃∗ !,#∀#4&#55//<1∃∗ !,#∀6∀Χ4 555<2!∃1∗∋(#>&4∃>! ∗ >>∃!31#3#!!57<∃1∗∃∋(#! ,#3∃>)Ι) ,57<∃1∗∃∋(#>∃∃> ∀∃#Λ> ∗∃1! >>∃57/<∃> ∀∃# > ∗ >&4 ∆>#57/<∃1∗∃∋(#Γ4&#,#∀,#∀3#1∀∃#Μ >∃%&>#Ν57//<∃1∗∃∋(#Γ4&#,#∀31#24∃∀!>∃31∃> ∆)∃∀57//1#24∃∀!4∃ &1∃∃!,1 57///<1#24∃∀!4 )&)∃∀%& ∗5:<∃1∗∃∋(#31#,∃!!#∃∀,#!1&∋(#

Β

Ο

;

Α

Β

Ο

∋;

∋:

∋∋

∋6

Page 71: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Α: ΓΒ 7<∃1∗∃∋(#3! ,#3∃>)Ι) ,>∃!!∃!!#1∀∃#7<!!∃!!#1∀∃##34∃Π∀∃#>∃∃! #7/!!∃!!#1∀∃#∀∃#>#4#) >∃∃! #75<!!∃!!#1∀∃##31#,∃!!#>∃∗4 ∋(#7/<3! ,#3∃>)#)#,#∀#31#6 !! #4∀∃> >#1∃1∃64∃Ε ∗#

∋Α

∋Α

∋Β

6;

6:

6

6

6∋

Page 72: GAC NEVES.pdf · Β Π & () () ≅# . 8 ∗˝ ˇ ˚ ∀ ˝ ˚ ˘ ˘ −/ ∗ ˆΘ −4∗ Ρ

Α

=

Α%& ∀ %>?#1 ∋!9(9! #1 &∀!

##5%9Β3#&!

!! ∀ #!&!∋! %& 9!)∗+,−+),,.

∀!5!∋!1ΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧ% &ΧΧΧΧΧΧΧ