. , . , .
, . , .. . , 5-6 . , :
1. () () :
2. , :
) ;
) ;
) ,
3. ( ) , -, - :
, .
4. , , :
) ,
) - ,
) ,
) ,
5. :
6. , , :
7. :
, , ,
8. (, , , , )?
) - . , , , , , , .
) - , , .
9. ( , , ) . , :
) : .
) , , , , , , .
10. , :
) : , ;
) : , , , .
11. :
12. , :
.
13. , , :
|
|
) .
) .
) .
14. ( , , ):
) .
) , .
15. , :
) .
) N .
16. :
S- P -
17. :
) .
) .
18. :
. , .
19. , :
((a → (b Λ )) Λ (b V c)) →
20. :
) ,
(. )
) .
) , .
21. , -, - :
, , , .
22. , :
) , .
) , .
23. . ?
) , XVII . . , XVII .
) , XVII . XVII . , .
24. . ? , ?
K. : , . , . . , .
25. ( , , ):
, , , . , . , .
26. :
, .
27. :
) . . , .
) . . , - .
|
|
28. , , , :
, , .
29. ( , ), , :
.
.
.
30. (, ) :
.
31. , , :
, . .
32. , :
, , , .
, , .
____________________
.
33. :
, , .
.
_______________
.
.
________
.
34. - :
.
35. :
, .
, .
_________________________
.
36. , -, - :
. . , .
37. , :
((a→b) Λ (b→c) Λ (c→d)) → (a → d)
38. , , -:
, . . , .
39. :
) , , .
) , , .
40. :