!

"

# $ $ $ $ $"$%

& $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ '

(
"

&

"

$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ *

$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ +

& $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ .
0

&

$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ '/

$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ '1
3

& $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ *4
& $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ *4

& ) ,

&

$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ *4
$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ *-

& $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ 45

&

$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ 46
& $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ //

, 3

& $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ /7

! $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ 6'

9
!

2!

$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ 64

&

$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ 6+

Introduccin

,
,

;
&
,

<=
&
& # ,

!
,
&

&
,

$
,
,
?

,
&

,
!
&
#

= = <=
%
!
. ,
!

,
&

<
>

,
!

"

"%$
)

;
.
, ,

&

:
!

&
,
:2
,

$ 0

&

.
,

,
$

@,

&$

,
&

&<
&

( #!&
.
@,
!

&

&
!
%$

%<
& <,

&$

:':

,
, @

&

&

Lenguaje Formal de la Lgica de Predicados

!
!

& =
<
, &
,

=
)
!

@
A &

, ,

,
&

$
!
<
&
,

&
, ,

:# $
2
,
!
!&
# !
(

'A

.
&

!
,

<
$

<

,
&

!
!

'%

%<,
!

'% )

&

( , A
!

'%
,

&

;
<

&

,
!

'

$
L

'

&

&

&

$?

(
%$ ?

( !

!
%

(
;

$
.

( %

!
( , A

&%

!" #

&
$ ?
!
# !
$

&

! " #,

&

!
, ,
=
(
:

.
<,

&

(<!

!
,

&

$ 2 ,

$
,

:*:

( ,

$
A

(
;

&
!

'%

<,

%?

( , A

<

%?

()

A)

# !

)A

$
,

"

%
:

$
L

:?

&

$
:

$
# !

4A

* "

*"

,
;

( <
,

&$

:4:

# !

+% #
! "

!
! "

!&

:?

(
&! !'
!

!&

:?

!&

"
'A
! " /
" %

! "

! "*
! ="

"

6A

@,
!

" ,

E! !

4C

, < <
!&
*"

&
(

&$
+A
!
$

!!

# !

# !

"

!&

!&

"

!&

<

& $$

&

:/:

! ="

.
"

*A

"

!!
#

,
!

!
& <,

<

!
!

-A ?

# !

.
$

<

!&

! "

,
$)
$)
&

( , <
!
,

,
,
!&

!
!! <
$
! &
!&
. .
A

<,

& <,

!
!

:6:

,
!

<

Otros Ordenes
=
?
.
=.

<@

&
,

,
&

#
, ,
&
, ,
<!
!
.
&
<, ( , <
&A

<
< @
!

&

"#
&
,

%"
&

%$ )

$
,

4A

&
!

,
.

#
!

<

&

A '

& %
!

&
@

% &

+%
!
A

"
!

( ,
,
$

&
2

/?

$%

!&

,
(

!! "#

$%

!=

&
!

#"

!"

&

$
"

!!

,
%$

<
,

! "#

<
,

$ ?
,

, ,

H H

<

!"

, ,

"

?
<@

<

!
!&

,
B

" $#

!
,

!!

,
&< ,

!&

!
,
!

&
?,

&

!&

,
"

@
,

!
%<
&

&
)

, ,
"

& )

:+:

) ,

Interpretacin
,

#F %
!

&
!&
$ )
.
,
!&
!(<
.
,
,
$
,

&<

$
!

!
<

!
!&

$ ?

,
(

&

!&

<

# "

%
,

&

&

&

&

:2

:2

!
<

<,

:2

&

1A

# !

"

<
,

#V%

B
!

&

,
& ,
&

&$

,
,

:-:

<

# "

( ( ) ( ) ( ( )))

6A ?

"

0;

= '%

!=

!=

!=

!=

&

>'

&

!=

!=

!&

!=

!=

8(

A
.

; ,

H
C

&

!
!
7A

# !

!+

,
:?
!=
'
,
&

,&I

!&

'

,
.
K

@,

'

,
$ 0

"

#"
#"

!=

&
K

'

!
-A

!
"

-"

&
!

:?

( , <
,

H$

!&
<

&
'

(! =
(! =

!&

$
& ,

$?
(
@,

<,
! &
&
,

$
.

<.

:1:

<

:?

()

!=

#"

(! =

)! =

:?

()

!=

#"

(! =

)! =

:?

()

!=

#"

(! =

:?

()

!=

#"

(! =

:?

!
#"

!=

#"

!=

#
,

,
!&

"
,

( * !! =

$ *

<( * !

,
<,

!&
$ 0&
?
, ,

5<
.
,

3%
&

!&
!&

={
A
A

,
,

=
A

&
!< = = <

( (

=
! = )

!=

&
,

,
,

=.

;
$

)!

( * !! =

:?

)! =

+ + ! *+,

:7:

! &$?
!
, ,

,
#,

-%$

) ( ( ))) ( (

<
&
,
! &
< @

! )) <

! =" "

! =" =

)
@

= "

!&
)

( (

&

( ( ))) ( (

! ))

=.

, 045%

?
% ?

<
.

<

<,
.

( (
' '

( , < J'$
FA

) ( ( ))) ( (
'

! ))

' 4

'
4

% )

J'

, <

( (
' *

$)

) ( ( ))) ( (
'

J*

! ))
' 4

*
*

'

=.

#
$

:'5:

% )

04)%
,45%

( (

) ( ( ))) ( (

* '

! ))
' 4

'

4
*

% )

046%

<

=.

,45%

( (

) ( ( ))) ( (

4 '

! ))
' 4

'

'

4
*

=
!&

,
&

:'':

.
!=V

!&

<

"

!&

7%

={

!!

&

A
A
.

)
=

={

? ,
!&

# !

58%

# !
$

55%

"

,
$)

. <
<
! = F$
,

# !
,

<

.
! = V$

"

&

!&
# !

!&
*

<,

&

!&

={

!}<

&

=.

$
5)%

56%
& .

!&

!&

!
$

:'*:

&

!&
< .
(
" 5A

# "A ?
!=F,

,
.

A
!

!&

!
,
$

!
V

!=V ,

.
&<

:'4:

,
<

&

&

*
.
,

$
%$ )

!&
!&
!

,
&

& $)
.

! = V$

<

-.

#
0

1
!=

!=

/.
!

+ #,
!=V
2
"/ ,

!=
"

3
+
V

V !/

5
/

&

# "%

5$: ?

.
!=

) 1?
2

&

" )A

!=

!=

!=

!=

.
!=

$
,

&

! = F$

! = F$

*
!=

:'/:

,
.
, .

! = V(

59A ?
.
& % ,

# !

!&

$
,

& <

"
!=

, .

/
/

2
2

"

"

) (

F F

V V

1/

2
7

/6

/,

(
(

) (

) (

, *

) (

:'6:

(
(

) (
) (

)
) (

# :

"

( )

-,

! %,&

()

;%
A

&

AH
!

,
,

!)

-, ! %,&

&A3
!

, ;
! /

!)
H$

"

<

! ) ( -, ! %,&

( )

!!

2,

( -, ! %,&

( )

4*

< .
!$

<

"4

&

%
=

<

( ( ) ( )) ( ( ) ( ))

%0

( ( ) ( )) ( ( ) ( ))

( ( ) ( )) / ( ( ) ( )) <,

( , <,
A '

5 0

"

&
5 .

4
'

5
!
3

6
!

( ( ) ( )) / ( ( ) ( )) < (
4

!
$

, A

4
$

:'+:

( ) (

( ))

( ) (

( ))

( ) (

( ))

( ) (

( ))

:'-:

Formas Normales
53% ?

# !
!

!&

" < "

0 & < '

# %

!&

"

!&

/
2

&

.
!&

#
,

!&
)
0

,
!

,
@$ ?

,
)

!&

!&
0

@$

&

# "%

&
&

.
)

.
0

%
!&

" 6% )
!&
.

<

!
!
>

!&
!&

<

@$
,

:3

& # %<

&A

:2,
&
: )
!

$)

&
<

(! (

( (

C
!&

!
&
,

$
,

!&

(
&A

:'1:

,
0

 /"

/ / L /

!&

"=

# !

!&

57%
%

!&

# !

/"

!&

5;%

&

&

/ / L /

!&

"=

! #

!#

" < "

& < '

"

& !

# !

"=

<

"'

'=

!&

5>%

"'

" < "

# ,

& <#'

"

& !

" +% )
0
.
#
$

# "%
(

"=

"'

'=

!&
#

(
!&

<

" 9%

# "% ?
0) <

!&

0)
!

0
$

'

0 (

!&

&

!&
2?

" & <2'

?I

,
&

&

I
!&

!&
!

&
(

" < "

$

!&

0
, ,

!&

)5%

!&
C

" < "

0

!&
0 )

)
!
<

!&

% .

# !
0 )

"'

%$

)8%
!&
0 ) # 0 )%<
) @$

# !

2
@

:'7:

& ,

" & ?

"/

'$: ?

'

*$: ?

&<!

4$: ?

!
,

!
B

"

!&

4<

.
0?

!&
4 /

<

&

<.

!$
!!

! JH'

! J H!

!&

.
!

,
$

/<

!
& A H7 " J

&

!! $

?I

!
$)
!

!
.

<

"
,

&

!&
.

! %<

< ,
) @ # 0 )%$ )
@
;
,

(
!

,
<
$ ?
<
!&
$

!
! %$

'$
.

# "% C
0
,

, #

!
! &
A

3%
&

,
#.

%$ K

!&

'$

#% ,

/$: ? @
A

!
@
#

$
&

,
$

!$ ?

A
.
.

7 "
$

&
,

7 "

:*5:

# !

!&

))%
!

"
%
)
::

>%
$

&

J@

<

!&

(()

(()

8"

J@

:+

J@

! ) (

!&

! ) (( (

)
<

! )))
,

! ) (

! ) (( ( )

! ) (

! ) (( ( )

*$:

! )))

! )))

(()

! ) (

4$: )

(()

/$: )

! ) (( ( )

!&

! ) ((

$?

! )))
0)$

! ) (( ( )

0 <,

&

'$:

A !

J@

'$: 3

!
9 $$

:7 "J@

(()

;$

:-

: 2#@<%J @ ,

0?

"

, ,

! )))
$?

0 )$

:
"
: + ; 7 "
;
-

-
"
- + ; 7 "
;
0?<

:*':

6$: K

$?

:
"

: + ; 7 "
;
-

-
"

- + ; 7 "
;

+$: ? ,
<

<

!! )

!! )

!!

!!

# !
,

0?

)6%
<

! ( ( )

! ( ( )

=
,
$

? = '<

A
L

H H

B(
,

# !
$)

)+% ?
! &<

:**:

.
&

Algoritmo de Resolucin
Introduccin
3
,
,

&
(
%$ ?

'7+6$ ?
#

!
(
,

.
& ,

&

,
$

,
<

$2$

<

!
,
, ,

, ,
!

<

$
,

&

<

&

&

$
;
,

!
5

$)

<
#

Resolucin Proposicional
-

2
"
B

$
$

)5A ?
B (H$ ? ,

AH

< ,
&
6+%
& <
A &
!=(

"
"

%*-

-, $
C-

)
. A H" )
A

&

= & & & &

# "% ?

&

{&}) $ ?

B (H$

" 3&

C-

A ( (

# !

{&}) (

, H H?
,

A (

!
!

"

'%

= & &

)
&

&

$
,

&

:*4:

! =& & &

& &

&

&

*< ,

$ ? ,&

''

'

*'

.
<

< !&

''

<

'

*'

,
<

# "% ? ;
<,
< !&
,
&

<

<

$)

,
(

&
<,
!

& =.

<

.
$

<,

$?
!

<

>

"
(

%
2

7
!

'$: 8
*$: ?

6$: ?

"

&

/$: ?
4$: ?

, .

&

&

A
4$:

*
!

& .

& < !&

$

" 7% ?

<

,
=

.
,

>

!=

&

<2>

&

2@ C
!

7 B

A 2@ C
))% ? 7
. 7

7
!

'

.
!

(
,

&$)

:*/:

}<

# %

:?
:?

:?

# %<
# %
!

!
74O$ 2

<@
N?,

<

,
,

& , ,
$? ,

&

,
0
!

&
,
N8 :2
;

, !

!
=

)6% ?

"

<7
&

$
A

&

7'O
(
7
(

! !

= { } <,
(
.
!&
< ( ) ( ) ( ) $
,
A

.
<
! $

F !

F !

F !

" 5% ?

(
,
!

.
#,
$

# "% )

<*

$
(

(
.

# "% )

" +%
!

!
.

<

! !

" 6%
,

# !
=(

!
<

! <

" )%
*

7 ! !
,
& ,
. 7

69% ?

<
,
&%

$2
<

<

!
! $
! <

&

<

$
.

<

=( $

:*6:

" 9%

=( $
<,

&
! !

<

$
!

# "%

<

"
!
=F

!
=V
'
F

:)

.
%<

! !&

'

<

9<

= ,# 9
,# 9
0 =

'

%$
,

'

! = ,# 9

'

,# 9

<,

'

,# 9

<

'

'

< ,# 9
'

$)
"

<

<

'

! = ,# 9

<,

%#

%$

"

'

&

&!

,# 9

'

'

:)
, .

0
F

%!

}(

! !
<

,
(
A

( , <
<(

F !

F !

F !

! !

<

+
*$

:*+:

# % .

! !

/,

'

,# 9

" ;&

"

"
<,

'% ?
&<

$
# "%
! #
,
!

'%<

<

@
=( #
(

,
,. > .
(
,
$

#,
<@

!
6%

/%

>

$ ?

<

% <
<$$$< ,

!
.

Resolucin General
=

<

&

, &
& , ,

&
,
,
< ! .
$

&

,
.
$

& ,

,
,

<,

& .

!
&

2
&
,

.
<

,
(

@,

,
@,
<=

!&

&<
.

@,

# !
{- : - :

63A

- :

(
<

-"

- - L -

-"

? (

)=

<

&

&

"

)
)+A
!

"

"

6;A ? = {- : - :
- :
', <
, ( )<
, &
-"

# !

"

67A
0

$
*

# !

(
?
!! $

!!

:*-:

@, & <
@, & .
',

"

!
#" = K

'

={ :

%$

!}

 ={ :

6>% ?
<

# !

"

{ : ( ) : ( )
}
' {
={ :

!"- .

={ :

}7

, ,
"
& $

:<

: #'}

&

'= K <

( ") .

&

!=

"

}/

!! <

!!

A o

@,
.

)7A

o = o = ,

={ :

@,

}$

+5A

&

""

)3A ? = { :
={ :
! :
:

( " )$

<

"

( )) = ( ) ,

7"

,
, $

"

# !

:# }
&A

:#

&

: (

={ :

={ :#

% o o ! = o ! o ,

:@

&

) ,

'

"

+8A

# !
.&

( )} {

!) =

!=

!
!

<

( )

!!

!!

<

( )$

@
'

'
!

! !

: $

:*1:

%! ! $ ?

<

!$

# !

{
,

+)A ?
:
,

"
.

@, &
"

(
'

,
,
}

'

:*7:

,
&

'
!
.

Unificacin
,
3
@,
)
, <

# !

! &
,

< '7+6<.
,
&$
<

NP

$?
,
.

< =

(
.

@,
!
< A (

={
< .

);A ?
!

<

! !

( ,
!

{% : -}

. A =

,
(

) = (

(
<

,
) = (

}
,

)=

= (

@,

>A ?

1!!}

, .

{- : %}<

@,

!
<
,

%:<

<

:45:

,
!

- !!}<

(
!

! !

! !

={ :

A ={ :
$?

< ,
;
,
=

={

,
.

.
: },
, . = o $

! -:% : }
,
{- : %}
.

$
"

'745<
<
,
,
!
$

( , )>A ?
={
! % !!
={ :
! %:- : }
!
= { :
!
$) ( ,
!
,
& = { : }$

!
&

!}<
)=

,
++A ?
.
!
!
"*
#
%
,
& .
, = o $
!
!
,

&<

= 17O$

+6A
& $ ?
&<
(

# !

!
> ,
3
!

"

@,

7<

.
{% : -}<
,

2
(

&

,
@,
.

!
!

"
@,

@,
@,

<
,

$
!
$ ?

<
! < ,
&<
<
!

,
,

$ ? ,&
,
.
= =
!
;

,
$
,

@,
$

(.

.
@,
@,

@,
@,

!
,

<

$
&

$
)
,
# !

, &

$
(

+9A

@,

={

#
(

!
:?

!=

A
:?

@,

!
'!

={

'

!=

68A ?

={

'

'

!}

!
!=

'!

! !
<

<

!
'

'5?

H'5<

={

"
@,

<

:?

}<
( )<

@,
&%

$?

!
,

! !} <,

!
(

'

.
,

<

.
;

:4':

#
<

'

={

!} <.

={

<

}<

@,

!=

<.
9.
@

, .

"

'!

,
,
={

<. <

* <,

<

! ={

!=

<

& A 0-= ' < ' -=

'$:
*$: ? 0

!&

&

4$: ?
A

-=

, 0 Q%

0 .

A?
A

#QL

( 0 ( ))

{- : }

0+ = 0
0 =0+

A ?

!
.
,
!

,
&
;

@
.
!

*$
(

& ,
,
,

&
$?

=
,
$
,

@,
&

:4*:

.
,

,
.

< .
$

4<
<
&

"

65% 2

={

!}

!!

5% 0 = ' ( ' =
)%

'

={

}
, =

-=

6% 2

!={

)%

={ :

!!

!}( 0 =

!!}(

={
.

6% <

"

={

6)% 2

!!!

!}

0"

!!}

5% 0 = ' ( ' =
)%

'

={

6% 2

4/( 4

={ :

!={

)%

}( 0 =

!!!
% 40( 4B&,' = { :

6% 2

! ={

)%

6% 2

!!!

4,( 4 & '

! ={

)%

:
!

={ :

={

!!} (

!} ?4)
!}

={

!!

!!!}

!!

!}

!}

!}
( ?46
$

"
,

!
$

&

=.
( ,

&<

=.
H =.

:44:

.
H#

= I%$

"

={

66% 2
)

'A 0 = ' < ' = $

*A

4A ?

*A

! ={

4A )

'

={

!
.
<

}
4 "4 = { :

3
,

!!}$

6+A ?

={

!!} <

!
,

&
& ,
(

}<0 =

<

={
(

!}
0"

"
(
!

@,
$

! & ,
& ,

!
& @,

$
"

.
!

'

'

:4/:

!}$

Algoritmo de Resolucin General

&
! &
!

"
,

,
# !

&
$ 2
!

.
&

,
@,

&

+3A

&

,
&

$ ?

<

&

& , &

A
! = {

& &

"

! & !} {

69A
=

!!

!
& =

={ :

!
!

63A ?

"

?
<
!

!}

,
!

={ :

&

!!
=

&
!!

. <
(
!

!$

.
,

<
$

!&

!
,
!

!!

.
!$

, $ /*%<
,
,

( , <

!
67% ?

(
!
,

&

"

!!

! =

) .
;$
<
,
.

!!

! !

!=

& &

!!

!!

& =

!!

<

! & !}

!} $

:46:

<
=
<
<
$?
!
( $

!!

=.

$?

<

<

A
-

!!

={ :
)
!

!}<.

.
<
<
<

. <
A

!!

(
4

<

A {
(

!!

! =

!}

<

< <

<

''$

!}
$
! &

!!
!

%
# ) !
#

#
3/ 6

"
(

%
2

7
!

'$: 8
*$: ?

A
4$:

>

!
!=

/$: ?
6$: ?
4$: ?

,
$
,

<2>

,
!&

2@ C
7 B

A 2@ C

''

7
!

'
.

<
&
!!

:4+:

=.
A

!! .

!!

!$

6;A 2

"

&

!!

!2

! 2

!!

! 2

':#

!
2

!!

!2

!
!!

<

!!

'5
!

''

!!

'4

'/

'6

=(

!!

'*

!!
!!

!}

>

!}

' )

.
(

,
,

'*0

&

!!

$2

%(

$
'

'6% ,

.
&

,
$

:4-:

'*$

<

'% ?

" 58&
&
# "% )

.
.

&
& '

@,
, .

&
,

&

(
(
2=

&

)$
(

&

! = & !

! = & !

? ,&

& &

) ( )
= &

#3

&

& != & !

&

!
! J & !

<
! = {

! & !} {

! & !}J

&

<

&

=>

&$
.

N'O

@,
<,

'"

&

&

=&

! ,

> )7/ ? =>

> )70 ? > )7/ > )70

:41:

<

 &!

F<

V %$

!
= $)

@,

&

,
V

< , ,
< !&

=
= !

#
@,

.
&

$?

, . A

) ( )

<

ND

(
(

E:

)
)

&

. <

,
!

,
<

$
,

&

L
@

:)
V : F$

<

.
? =

, ,
, ,

A
!

<
.

, ,

&

%$
" 55 &

=(

'% ?

"

;
%

#,

%$ B

:47:

(
(

<,

A ? ,&

. A

= {& &
= {&

&

&

@ ,
&$

&

&"

<,

<

,
>'

> '$

. A

! = { & !

! = { &

& !}
+

&

!}

& ! &

& !

&

!}

A
=

{
{

!! U

& (

){&

& !

& !

& &

(

o

!
&

<@

)%

&
@

)=

{&

& & +

&

&

}=

& !

(
?

& ! &

? @
<,
(

N*O

!!

&

&
+

!}

. A

!} =

, $

{&

<
, . <,
&
.

& &
!

&

N4O
,

<

)=
!

<

!! =
!=

# ,

:/5:

N*O%

}<

)(

)(

) (

#)

)J

.
!

!=

J (
# ,

)(

ND

;<
<

!
!%

!=

)) ( (

)=
!

& & !
%< ,

)) =

E:

O%

J
)
"

)=

=
6>A ?
A ={ :

<

<
!

! 3!

!}

={ :

:/':

}$ ?

!!

! !

!!

m :

!!

?
={ :

:
=

&<@
! :

}.

! !

!!

!!

m : r

!!

" 5) & "

!
<
$

,
<,

& .

,
,

&

:/*:

%A ?
&

!!

A
(

A ? 7
.

#,
@

& , ,

&

@
<
?
!

!!}

%
$

&%
(

;
7

&
@A

%
7

<

& <,

&<

;$
<
!

,
<

<

:/4:

< <,
!!

( , <
!

Estrategias de resolucin
1

0
$

* ;
;

%
5 #

/
#

,
- @A 0
B/

8
%
#

3!

#
3/ .

$
;
$

/ 6
%

#
$ /

Estrategias de Borrado
4

#
$

5
#
1

/.

0
;

# !
!.

+7%
(
.

,
;.

<

&$)
, $

&
"

={

(
<,

+8%
<

.
,

&

,
&

# !

!
!
< ,

!!

+;%

+5%

$8$

(
!

!}
<,

$
!

"

<

>

://:

!
.

<

&
!
(

<,
,

.
"
,

<

(
;.

.
&

$ 0

, .

"

!
(

& { :
< ,

,
$
(

!}

!
$

# !
3
@

+6%
!

+)%
,

"

,
$

+>%

$?
"

&

!
!
! -! 1!
! -! 1! ,
.
: -}
,
<
<

<

!} $

? ,
<

.
(

(
3
,
( $

3
$

&

!
. <

!
<,

<

,
.

=.

,
(

&

&<

$8
(
&$

C
# !
,

98%
#

&

%$
,

&

&

$
"

'$:
*$:
4$:
/$:
6$:
+$:
"

={
<,
$

++% ?
&

<

-$:
1$: %
7$:
'5$:

)!
)!

&

<!
?!
< ?!

(
$)
,
, .

>!

.
&

=
,

}$ 2
,

( , <

.
,
' *,

$?
.

:/6:

&

<

<

&
.
.

$"

<
!
!

;.

!
<
={

<

,
<
,
}
, .

<
,
!
$

!
$

&

)
!

( , <
<

<

(
&
$

!
,

L
.

<

&

Resolucin de Entrada
# !
,

95%
(

={
<,
<
(

+9% ?
&

"
.

$
,
$
}$ 2

&

&
&

,
A

,
'$:
*$:
4$:
/$:
6$:

-$:
1$:
7$:

)!
<!
) =!

+$:
? ,
,
<

&
.

&
,

$
.

<,
$

&
( , < ,

Resolucin Lineal
8

0
!

5
#

%
/

:/+:

,
,

9)% ?

# !

2
!
#'%

'

"+

*
.

4@"
/" "A/A

"

"

%<
#*%

"

"$

&

&
,
(
< ,
(

/%

*
!

!
#

={
<
,

}$ "

&

,
(

? ,

&

$
$2

<

!
&

lq

<
$)

,
(

<

<

Resolucin Ordenada
*,

#,&, "-

/8
#

/ 8

!
#

!/

:/-:

={
#

+3% ?
&
%A

"
!

}$ 2

&

,
,

'$:

6$:

*$:
4$:

+$:

>!

/$:

-$:

) <!

;
.

,
&

,
6<
/,

'
,
*
4,
$

&
,
?
L

& %$
< =

!
.

( , <
<
&
&

'

$)

$
,
,

;
)
#2

/
,

/$

,
4 /$
+<

&<
&

(
&

> .

&
&

L
&
%.

<
& ?

:/1:

&$

Prueba de Teoremas por Resolucin

,
'4

"

!
=.

&
!

.
,
@
.

,
(

(
!&

,
,

<

'74'< S

&.

<,
&

& ,
<
$

<

!
,
,

!&
,

$?
, ,
=

<

,
;

,
5<
!
*%

+ "

&

! ="

! =" + "

"

,
,

$
A

' !

*$: #%

! #%

*%

*%

,
&
$

&

&
#

# ! # !)

+ !=

+ !+

' '!

/$:

-! #%

- !

*%

&
.

( ,
#
&
&

<@

&

! ="

(
= ,

'$: #%

(
,

+7% 2
&

@
&

'4

@,

;
!&

4$:

$
,

"

&.
!&

(!

$
'755<L
< !
. ,

@
)
#%

$ ?
@

(
&

%.

&

!&

&
%

# @

&

"

,
!&

%
%

:/7:

#(

,
.
!

) )

+ != +

<

& ,
,

2,

@
;

$ )

< ,
( , <,
$ ? ,

;
&A

T
,

<

)
,

*%

# (')))

<

>

&

&

<

:65:

&
.
@

(
;

Bibliografa

CD E6

( F */ D E6
. ,
" &+
" +
7
G 2 /

% , + ", ,
(( !

16O
$
2

CH

#'716%

; =?F
*/ I/ H
" &+ % * " #+ +
*
K
7

N?" 74O
*)
3!
NP

= 17OP
2 C

?"
+ * /"+
A ?"E
P

=
6 B
,

C*

N0

7*O?
3
2
1-O

'774

%
<B $ *' 0 $ '<C

'717$ ,,$ 7*:'*/

$
&

P
3
:U

= U
?,
B

(=?!

7
3
2
' ? ** U '-$ 0''5$ C

NP V I -7O3$ P V I
$ *
0 =L
$
2 ! $ #'7-7%
NP

; /J/
" " " &+ ,&&" , ,
; 2 /

,> A &

$* $

<)

&

$
#'77*%

$* $
$* $ $

==F,

*
,
% " +1" +
M; D %
:

75O !0
< C
$ "* $
$
= U
W?

$
#'71-%

./ L
" ++
7

2 /

(==!

I
$
#'775%

:6':

C.

;
8
6

N?

( FN/ .
-6
EL

H/ 6
.

(( !

1+O
?
< = ?= ,
!5
* $
= C ) $ * $ $ 7/

#'71+%

:6*:

ndice Alfabtico
H =.

44

!
@

&

*1

"

/7

"

"
4+
(

4'

"
(

*/
"

4'
!

4'

&

4*
4
/

*"

."
*

* "

."
*

**

&
=.

'/

4+
&

'*

'1

'/
*

/-

!
*

**

**

*
#

4+

**

&

/7
-

"
46
.

&

'6

*4

&
,

46

47

"

*&

&

@,

&

*,

*-

"

C
,

@,

//

,
/*

:64:

@,

4'

'7

<

'7

'7

<#

'7

0)

'1

//

0?

'7

"

*'

'7

@
'7

?I

'7
,

'7

'7

"
+

'7

@
'7

*
0

'1
"

! "

'1

"

'*
6

! "

*6

!
!&

'*
**

!&

'*
= I

!&

44

'*
'1

!
!&

/
,

& &
/

'

/7
'/

"

**

/
L

45

/7

&
3

& , ,

*4
*4

**4<46
*

*-

&

-<1<'/

/+
,

&

45

/5
'7

:6/:

&

*-

&

*-

&

*7<

&

*1

"

45
!

&

45

45<46
!

45

45

/6
!&

//

,
, ,
L
"
.

47

47

4/

45

/7

*1

:66:

Informacin de Contacto

*
! "*
G
#

.
'

&

"

VVV$

= ,
*

:6+:

X $