- , , , .
Ÿ - .
{}, , {} .
, . . , .
, , .
, , .
: .
, .
, . , - . , , .
, -, , .. ( ) , -, , . ().
I. :
- p,q,r...,p1,q1,r1... - ( );
- , - , ;
- &, Ú,, É, Ì, , Ø - ( );
-),(- ( ).
II. :
1. () .
2. - , Ø - .
3. - , &, Ú, É, Ì , .
4. , 1 - 3, .
3. 1.
É
: =. . , - .
( )
.
Ø(&Ø)
:
, .
(tertium non datur)
ÚØ
:
, -
.. , .
.
4.. ()
|
|
(. ) , . , , :
) :
.
, . -
. .
) :
. .
, . -
.
) :
- ,
. - !.
().
.
- , () (). , , , - .
(. ) - , :
-
-
5.
, .
: . , . , .
) . , .
) . ( ) , , ,
) . , .
, .
:
) , .
) , .
. , , .
6.
, , . : , .
.
- , .
- .
- , . . , , , . . , .
:
) - , . : .
|
|
) . , , , . , .
7.
:
1. . , , .
2. . . - , ( ); , , , . , , , .
3. (. 1).
4. . , . , : , .
8. , , .
( , ):
1) - (), , ..
2) .
1) . : . ( ): 2 . 1. () 2. , .. , ,
2) , , .
, , .
, , , , ..
.
1) ( ). <Bc . A>Bc .
2) .
3) .
4) .
. 10. -, . , , , .
(inductio) ( deductio - ). (). , , . .
. () (). . .
1) - , . :
1
2
.
.
.
n
{ 1, 2,... n } = S
S P
2) :
|
|
1
2
.
.
.
n
{ 1, 2,... n } Ì S
, S P
3) . , . S , , , - . :
1
2
.
.
.
n
{ 1, 2,... n } =
S
S