2007
510.(075.8)
87.4 7
80.
..
, .. []: / ... : , 2007. 119 .
ISBN
, , : , , , , , , - , .
: , ., . () - ..
, ,
- ..
-
, 2007
.., 2007
ISBN
. , , . , . , . - .
, , . - , . , - , - . , - . , , , . , , .
, , , , , ; . , , , , . , , . .
|
|
, , : , , . , . , .
, . , , .
, . , . . , , ‑ , . .
1. -
04-0313 04.02.2002 . , .
: ... ..
: .. - , ., .
();
.. - , ,
.
, , , , .
5 04.02.2002. 22020(), 180400(), 060800().
:
- , , .
:
- , , , ; .
|
|
.
:
- , , , , . , , .
:
- , , , , , , , , , , , .
, , , .
: 1) () ; 2) .
, , , ( )
: | ||
‑ | ||
‑ | ||
( ) |
: 18, 18, 66. : ( , ), .
: 6, 2, 94. : ( , ), .
.
1. . (, )
. . ( ). . . . .
2. ()
. . , . . . . . .
3. ( )
. . . . .
4. ()
. . . . . .
5. ( )
|
|
. . . . () .
6. ()
. . . . . .
7. ( )
. . - (modus ponens) (modus tollens). - (modus ponendo tollens) (modus tollendo ponens). .
8. ()
. . . . .
9. ( )
. . . , . , .
10. ()
. . . .
11. ( )
. . . . . .
12. ()
. . . . .
13. , ( )
, . . . . , . .
14. ()
. : , , , , .
15. ( )
. . . . . .
16. ()
. . . (). . . .
17. ( )
. . . . ; . . .
1. ?
2. ?
|
|
3. ?
4. ?
5. .
6. () , .
7. . ?
8. ? .
9. ?
10. ?
11. ?
12. ?
13. ?
14. ?
15. .
16. , .
17. , .
18. : , , ?
19. ? .
20. .
21. .
22. .
23. .
24. .
25. .
26. .
27. , , .
28. .
29. .
30. .
31. .
32. ? .
33. ? .
34. ?
35. .
36. ?
37. .
38. ? , .
39. ?
40. ?
41. ?
42. ?
43. .
44. .
45. .
46. ?
47. ?
48. . ?
49. ? ?
50. ?
51. .
52. ? ?
53. . .
54. .
55. .
56. .
57. .
58. () .
59. ?
60. .
61. ? .
62. () ?
63. () SaP, SeP, SiP, SoP c .
64. .
65. , .
66. : , , , .
67. ?
|
|
68. , , .
69. , , .
70. ( ) .
71. .
72. .
73. . .
74. . .
75. , .
76. . Barbara.
77. ?
78. .
79. .
80. ?
81. ?
82. ?
83. ?
84. .
85. ?
86. .
87. - .
88. - .
89. - - .
90. - - .
91. -? ?
92.
93. ?
94. ?
95. ?
96. ?
97. ?
98. .
99. ?
100. .
101. ? .
102. ? .
103. ?
104. ?
105. .
106. .
107. .
108. .
109. , , .
110. , .
111. ?
112. ?