(, ) , , , .
, , , .
, , , , , .
, , . , , .
(. 41):
, b, , d, .
, b, , d .
------------------------------------------------------------
,
. 41
, , . (. 42):
:
R1 S, , , .
R2 S, , .
----------------------------------------------------------------------
, R
. 42
:
1) ( );
2) () ;
3) .
:
1) ( );
2) ( );
3) ( ).
, (- ) (). . (. 43):
, b, , d,
, b, , d
------------------------------------------------------------
. 43
, () ().
, . , , , , .
|
|
|
, . , - . , : , : , .
, . .
119. ?
120. ?
121. ?
122. ?
123. , ?
124. ?
125. ?
126. , .
127. , ()?
128. ?
129. ?
130. ?
131. ?
132. ?
133. ?
134. ?
135. ?
136. ?
137. ?
138. ?
139. , ?
140. ?
141. ()?
142. ?
143. ?
144. ?
145. , , , ?
146. ?
147. : , , ?
148. , ?
149. ?
150. - , (modus ponens modus tollens)?
151. - () ?
152. ?
153. ?
154. ?
155. ( ) ()?
156. ?
157. ( , )?
158. ?
159. ?
160. ?
|
|
|
161. ?
162. ?
163. ?
164. ?
165. ?
166. ?
167. ?
168. ?
169. ?
170. ?
171. ?
1
, . , , , I,
1.1. .
1.2. .
1.3. .
1.4. .
1.5. .
1.6. .
1.7. .
1.8. , , .
1.9. .
1.10. .
1.11. .
2
( ) , .
2.1. .
2.2. .
2.3. .
2.4. .
2.5. .
2.6. .
2.7. .
2.8. .
2.9. .
2.10. .
3
( ) , .
3.1. .
3.2. .
3.3. .
3.4. .
3.5. .
3.6. .
3.7. .
3.8. .
3.9. .
3.10. .
4
. , , . .
4.1. .
4.2. .
4.3. .
4.4. .
4.5. .
4.6. .
4.7. .
4.8. .
4.9. .
4.10. .
4.11. 32- .
5
, :
5.1. . . , .
5.2. . .
, .
5.3. . .
, :
5.4. . . , .
|
|
|
5.5. . . , .
5.6. . . .
5.7. . .
, .
5.8. . . .
5.9. . . , .
5.10. , , . . , .
5.11. , , . . , .
5.12. . .
.
5.13. . .
.
5.14. .
. ?
5.15. . . ?
5.16. . . ?
5.17. . . ?
5.18. . . ?
5.19. . . ?
5.20. . . . . ?
.
5.21. . . .
5.22. . . .
5.23. . . .
5.24. . . .
5.25. . . .
6
, .
6.1. , .
6.2. , .
6.3. , .
6.4. , .
6.5. , .
6.6. , !
6.7. , , .
6.8. . . .
6.9. , .
6.10. , . .
7
, . .
7.1. . ,
7.2. . . , . . . , . . .
7.3. , , .
7.4. , . ,
|
|
|
75. . , , . , . .
7.6. , .
8
, , .
8.1. , . , . , .
8.2. . , . .
8.3. , . , , , .
8.4. , , , . , , .
8.5. , . , .
- () (), , , .
:
. (), ().
().
-----------------------------------------------------------------------------
, . ().
:
→
---------- - - - -
(modus tollens)
8.6. , . .
8.7. , , . . . .
8.8. , 161 . 161 .
, , . .
8.9. , . .
8.10. , . .
8.11. . , . . .
8.12. , , . , .
8.13. , . . .
- , , , : , () ().
:
() (). (). ().
:
< 
>
--------- - - - - - -
(modus ponendo-tollens),
8.14. . .
8.15. , , . , .
8.16. , , . .
8.17. .
, . , .
8.18. . .
8.19. . .
|
|
|
8.20. . , , . .
8.21. . -, .
- , :
8.22. , .
8.23. , .
8.24. , .
8.25. , .
- :
8.26.
, , .
.. .
---------------------------------------------------------------------------------
.. .
, , , .
8.27. , , . .
8.28. , .
8.29. , . ,
8.30. , , , , , . , ,
8.31. , , . , , . ,
8.32. , . , . ...
, - , ; , :
8.33.
-------------------------------------------------------------------------------------
?
9
.
9.1. , , 14 . . , 14 .
9.2.
, , ,
-------------------------------------------------------------
9.3. 47 , : .. , .. , , .. .. .. . , . , 47 .
9.4. . , . 12 . , .
9.5. , 18 . . . , , .
9.6. , , , , . . , , .
9.7. , , , . , .
9.8. . . : " " " "?
9.9.
, , ,
---------------------------------------------------------------------------------------
.
9.10. , - , , , 100 / . , ?
10
, .
10.1. , . " " , , . " " , , .
10.2. . , . , . , -, . .
10.3. . , .
10.4. . , , , , , . , , .
10.5. , , , , , .
10.6. , . . : , . . , .
10.7. : , , . , , .
10.8. 1 . : , , . , , . , . 1846 , .
10.9. . . . , .
10.10. , . , . , , .
. .
10.11.
, ,
, .
( -- -).
10.12. , , -, , , , , , . ().
10.13. : , . ().
10.14. , I, II, . . , " , ".
10.15. , . , , , , . (. ).
10.16. , : , , , , . , . , ?
10.17. 21 - . . . , . - . . 23 - . . , . , : , .
10.18. , , "" . , , . , . - . ( ).
10.19. (. ).
10.20. : , . , ; , , , . (. ).
10.21. 1 . . , , , , .
VII.
