!

"#!$%!'&!(*)%)%+

,.>@?A4 BDC EF2 GH>JI K /ML>@N35B@OQP1R<S1T U7VWUWT XY Z [ \X T^]_X T ]_RT R` a b!cD,.d
❖
/1E*egfh[ ihX Z \jVWUWT X Y Z [\X T^]_X T ]_RT R<` a khcD,.dl
! "#!$%!'&!(*)%)%+ ,./1K m N3K N3BD-*/1Bon1XVWZ XpT U`Wq1]_[ \<`WY X \Y`Wq1]r[ ihS1X VWZ `W[ \j[ SM`W81T [ s1Z ]_X T
❖
]_[ \\UW]_Y Z n1U`!/1E*eAtRX\Y Z uZ UWV`1l

v'w^x<y z7{!| } ~ |  € _‚<} | ƒ1„ !…‡† _}@ˆ ~ ‰ _‰ Šr„ _‹  …Œ^ƒ1Q‹ …‡Ž  ‡‘ ’ “ ”‰
,.-*/1032 4 5761819:/152<;
v'•Dx<y z7{!| } ~ |  € _‚<} | ƒ1„ :…‡† _}@– —˜D™Wš ›.“ ’ “ ˜œ“ ›  ”ˆ Ÿž ~ _€ Q†‡| € Œ^‚Ž ‰
vh ^…‡‹ ¡£¢^¤<¥F| ƒ1Ÿ¦D¤<¥j| } :  ‚~ §'¨M€ !‚ŒM ‚_‹ ‚…‡žMž ~ } ‚‹ © …‡} ^_}€ …‡„ ~ ª‰
0354 BrBrC >@E*BDC EF2 -*4Ÿm /1K m 3N K N3BD/154Ÿm /MK K 4 eQu[ VWihRT X `1l7­hE
❖ «:¬
/1E*BrGF4 572 N303K 4ŸC BD4 BrBr4 E*2 C /1K K ®%/1EF/1BrBrC ¯E*?A4 E*2<>@I*m >@E*Br2 /1E*2 B
2 >JL</15C /1°K 4 BD2 -*/12<?±/1²4Ÿ2 -*4ŸI >@5?AN3K /Q4 L/1K N3/M2 4Ÿ2 >JYVWRUMl




 


   
         

    


 


 


   
         

    


=

´µ#!¶µ!"$·! "#!$%!'&!(*)%)%+ ´µ&À¿%#!Á¶µ)%!+

Y [ ihZ ]@u[ VihRT X Â

RUVW¹Q-*/1BD2 -*4ŸI >@5?ºO ❖ »
❖ ¸
   v x1, x 2,..., xn ∈ Rname Š7…‡}Ãh—‘DÄŠœ…}hÃh—W‘œªW…‡ƒ1‚‹ | ƒ1‹

 x1, x2,..., xn | p x1, x2,..., xn  
 
v'—W‘±~ ‚*…‡ƒ1!…‡ž <, >, =, ≤, ≥, ≠

   
î
[ VWihRT X Â
\`¼£UV!C E*m K N3e:4 BD/1K K@2 N:03K 4 B
❖» x1, x2,..., xn 2 -*/12 ❖ ½
?A/1²4Ÿ2 -*4:u[VWihRT X °4ŸY VWR<U1l /1EF/12 >@?AC m.I >@5?AN3K /M8Q>@5
  Å
p x1, x2,..., xn




81GF-*4 54Ÿ0H/1E*egÆ%/M54ŸI >@5?AN3K /1Br8Q>@5

[ VWihRT X C BD54 m N35BrC L4 K ®%e:4 I C E*4 e:81Br2 /152 C E*¯%GFC 2 -

¬ p, p ∧ q, p ∨ q
Å
❖½ 81GF-*4 54ŸL/15C /1°K 4ŸÇÈC B<uVWUU!C EF0£a ǜd 8'>@5
BrC ?A03K 4ŸX Y [ ihZ ]@u[VWihRT X `ºa ¯4 2 2 C E*¯j2 N303K 4 BDI 5>@? Å ∃X ( p( X ))
54 K /12 C >@E*BD>@57?A/M²C E*¯%m >?A03/15C Br>E*BD>@I*L/1K N34 Brd 8 81GF-*4 54ŸL/15C /1°K 4ŸÇÈC B<uVWUU!C EF0£a ǜd
Å ∀ X ( p( X ))
/1E*eg°N3C K e:C E*¯%°C ¯¯4 57/1E*eg°4 2 2 4 57I >@5?AN3K /1BDN3BrC E*¯ b:-*4ŸN3Br4Ÿ>@I*ÆN3/1E*2 C I C 4 5B /1E*e C BDBr/1C eg2 >%pZ \É Çhl
❖ ∃X ∀X
2 -*4ŸT [ s1Z ]_X T^]_[ \\<UW]_Y Z n1U`1l
vhʱ† | } ~ |  € :‹ ¡1| ‹1~ ‚*ƒ1…‡‹  …‡Œ^ƒ1Ÿ~ ‚*ž } __‰



 


   
         

    


³ 


 


   
         

    


¾

¿%ÁÌ!$%ÍÏÎA#!)J$%ÍÑÐÌ!Á"!Ҝ+ ¿%"$%ÍÏ!'+!"#!Á+ÌÙÚ" ÛܺÁ! "$oÝÞ!Ҝ#!ߣÌà

❖
b:-*4ŸN3Br4Ÿ>@I*ÆN3/1E*2 C I C 4 5B
∃X
/1E*e
∀X
C EF/QI >@5?AN3K /QC B 



I, N,T , A | I, N,T, A ∈ Sailors ∧ T > 7 



î 
Br/1C eg2 >%pZ \É Çhl
b:-*4Ÿm >@E*e:C 2 C >@E 4 E*BrN354 BD2 -*/12
vhʱ† | } ~ |  € :‹ ¡1| ‹1~ ‚*ƒ1…‡‹  …‡Œ^ƒ1Ÿ~ ‚*ž } _ ‰ ❖ I, N, T , A ∈ Sailors
2 -*4Ÿe:>@?A/1C EFL/15C /1°K 4 BDá q1âhq:P'/1E*e /154Ÿ°>@N3E*eg2 >
4 2<N3BD54 LC BrC 2<2 -*4Ÿe:4 I C E*C 2 C >@EF>@I*/QÆ<N34 5®DO »
❖ Ó I C 4 K e:BD>@I*2 -*4ŸBr/1?A4Ÿã^/1C K >@5BD2 N303K 43l
   b:-*4Ÿ2 4 5? 2 >%2 -*4ŸK 4 I 2<>@I*Õ*Ö×7a GF-*C m -FBr-*>@N3K e

 x1, x2,..., xn | p x1, x2,..., xn 


  ❖ I, N , T , A

î    °4Ÿ54 /1eg/1BD`WR]_äQY ä1X Y d*Br/M®BD2 -*/12<41L415®%2 N303K 4
b:-*4 54ŸC BD/1EFC ?A03>@52 /1E*2<54 Br2 5C m 2 C >@E.O72 -*4ŸL/15C /1°K 4 B I, N , T , A
❖ 2 -*/12<Br/12 C BrI C 4 BJP:å æQC BDC EF2 -*4Ÿ/1E*BrGF4 5Ml
8:l l l 8 EF2 -*/12*/103034 /1572 >J2 -*4ŸK 4 I 2<>@I3Õ<Ö×^?AN3B 2<°4
¬!Ô ¬ >@e:C I ®%2 -*C BDÆN34 5®j2 >J/1E*BrGF4 5MO
2 -*4Ÿ[ \T ¹QI 54 4ŸL/15C /1°K 4 BDC EF2 -*4ŸI >@5?±N3K /Q0£a l l l dl
❖ ç
vhè ~ ƒ1Q‚| ~ € …‡} ‚<飡1…o| } !…‡€ ^_}‹ ¡ | ƒ£êr뜅‡}¡ | † :|œ} | ‹ ~ ƒ1„oŒ^ƒ1^_}
ì
Šr| ƒ1Ÿ| } !ª| € € _Qí î …‡_ï ‰



 


   
         

    


Ë 


 


   
         

    


Ø
 ñQò óMôgõ ö!ò ÷ ø!ù õHù ö!ú û ôýüýþgÿ <ø
 ûgù ûõ û<ùû ô_øMö!ú 
  ñQò óMôgõ ö!ò ÷ ø!ù õHù ö!ú û ôýüýþgÿ <ø
 ûgù ûõ û<ùû ôgöÌù ûô_øMö!ú



 I, N, T, A | I, N,T, A ∈ Sailors ∧ T > 7 ∧ 

 I, N, T, A | I, N,T, A ∈ Sailors ∧ T > 7 ∧
î î

∃ Ir, Br, D Ir, Br, D ∈ Re serves ∧ Ir = I ∧ Br = 103











∃ Ir, Br, D Ir, Br, D ∈ Re serves ∧ Ir = I ∧



   

4Ÿ-*/1L4ŸN3Br4 e /1BD/QBr-*>@52 -*/1E*e ∃ B, BN,C B, BN,C ∈ Boats ∧ B = Br ∧ C = ’red’

 

I >@5
 

❖ ∃ Ir, Br , D (. . .) 

  
  

∃ Ir ( ∃ Br ( ∃ D (. . .) )) °Br4 5L4Ÿ-*>@GÜ2 -*4Ÿ03/154 E*2 -*4 Br4 BDm >@E32 5>@K@2 -*4ŸBrm >@034Ÿ>@I
❖ 4 /1m -FÆN3/1E*2 C I C 4 5× BD°C E*e:C E*¯Dl
>@2 4Ÿ2 -*4ŸN3Br4Ÿ>@I 2 >JI C E*eg/Q2 N303K 4QC EFcœ4 Br4 5L4 BD2 -*/12
❖ Õ  >@C E*BDGFC 2 -*×^2 -*4Ÿã^/1∃C K >@5BD2 N303K 4ŸN3E*e:4 57m >@E*BrC e:4 5/12 C >@E.l b:-*C BD?A/1®%K >@>@²jm N3?A°4 5Br>?A4 81°N32*GFC 2 -F/Q¯>@>@egN3Br4 5
❖
C E*2 4 5I /1m 4 81C 2<C BDL4 5®%C E*2 N3C 2 C L43lQa
  « d
/MC 2<I >@5 h;




 


   
         

    


ð 


 


   
         

    




¿%"$%ÍÏ+!"#!Á+ÌÙÚÛ£#  ߣÌÁ+Á<ߣÍÜ!'Ҝ#!! + !"$#&%(') "$*,+ -'/.10+ 2$34-4'4-354%) *$*768+ ) 9:';:)=<>) "$#? @




î
I, N, T, A | I, N,T, A ∈ Sailors ∧ 


î
I, N, T, A | I, N,T, A ∈ Sailors ∧
∀ B, BN,C ¬ B, BN,C ∈ Boats ∨









∀ B, BN, C ∈ Boats
  



∃ Ir, Br, D ∈ Re serves I = Ir ∧ Br = B 


  



∃ Ir, Br, D Ir, Br, D ∈ Re serves ∧ I = Ir ∧ Br = B



 
 
   







     

2 -*/12<I >@574 /1m- 2 N303K 4

❖ 4 C C 2 E*-*eg4 57/1KC K@2<BrC BD/1C E*K >@>@52<BD/Qá*2 BrN3N303m K -F B, BN,C
4ŸC EF;:>@/12 Bo>@572 -*4 54ŸC BD/Q2 N303K 4ŸC E
❖
ã^C ?A03K 4 57E*>@2 /12 C >@E*81Br/M?A4ŸÆN34 5®DlQa
ç
N3m -Fm K 4 /154 5 d

b:>JI C E*egBr/1C K >@5BDGF-*>@× L4Ÿ54 Br4 5L4 eg/MK K@54 eg°>@/12 B@O
cœ4 Br4 5L4 BDBr-*>@GFC E*¯%2 -*/12*Br/1C K >@57á*-*/MBD54 Br4 5L4 egC 2 l ❖

AAAAA 



C ≠ ’red ’ ∨ ∃ Ir, Br, D ∈ Re serves I = Ir ∧ Br = B 



  
 

 







 


   
         

    





 


   
         

    




Bº$%+DC!FEµ)%Á"+ GIHKJ&L£Á++"ߣFMA#!ÙÚÁ U )%¶µ¶µ!Á V

NÆ2<N3C 4 BD503C 4 >@BDBrBr2 -*C °/1K 2<4Ÿ-*2 /1>JLGF4Ÿ5/1C EF

2 4ŸBr®E*2 /Mm 2 C m /1K K ®jm >@554 m 2<m /1K mN3K N3B
❖
C E*I C E*C 2 4ŸE*N3?±°4 57>@I*/1E*BrGF4 5B cœ4 K /12 C >@E*/1K@m /1K m N3K N3BDC BDE*>@E W >@034 5/12 C >@E*/1K 81/1E*e
ã^N3m -FÆN34 5C 4 BD/154Ÿm /1K K 4 egR\`WX u_U l
 ❖
N3Br4 5BDe:4 I C E*4ŸÆN34 5C 4 BDC EF2 4 5?ABD>@I*GF-*/12<2 -*4 ®
GF/1E*2 81E*>@2<C EF2 4 5?ABo>@I*-*>@GÜ2 >%m >?±03N32 4ŸC 2 l
vh_‰ „ ‰ Š
S | ¬ S ∈ Sailors
 





 

a kh4 m K /15/12 C L4 E*4 BrB@l d
 
   
î 
2<C BD²E*>@GFEF2 -*/12<41L4 5®%ÆN34 5®%2 -*/123m /1EF°4Ÿ4 0354 BrBr4 e ­hK ¯4 °5/Q/1E*egBr/1I 4Ÿm /1K m N3K N3BD-*/ML4ŸBr/M?A4
❖ NC EF54 K /12 C >@E*/1K@/1K ¯4 °5/Qm /1EF°4Ÿ4 0354 BrBr4 eg/1BD/Q¬ Br/1I 4 ❖
4 0354 BrBrC L4Ÿ03>@GF4 581K 4 /1e:C E*¯%2 >J2 -*4QE*>@2 C >@EF>@I
¬
ÆN34 5®%C EFkhcœ,IŸ O b!cœ,
MP 2 -*4Ÿm >@E*¬ L4 5B 4ŸC BD/1K Br>J2 5N343l 54 K 1
/ 2 C >@E*/1K@m >@?A03K 4 2 4 E*4 BrB@l

UWT X Y Z [\X TSD

R [ ihS1T UWY UW\<UW`` Oh  N34 5®%K /ME*¯N3/1¯4Ha 43l ¯Dl 8
❖ Q
ãS d*m /1EF4 0354 BrBD41L4 5®%ÆN34 5®%2 -*/M2<C BD4 0354 BrBrC °K 4
C EF54 K /12 C >@E*/1K@/1K ¯4 °5/T O m /1K m N3K N3B@l
Ó ¬ ¬




 


   
         

    


 


 


   
         

    


=