20

2:
2.5:

 , 20, 2.5:

.
.
1.
1.
2.
3.
4.
5.

2.
1.
2.

3.

.
1.
2.
3.

 , 20, 2.5:

.








(-)

 , 20, 2.5:

B.
1.
:

:

.

 , 20, 2.5:

B.
1.
1.
():

:
:
(.. ) : T

( ) :

:
:
: T

 , 20, 2.5:

B.
1.
1.
1:
:
( ( )
:
:
( )
:
{,}
:
{,,}
:
1.

 , 20, 2.5:

B.
1.
1.
2:
:
( ) (( ( )) ( ))
:
:
( ( )) ( )
:
{ , ( )}
:
{ , ( ),}
:
1.
2.
3. MP1,2
4. ( )
5. MP1,4
6. MP3,5

 , 20, 2.5:

B.
1.
1.
3:
:

:
:

:
{ , }
:
1.

2.

3. MP1,2
:
)

 , 20, 2.5:

B.
1.
2.
():

:

( )

 , 20, 2.5:

B.
1.
2.
1:
:

:
:


:

,
:

,
:
1.
2.

3.
MP1,2

10

 , 20, 2.5:

11

B.
1.
2.
2:
:

:
:

:
,
:
, ,

:
1.
2.
3.
MP1,2
4.

:.
5.
MP3,4
:
)

 , 20, 2.5:

B.
1.
3.
( ):

:
:
(.. ) : T

( )
:
:
:
: T

12

 , 20, 2.5:

13

B.
1.
3.
:
( )

:

(
)
( )

.
( )

:

(
)
( )
. .
== ==

 , 20, 2.5:

B.
1.
3.
1:
:

:
:

:
= ,
.
. :
1.
. :
1.
.

14

 , 20, 2.5:

B.
1.
3.
2:
:

{ , } |- ( )

:
:
{ , , } |- ( )
:
{ , , , } .
.
{ , , , } |- :
1.
2.
3. MP1,2
{ , , , } |- :
1.
2.
3. MP1,2
.

15

 , 20, 2.5:

B.
1.
4.
():

:
:
(.. ) : T
( ) :

:
:
:

16

 , 20, 2.5:

B.
1.
4.
1:
:
,

:
:
,
,
:
1.

2.
3.

4. MP1,2
5.
MP1,3
6.
MP4,5

17

 , 20, 2.5:

B.
1.
5.
():

:
:
(.. ) : T
( ) :

:
:
:

18

 , 20, 2.5:

B.
1.
5.
1:
:
p q, q

:
:
p q, q r

:
1 p q , p=A q=A
2 q r , : r , r=
p=A,q=A,r=
()
:

r= A
.

19

 , 20, 2.5:

B.
1.
-
- ()

-
. .. :

( ) ( )

20

 , 20, 2.5:

21

B.
2.
1.
1 ( )

:
1. (( ) ) 1 :, :
2. ((( ) )) ((( )) ()) 2 :, : ,:
3. (( )) () MP1,2
4. ( ) 1 : , :
5. MP3,4
2 ( )

:

:
1.

 , 20, 2.5:

B.
2.
2.

:
:

:

:
1.

22

 , 20, 2.5:

B.
2.
3.

:
:

:
1.

2.

1 :
, :
3.

MP1,2
4. (
) ( ) ) 3 : , :
5. ( ) MP3,4
6.
:
7. MP6,5

23

 , 20, 2.5:

24

.
1
.
;
1. ( ) 1
.
2. ( ( )) (( ( )) )
3 .
3. | |
.
4. | |
.

 , 20, 2.5:

25

.
2

T ,
{ } | { } | .


;
1. { } | { } | .
2. { } | () { } | .
3. | | .
4. |= |= ().

 , 20, 2.5:

26

.
1
:
()
()

|- ( ) ( ( ) (( ) ) )
|- ( ) ( ( ( )) ( ) )

 , 20, 2.5:

27

.
2
, ,
, :
|- ( )

 , 20, 2.5:

.
3
.
() -
() -

28