PDF de programación - tema5p2

0254
80,; :3;0.947.433 .4254303908/0954
.,7E.90747/03,/,8,8.03/039020390 3/.,780
.,7E.9070 089E03;
,47924 /4-0 % $ ;
;0.9472,(/0.,7E.907


3
039074
0
.,7E.907

! ≤3≤2, ∧ ∀
≤ < 3
;(≤ ;( <
"089E*03,8.∃
≤≤3
;(=0<

#$&% $089E*03,8.
O.4

:,*6:00

 ;(0 

 ;(0 

2,47*6:00

9,39,8;0.08.424;( 0
 9,39,8;0.08.424;(0

$"& 

0254
80,; :3;0.947.433 .4254303908/0954
.,7E.90747/03,/,8,8.03/039020390 3/.,780
.,7E.9070 089E03;
,47924 /4-0 % $ ;
;0.9472,(/0.,7E.907


3
039074
0
.,7E.907

! ≤3≤2, ∧ ∀
≤ < 3
;(≤ ;( <
"089E*03,8. ∃
≤≤3
;(=0<

#$&% $089E*03,8.
O.4

;(0 ∨ ;(0 <
2,47*6:00

$"&

 

:,*6:00

1

0254
80,; :3;0.947.433 .4254303908/0954
.,7E.90747/03,/,8,8.03/039020390 3/.,780
.,7E.9070 089E03;
,47924 /4-0 % $ ;
;0.9472,(/0.,7E.907


3
039074
0
.,7E.907

! ≤3≤2, ∧ ∀
≤ < 3
;(≤ ;( <
"089E*03,8. ∃
≤≤3
;(=0

#$&% $089E*03,8.
O.4

$"&

 

∧ ∀
≤≤ 
;(≤ 0
∧ ∀
 <≤3
;(≥ 0 <

¬∃
≤≤ 
;(0

2,47*6:00

"089E*03,8. ∃
≤≤3
;(=0

¬2,47*6:00 

:,*6:00
¬∃
≤≤
;(0
∧ ∀
≤ ≤ 
;(≤ 0
∧ ∀
 <≤3
;(≥ 0 <

$"&  
:,
2,47
≤≤ 548

¬.:250*!;( ∧

8089E089E 03548

;(≠ 0

4

∀
-




089E
:,*6:00 

∃
-




≤≤ 548
.:250*!;(

;(0 ∧

∧


≤ 548≤
-




-

3

3

<

2

"089E*03,8. ∃
≤≤3
;(=0

¬2,47*6:00 

:,*6:00
¬∃
≤≤
;(0
∧ ∀
≤ ≤ 
;(≤ 0
∧ ∀
 <≤3
;(≥ 0 <

$"&  
:,
2,47
∀
-
∀

 ≤≤ 548

¬.:250*!;( ∧
≤≤ 548

;(< 0∧


8089E089E 03548

;(≠ 0

4

∃
-
 ≤≤ 548
.:250*!;(


089E
:,*6:00 
2,47*6:00  ∃
 ≤≤ 548
;(0 
∧

;(0 ∧


≤ 548≤
-


9-


548

<

-

3

3



3

3

-86:0/,,8.03/0390 

86:02, 907,9;4
548



:,*6:00


2,47*6:00
 

089E*03,8. :,*6:00
20397,8548
3 ∧ ¬:,*6:00 ∧ ¬2,47*6:00( ,.07

548
548 

8 ;548(>=0 03943.08 8 ;548(=0 03943.08 :,*6:00
 '

8342,47*6:00
' 18

18

120397,8
8 :,*6:00

03943.08 089E*03,8.

834089E*03,8.
'
18

089E*03,8.
:,*6:00


3

-86:0/,,8.03/0390 

86:02, 907,9;4
548



:,*6:00


2,47*4*:,*6:00


2,47*6:00
 

089E*03,8. :,*6:00
20397,8548
3 ∧ ¬:,*6:00 ∧ ¬2,47*6:00( ,.07

¬ 2,47*4*:,*6:00

548
548 

8 ;548(>=0 03943.08 8 ;548(=0 03943.08 :,*6:00
 '

2,47*4*:,*6:00
 '

8342,47*6:00
' 18

18

120397,8
089E*03,8.
:,*6:00

8 ;548(<> 0 03943.08 089E*03,8.


834089E*03,8.
'
18

$"&  
:,
2,47

4

8089E089E 03548

∀
-




≤≤ 548

¬.:250*!;( ∧

;(< 0

2,47*4*
089E
:,*6:00

 ∃
-





≤≤ 548


.:250*!;(

;(≥ 0

∧


≤ 548≤
-




-

3

3

<

4

42-3,.O3/09F.3.,8/070.477/4
-86:0/,
0254 
 /,/4 :3 ;0.947 /0 0390748 ; /80N,7 :3
,479246:0.,.:0, 8:2, /04800203948/0;0.947
6:0,5,70.03 97,80572073207425,7
0254 
 /,/4 :3 ;0.947 ; /0 3 00203948 /0
%54,80 47/03,7.70.039020390 8:800203948

0254
/,/48 ;
;0.9472,(/0 .,7E.907 .43 3
00203948 34 70509/48  ;
;0.9472,(/0 .,7E.907
.43 2 00203948 3<=2 80 6:070 .42574-,7 8 ; 08
8:-.43:394 /0 ;

0254
/,/4:3;0.947/00390748 ;/80N,7:3
,479246:0.,.:0, 8:2, /04800203948/0;0.947
6:0,5,70.03 97,80572073207425,7

,47924 8:2,*97,8% $ ;
9*;0.947
3
039074


#$&% $8 97,8
039074

! ≤3≤2,<
"∃
≤≤3
25,7;(∧ 

∧ ≤97,8≤3

∧ 8Σ
97,8<≤3
;(

∨ ∀
≤≤3
5,7;(∧ <

∧ 97,83

∧ 8
<

5

0254
/,/4:3;0.947/00390748 ;/80N,7:3
,479246:0.,.:0, 8:2, /04800203948/0;0.947
6:0,5,70.03 97,80572073207425,7

,47924 8:2,*97,8% $ ;
9*;0.947
3
039074


#$&% $8 97,8
039074

! ≤3≤2,<
"∃
≤≤3
25,7;(∧ 

∀
≤<97,8
5,7;(
∧ 25,7;97,8(

∧ ≤97,8≤3

∧ 8Σ
97,8<≤3
;(

∨ ∀
≤≤3
5,7;(∧ <

∧ 97,83

8Σ
97,8<≤3
;(<

∧ 8
<

0254
/,/4:3;0.947/00390748 ;/80N,7:3
,479246:0.,.:0, 8:2, /04800203948/0;0.947
6:0,5,70.03 97,80572073207425,7

,47924 8:2,*97,8% $ ;
9*;0.947
3
039074


#$&% $8 97,8
039074

# ## /08/0;97,8(,89,;3(

! ≤3≤2,<
∀
≤<97,8
5,7;(
"∃
≤≤3
25,7;(∧ 
"8Σ
97,8<≤3
;(∧
∧ 25,7;97,8(
∀
≤<97,8
5,7;(∧ 25,7;97,8( ∧ ≤97,8≤3
8Σ
97,8<≤3
;(<
∨ ∀
≤≤3
5,7;(∧ <
∨ ∀
≤≤3
5,7;(
∧ 97,83 <

∧ 8Σ
97,8<≤3
;(

∧ ≤97,8≤3

∧ 97,83

∧ 8
<

$"&25,7;( 9,39,8;0.08.42425,7;(

42-3,/4
86:0/, #0.477/4

6

"8Σ
97,8<≤3
;(∧

∀
≤<97,8
5,7;(∧ 25,7;97,8( ∧ ≤97,8≤3
∨ ∀
≤≤3
5,7;(
∧ 97,83 <

42-3,/4
86:0/, #0.477/4

∀
-




8 089E089E 03548
≤≤ 548

¬.:250*!;( ∧

;(24/  

089E∃
-




≤≤ 548
.:250*!;(

;(24/  ≠

∧


≤ 548≤

-



3
-

3

<

42-3,/4
86:0/, #0.477/4






548
-
089E


3.,,.O3*97,9,20394

;,.J,
97,8 80089,-0.0031:3.O3/0089E
20397,8

∧ ¬089E

,.07

3
548
 -

3

548
548 

8 .:250*!;548(

;548(24/ <>

120397,8

03943.08 089E
 '
18
8 089E'089E 03 548≤548≤3
97,8548  808:2,,5,797/097,8

13, /0 , 907,.O3 /0 $"&
8 089E' 03943.08 97,8
548
8


548#
 


97,9,20394*13,

548



834

3., /0 # ## !#.,.:,78 ,5,797/097,8 <

7

42-3,/4
86:0/, #0.477/4



548
-



089E


3.,,.O3*97,9,20394

;,.J,
97,8 80089,-0.0031:3.O3/0089E
20397,8

∧ ¬089E

3
548
 -

,.07

548
548 

8 .:250*!;548(

;548(24/ <>

3

120397,8

03943.08 089E
 '
18
8 089E'089E 03 548≤548≤3
8 089E34089E
97,8548  808:2,,5,797/097,8
97,8548 3


548=3
8


13, /0 , 907,.O3 /0 $"&
8 089E' 03943.08 97,8
548
8


548#
 


97,9,20394*13,

548
97,8
 548
8


548#


548
18




834

3., /0 # ## !#.,.:,78 ,5,797/097,8 <

 ,# ##

42-3,/4
86:0/, #0.477/4

8 089E089E 03548

8



8 089E 03943.08 97,8
548834 97,8
548
18
548#
 548


#08:2,/4 802570 ,89, 548# 3.:/4

#∀ 
 -
548

8Σ



≤ ≤ 548#
97,9,;(
;(

∧

548
-



≤ 548# ≤

3
-

3

 <

8

42-3,/4
86:0/, #0.477/4

548



089E


;,.J,
97,8 80089,-0.0031:3.O3/0089E
20397,8

548
 3 ∧ ¬089E

548
548 

8 ;548(24/ <>
03943.08 089E
 '
18

,.07

120397,8
13, /0 , 907,.O3 /0 $"&
8 089E 03943.08 97,8
548834 97,8
548
18
3., /0 # ## !#.,.:,78 ,5,797/097,8 <
548#
548

8



20397,8548#
3 ,.07

548#
548# 

8
 8;548#(


120397,8

0254
/,/48;
;0.9472,(/0 .,7E.907 .43 300203948 34
70509/48;
;0.9472,(/0 .,7E.907 .43 2002039483<=2
806:070.42574-,78 ;088:-.43:394 /0 ;
,47924 8:-.43:394% $ ;;
;0.9472,(/0 .,7E.907


32
039074


#$&% $08
O.4

! ≤3≤2≤2, ∧ ¬ /:5.,/48;3<

"08∀
 ≤≤3
5079030.0;2;(<
∃
≤≤2
;(;(

$"&03

;/0;(

9

0254
/,/48;
;0.9472,(/0 .,7E.907 .43 300203948 34
70509/48;
;0.9472,(/0 .,7E.907 .43 2002039483<=2
806:070.42574-,78 ;088:-.43:394 /0 ;
,47924 8:-.43:394% $ ;;
;0.9472,(/0 .,7E.907


32
039074


#$&% $08
O.4

! ≤3≤2≤2, ∧ ¬ /:5.,/48;3<

$"&03 ;/000203946:0 5079030.0,;
¬∃
≤≤3
¬ 5079030.0;2;(<
"08∀
 ≤≤3
5079030.0;2;(<
∃
≤≤2
;(;(

$"&03

;/0;(

089E

42-3,/4
86:0/, 03; /03974/0 86:0/,03;

"08¬∃
≤≤3
¬ 5079030.0;2;(<

42-3,/4
86:0/, 03; /03974/0 86:0/,03;

; 8 089E089E 03548

;∀
-





≤≤ 548

¬.:250*!;(

5079030.0;2;(

∧

089E∃
-




≤≤ 548
.:250*!;(

¬5079030.0;2;(

∧


≤ 548≤

-



3
-

3

<

10

86:02, 907,9;4

-86:0/,,8.03/0390 

548
-





089E


3.,,.O3*97,9,20394

;,.J,


20397,8

548
 -
3

3

∧ ¬089E

,.07

548
548 

8 .:250*!;548(

¬-:8.,';2;548(

03943.08 089E
 '
18

120397,8
8 089E 03943.08 08
'
97,9,20394*13,


834

08

18

08
¬089E


13, /0 !#  "08∀
≤≤3
5079030.0;2;(<

86:02, 907,9;4

-86:0/,,8.03/0390 




548
-


089E


08
'

3.,,.O3*97,9,20394

;,.J,


20397,8

548
 -
3

3

∧ ¬089E

08

,.07

548
548 

8 .:250*!;548(

¬-:8.,';2;548(

03943.08 089E
 '
18

08



120397,8
8 089E 03943.08 08
'
;,.J,

97,9,20394*13,


834

08

18

13, /0 !#  "08∀
≤≤3
5079030.0;2;(<

11

0254
/,/4:3;0.947 ;/0 300203948/0 %54,80
47/03,7.70.039020390389:8:800203948

47/03,.O3/70.9,

,47924 47/03,7% $ ;
;0.9472,(/0%54,80