. ( → ) ∩ ( → )
→ C
, , , . , , , . , . :
(A → B) ∩ (B ∩ C) ∩ (C → D)... ∩ (E → S)
(A →S)
, - , , .
: .
, (.. ), (modus ponens).
: A → B, A
B
(modus tollens), , .. .
:
A → B, - B
. .
: -, , -
-
, ,
, , , , - .
, , , , , , , (-, -, -).
:
, (1)
-,
:
1) ,
2) ,
, (2)
, -
:
1) , -
2) ,
1
, , , :
1. , . .
2. , . .
3. , .
|
|
|
4. , . .
5. , , .
6. , . .
7. , . ..
8. 1861. , . , 19 2000 .
9. , . .
10. , . .
11. , . . ..
12. , . . .
13. , . . .
14. , . . .
15. , . .
:
(), ().
().
, ().
, , .
2
, : ) , ) ; .
1. , .
2. , .
3. .
4. .
5. , .
6. , .
7. , .
8. , , .
9. , .
10. + 350 , .
11. . ()
12. , . (. )
13. , (. )
14. , . (. )
15. , . (. )
:
(), ().
) .
(). , . ().
, ,
) .
(-). , .
|
|
|
(-).
, , -
-
, , , , .
: - -.
- (modus ponendo tollens) .
:
.
.
, .
:
U ,
-
; .
- (modus tollendo ponens) .
:
, .
.
, .
:
U , -
, .
:
1. - - . - .
:
:
G., F., D.
G.
, F., D. , , , G., F. D. .
2. - .
:
.
.
, .
, , , . - .
3
, .
1. , , . G. . , .
2. , . . , .
3. , . , , . , .
4. , . . , .
5. , . ; , , ( )
6. , , . , . , .
7. : , . , . ( .) , .
8. : ? , . , .
9. , . . , , , - .
10. , . , , . , .
|
|
|
11. - . G. -. , G. .
12. . G. . , G. .
13. . . , .
14. . G. . , G. .
15. . G. . , G. .
:
( U ).
().
, ( - ) .
:
U ,
-
, .
, . , , . , .
, , .
:
) ;
) ;
) .
() (). , . , .
, :
1. , .
2. , , .. , , , . , , .
3. , , , ( ) . , . , , ; , , .
4. , , , .
6
.
1. , .
2. , .
3. . , .
4. , .
5. , G. .
6. , .. .
7. , .
8. , .
|
|
|
9. , .
10. , .
11. , .
12. G. .
13. G. , .
14. , .
15. , .
:
. , .
1. , : (S) ().
2. (S) () , .
3. : () ().
:
() ().
(S) ().
(S) ().
