1: :
:
, -
. ( ),
.
: ,
, . ,
; , ..
.
.
1: .
: ,
, -
. , ,
; : , ,
..
2: .
: , -
. .
2.: (, ).
: , . -
, /: , /;
, /, -
/; , , .. -
/, /.
: , .., .
: - , .. - , -
- .
3: ( -
).
: , -
, , (-
). , -
/, /.
/, , /. -
, - , .. -
, -
, .. /, /. ,
,
/-, -/.
|
|
//. ,
, /, , -
, /. , -
/ӻ, , /.
: .
28
-
()
: , , ( -
), , .
4: ,
, .
: (-
), ( -
).
: .
: .
- .
5: : ) ; ) ?
: , -
/, /. ,
. , .
/, /. ,
/ /. , -
/ - /.
6: :
: . -
: , (), .
; ()
; -
, . -
, . / -
/. : -
, .
. -
. -
.
:
;
;
.
;
.
;
;
;
;
;
;
. . . .
8: :
:
. -
.
: .
|
|
,
29
: . .
9: , , -
, , :
: , .
: (: dfd) , ,
, . (: dfn) ,
. -
, dfd -
, dfn ,
.
:
1. , .. dfd dfn. -
: ) dfd < dfn /
/; ) dfd> dfn /
/; ) -
, /
,
, , , ../;
2. . : ) -
dfd dfn, dfn dfd. /
, , /; ) -
df dfd. / /.
3. . :
) , , dfn
) / -
/.
4. / /.
: , .
: : .
11. , ,
?
: () , -
( ) . :
,
, - , . /
, .. ,
, ., /.
/ 12 /.
:
1. . -
. : ) / .
/; ) / , -
/.
2. . : ,
/ , , /.
3. . / :
, /.
30
4. . -
/ , , .. -
: , , , -
|
|
, ,
../.
14-18. .
:
, -
. , , -
. -
, . , -
. .
, , .. ,
. ( -
) / /, ( )
/ /, ( ) /
/.
, . -
, -. S. ( . Praedicatum
) , . -
: л. ( ) .
. / : S
, , /.
.
( - ), ( ), -
, . ,
. : S л S л.
, .
: S л, S л. ,
.
, / -
/. , -
.
.
. S л.
I - S л.
Ż - S л.
λ - S л.
I ffirmo (), Ż λ
Nego ().
, .
, , , ,
(S+), , , -
(-). , -
, , .
I .
, , ,
31
(S-, -). (S) ()
, S , , +.
/ (S+) (+)/
|
|
S , . , ,
/ (S-) (+) / S ,
S; , .
:
: I: I: : - . : -
- . . - .
16. -
, , I, , -
:
: .
: , , -
: S- P-
, .
S - :
17. (, , I, ). -
. -
, ,
.
:
-
.
____________ ,
. : -
( I, ), (-
I ). -
, .
: ( ) -
( I , ).
:
: ( ), (I );
(I ), ( ). : -
, , : ,
. -
: , -
. , , - . -
S+ Ж S Ж S P+
S+ + S- +
S P
I
32
, . ,
, , .
: .
: (I).
: - ;
: - .
: - .
18. ,
. ( ).
: .
: I :
.
19-23. __________ .
:
, , -
.
( ): , λ (), Ȼ
(), Ȼ (), , λ ( ), , λ (-
), , ().
1. , λ (). : . -.
: , . , .
, .. .
2. Ȼ (). -
, , , , , ..
. : ∧ &. :
. ∧ &.
3. Ȼ (). : ∨. :
|
|
. ∨. . -
, ,
.
4. , λ ( ). : ∨. : -
. ∨ .
. , -
, .
5. , λ (). : →, ⊃. : -
, . -
. -
. : ,
. : →.
6. __________ , (). : ≡,
↔. : , -
. -
: ≡.
19. 3:
3 - . , .
33
:
, .
, . ( ).
:
: , , -
, D , .
((∧)→) ∧ ((∧)→).
21 22. . , -
.
:
.
) :
: , . ,
- . , .
, , .
:
∧ ∨ ∨ → ≡
, :
∧ . .
, .
. . : , -
, . - ; , , - . ,
(∧) . : , -
. , . , , , - . __________
. : , . , , -
.
∨ . . : 1) -
, -. ∨ . 2) -, -. , ∨ ( -
) . 3) -, -. , ∨ . 4) -, -. , .
, ∨ .
∨ . , . -
: 1) -, -. . 2) -, -. ∨
. 3) -, -. ∨ . 4) -, -. ∨ .
→. , . -
: 1) - ( , , ), (-
). → . 2) - ( , -
, ), ( ). -
34
, → . 3) -, -: → ,
. 4) -, -: → .
≡. ,
. : ,
. : 1) -, -. . 2) - , -:
, . ≡ . 3) - , - : ≡ -
. 4) - , ( , ): ≡ .
1: : ((→) ∧)→.
: . ,
, (→) [1] [2]. [3] -
[4]. → [5].
.
(→)∧» [ 3] ˻, [1]∧
[2] = .
→ 1 3 2 5 4
(→) ∧ →
5 - -
. , .
2: ((→)∧(∨))→(∨). ,
.
: ,
.
: , , -
8 .
→ 1 3 2 5 4
((→) ∧ (∨)) → (∨)
( 5) -
. , .
22. ,
. ( .)
35
:
:
( ∧ ) ≡ ∨ ;
( ∨ ) ≡ ∧ ;
( → ) ≡ ∧ ;
≡ .
: .
, -
.
23 :
.
: -
.
: 1 2 , -
(1→2) .
, 1: ∧, 2: ∨. , 1 2.
(∧) → (∨):
→ 1 3 2
(∧) → (∨)
(: ) . , -
1→2 , , 1 2.
.
-
.
. , (1→2) , ..
- .
1 : (∧) = , 2 : (∨) = .
, = =, ,
( ) . . , -
, . , -
(1→2) . , ,
, ,
.
24. .
,
. . .
.
1. : -
.
: ≡.
36
, -
, .
2. :
, , -
.
: (∧).
, ,
. , ,
, , .
3. : :
, , .
/ -
/, /
/.
4. : -
.
, , .
, , .
25. - , , -
.
:
.
1. - -
. , . -
.
2.
, .
3.
, . ,
, .
4.
, .
, .
: .
:
: . .
: -. - :
.
: .
: - .
26-30. .
:
() , -
. . Syllogismos - -
, (), .
37
1:
.
S
.
S
, .
:
: , . S -
. . ,
, . , S. -
, .
:
:
1. .
/ 2: . . (?),
/
2. , .
/ 3: . . , - /
3. .
/ 4: . . (?), -
/
4. , .
/ 5: . -
. , /
:
1. .
/ 6: , - ,
/.
/ 7: . . , - -
./
2. .
3. (S, ) , -
.
8: P+ -
.
S+ -
.
S+ -
.
,
, , -
.
:
.
1 : ____ 2 : ____ 3 : ____ 4 : ____
S_____ M S ____ M M____S M____ S
S
38
: , -
.
: , -
.
: , .
: , -
. ,
.
1 . , -
. - . ,
.
8 . .
. . ,
.
29: . ,
.
: .
, . , -
, : , , , ,
, , , , , ..
: , .
: ( ,
). ,
. , .
, . . .
. .
M+ P-
. .
S+ M- . 1 .
. .
S+ P-
.
31-36. .
: , -
. - -.
- -. - (-
) , , , .
, -
.
31: - ,
, .
: , . -
.
: , -,
: - . -
. .
39
(→)∧(→)
, →.
: , .
33: -
.
:
- () , -
, . -
( ) ( -
).
: , .
:
) :
((→)∧)→.
,
.
.
.
) :
((→)∧)→.
, -
.
.
.
) :
((→)∧)→.
, -
.
.
.
) :
((→)∧)→.
, -
.
.
.
34: - . . ,
.
:
- (), -
, .
: ((∨)∧)→ - ; ((∨)∧)→ -
. : -
. - ,
: . . , . -
- -
. : -
. . , .
.
: . .
: , . ∨
- - .
.
35: , - -
: ) - ; ) - -
. ( ).
: .
40
: ) . ) .
, . , .
, .
36. . , .
.
: , , ,
. .
: .
: .
: ( → ) ∧ ( → D)
∨
∨ D.
.
37: .
:
.
.
. .
.
. ( . Inductio ).
. , -,
, -, , -
. / ; , , , ,
. /.
.
. .
: ) - -
; ) ; )
, .
: 1) -
; 2) ; 3) .
4) ; 5) .
1)
.
2)
3)
,
-
.
,
-
.
,
.
, , , , , ,
, D, -, , - , D,
, F, G -, , -
, - -, D, -
.
, -
-
.
, -
.
41
4) . 5)
, -
.
, -
.
1, , 1 , , ,Y,Z
2, , 2 A X
3, , 3 B Y
,
- .
, C
Z.
:
,
. 1880 . .. :
, (.)
(. ). . ,
- . , .
(.).
:
:
, : :
, , .
-, ,. .
, () ().
: .
38: , -
,
:
- , -
,
. . -
. .
-
, .
: 1) . 2) -
, . 3)
. : 1) __________
(.. , , , ,
..). 2) ( , , , -
..)
3) , : , , , -
, .
. -
, . -
Җ , .
:
42
1. , ( ,
).
.
1. .
2. .
3. .
4. . , .
: : .
:
) : , -
.
. , , -
. , , .
,
:
, , .
.
.
. , . .
) :
, . -
, . , , .
) :
1. , . (- ).
2. .
3. , . ,
.
4. , , . , ,
.
39: .
:
, . 3 ,
: , -
.
, . -
.
:
1. , ().
2. . ( ).
3. . .
4. .
:
1. ( ).
2. ( ).
3. .
: : .
:
43
:
1. , .
2. , , .
3. .
4. , .
:
1. ( ): -
.
2. () ( ).
: , __________
, , , , , -
, .
3. , - .
.
, -
. / : ,
. :
, /. ,
, , ,
.
, : , -
.
, -
, . / ,
, . /.
44
1. .. .- .: , 2000 304 .
2. .. . .: - , 1996. 309 .
3. .. . .: , 2000. 264 .
4. .., .. . . , 1998.
5. .., .-.. . -: - , 1999. 72 .
6. .. . , 1996.
45
2
1. .
I. ....3
. ...8
. ...15
2. 酅.27
.._______44__