. , . . , .
, . , .
, . : .
, . - , .
, .
. : , , .
, - , , - .
: , , , . (), .
[36]. . , . , .
, , , . .
- .
|
|
, , , .
, . , , .
: , .
, (), , , - . , .
2. : ,
, , : , .
1. (S1) , . , , - . , , , , .
2. (S2) , . . .
, , . .
. , , , . , : , - - . . , .
3. (S3) , - , , , . , , , .
, - .
|
|
: , , . , a1,2,..., n, (), (. 54).
54
1. , . : ?
, , . . ; . , , ; ..
- : , , , . , , , , .
2. , , , . , , : , "?
: (1) ; (2) ; (3) ; (4) .
(1) , . , , .
. , , , , . .
, . , , , , .
(2) . , , , , .
, , . , , ; ; , .
|
|
, , , . , , , : ; ; ; ; .
, , . , . , : ; ; , . , , ..
, -. , . .
(3) , .. .
, . : ; , , ; , , ..
, , . , , , ().
. , , . .
(4) . , , , . , .
, , , , . , . , . .
|
|
3. . . (a1,a2Ù,,..,Ù n) , () :
(a1 Ùa2Ù..Ù n) .
.
. , . , , . , .
, , , , , . . .
, .
3. :
. . , .
, , : .
.
: .
1. .
(1) , (2) (3) , . .
(1) . -
, , , . , , , .
. , . , . . : . . : , .
: :
. () :
1. (), ().
2. . ().
, - :
, -, . . , . .(2) , , , .
|
|
.
:
.
:
(1) 21- : , , , , ..
(2) .
, , .
, . .
, . , , , . .
(3) , . , , . , , . , .
, . , .
2. .
() : (1) , (ù ), (2) , : v A v .
: (1) (2) .
(1) 1 . .
. ùT; ( ) .
. , . : . . , . , .
S л, - : S л. S л -: S л (. ).
1 ,
, , v q, ù ( v q) ù Ùù q. , : , . : , .
(ùT) (). :
ùҮ.
. , (F). .
F , , . , :
Ú F,F
ù C
. . - :
ùҮ,ù ùù
. :
ùù
: , , .
, ,
ertium non datur: , . , , .
(2) , , .
( ù ), , , , .
. , (). . - (tollendo ponens) - :
TvBvC,ùB,ùC
, , : < v v >. , , .
, , - , , , .
.
, .
.
- . : , .. .
, .
: , .
, , .
. 55
(1) , . . , , , . , .
, , . . , .. . : , , - - .
, , . , : .
, : ; ; F :
1. Ү 2. Ú F, F 3. Ү C, ù C
ù C ù
: F, ù C. ù T.
, , . , . , . . .
(2). . , , . , , .
, , , , , .. . , .
, . , .
. , . , . .
: , ..., , ... ..
: , , , .
, . , .
, . , ; ..
. , , .
, , , .
, , , . .
, . , . . , , .
. , .
, , .
.
, . .
(1) .
(2) , , .
(3) , .
1 : . .
.
, .
. : , , .
. - (), , .
- (). . , .
: ; ; .
, , .