.


:

:



,



( , )

:

































 

 

 

 
FAQ

⇐ 12345678910 ⇒



- , , .

- , , (. , . III, 1).

.

17

.

:

- .

17.9. .

17.10. .

17.11. .

17.12. -
.

17.13. .

17.14. .

17.15. .

 

17.1. .

17.2. .

17.3. .

17.4. .

17.5. .

17.6. -
.

17.7. .

17.8. .


14


!.



 


18

. :

- .

18.9. .

18.10. .

18.11. .

18.12. .

18.13. .

18.14. .

18.15. .

 

18.1. .

18.2. .

18.3. .
18.4 .

 

18.5. .

18.6. .

18.7. .

18.8. .

19

.

19.1. . .

19.2. . .
19 3. . .

 

19.4. . .

19.5. ,

19.6. . .

19.7. . .

19.8. . .

19.9. . .

 

19.10. . .

19.11. . .

19.12. . .

19.13. . .

19.14. . . . .

20

.


 

20.1. .
1941-1945 .

20.2. . .

20.3. . .

20.4. . .,

20.5. . .

20.6. . .

20.7. . .

20.8. . .

20.9. . .

 

20.10. . .

20.11. . .

20.12. . .

20.13. . -
.

20.14. . .

20.15. . , .

, , , .

, , ()\ , , - ().

, , () ; , (), (). .

.

1. ( = ).
: ) -
(< ) 6) ( > ).

2. . -
.

3. . -
, -
(x ).


 


 


16


1.


1.4.


17


 


4. (. , . III, 2).

21

; , ; , , .

:

1. -
, . .

2. , -
,
. , - -
.

3. S-P- ". .

 

21.1. - , -
.

21.2. - , -
.

21.3. (V) - ; :
, , . .

21.4. - , -
,

21.5. -/ ,
- , -
.

21.6. -
, .

21.7. - / -
-
.

21.8. -
- .

21.9. , -
, .

21.10. - , -
^ .


 

21.11. , -
,
.

21.12. - .

21.13. -
,
.

21.14. -
.

21.15.
,
- - -
, -
(
.)

22

21 ( ) - .

23

; , - .

:

() - (), (). - , - , - , - .

23.1. - , -
.

23.2. - , -
, .

23.3. -
-.

23.4. - ,
, .

2-6194


18


1.



19


 


23.5. - -
, -
.

23.6. -
.

23.7. - -
.

23.8. - ,
.

23.9. - , -
.

 

23.10. - .

23.11. - , -
- -
(,
. 40).

23.12. -
, -
(, . 209).

23.13.

(, . 420).

23.14. - -
-
.

23.15. - .

24

( , ).

:

- . - . ( < ).

: - [ = ).

24.1. - , .


 

24.2. - , -
.

24.3. - .

24.4. -
.

24.5. - , .

24.6. - ,
,
.

24.7.

24.8. - .

24.9. - .

 

24.10. - , .

24.11. - ,
.

24.12. , -
.

24.13. -
.

24.14. - .

24.15. - .

, , . .

, , , . , , . :

1. .
: ) ( -
) ) (-
, ).

2. .

3. . -
.

4. . -
, -


20


1.


I 5,


21


 


. () (. , . III, 3).

25

, , , .

:

1. , ,
. . -
- . , , ,
- . - -
.

2. . -
. - .

 

25.1. , ,
.

25.2. .

25.3. , .

25.4. .

25.5. .

25.6.
, ,
.

25.7.
.

25.8.
.

25.9. .

 

25.10. -
,
, -,
.

25.11. ,
, , -
, .


 


 

25.12. -
-
- ,
, - , -
, ,
.

25.13. -
-, -
.

25.14. (
).

25.15. -
.

26

, - .

26.1. -
, , -.

26.2. -
.

26.3. .

26.4. , .

26.5. , ,
.

26.6. - ()
.

26.7. -
, ,
.

26.8. , .

26.9. ,
.

 

26.10. , , ,
.

26.11. , ,
.


22


1.


16.


23


 


26.12. , , ,
, , -
.

26.13. -
,
, .

26.14. ,
.

26.15. ,
.

27

.

27.9. .

27.10. .

27.11. .

27.12. .

27.13. .

27.14. .

27.15. .

21 . .

27.2. .

27.3. .

27.4. .

27.5. .

27.6. .

27.7. .

27.8. .,

28

; , .

:

:

1) ;

2) . : -
. :

.

28.1. .


28.2. .

28.3. , -
, .

28.4. , -
.

28.5. , , -
.

28.6. , .

28.7. , , .

28.8. ,
.

28.9. -
.

 

28.10. ,
.

28.11. , -
.

28.12. , -
.

28.13. , -
.

28.14.
, ,
.

28.15. , ,
, , .

, , ( ), .

: ( ), , () () - . : , , ... - , 1 - , 0 - () , - (), - (), ' (-) ().


24


1.


1 (,


25


 


, .

() , .

: A ∩ B. , , .

, , . , .

() , ().

: A ∩ . , , .

(). - ('), . 1. , : 1-='. , , , (. , . III, 4).

29

. ) .

:

{ ). (81 : () .


29.6. . .

29. 7. . .

29. 8. . . .

29.9 . .

29. 10. . . .

29. 11 . .

29.12. . . . .

29.13. . .

29.14. . .

29.15. . . .

30

29 () (). , - .

:

) (). (). -
- , .

) (). (). ∩ . -
() -
, .

31

. .

:

(1). (). 1 - = '. , .


 


29.1. . .

29.2. . .

29.3. . .

29.4. . .

29.5. . .


 


 

31.1. . .

31.2. . .

31.3. . .

31.4. . .

31.5. . .

31.6. . .


 

26

1.

31.7. . .

31.8. . .

31.9. . .

 

31.10. . .

31.11. . .

31.12. . .

31.13. . .

31.14. . .

31.15. . .


2. 1 2.1.

- , , ; , .

, , , , .

. , , . - ( ) . . (S), () , - - : , . , . IV, 1).

1

, . :

1. , ! (). - .

2. ? - -
.

3. ? (). - -
. : .

 

1.1. - .

1.2. .

1.3.
.

1 , (1930-1992).


28


2.


2,2


 


     
 


1.4.
?

1.5. ? ().

1.6. , ? ().

1.7. , 1147 ?

1.8. ? ().

1.9.
.

1.10. ? ().

1.11. !
!

()

1.12.

, .

()

1.13. ! ().

()

1.14. !
, !

1.15. ! ! ! ().

: 1) - (S - P), 2) , (xRy) 3) (), .

() , , . : (): S P, (): S , - (I): S , (): S P.

( S ( ) ) .

, .. , , .. . . 6 :


(, ) (|I, O ). (, ) (A. I).

. (S, S ) , - . ( S, S1 ) (. , . IV, 2).

2

, .

:

1. - -
. - [ S \.

2. . - (R).

3. . - .

2.1 , , .

2.2 .

2.3 .

2.4 ( ).

2.5 .

2.6 .

2.7 - .

2.8 - .

2.9 .

2.10 .

2.11

.

()

2.12 , .

2.13 . , ().


30


2.


22.


31


 


2.15. - , .

3

, ! , , , . .

:

(S) - { ). - - , - . . S .

3.1.
.

3.2. .

3.3. -
.

3.4. XX
.

3.5. ().

3.6. ().

3.7. -
.

3.8. ,
, .

3.9. , -
, .

3.10.
.

3.11. .

3.12. .

3.13. .

3.14.
.

3.15. ().

4

.


:

1. ,
(, . 1):

S (S 1,S2,S3) .

2. , , , , -
( -
, . 5):

S{S1,S2,S3,S4,S5) P(P1, P2).

4.1. , , ,
.

4.2.
-

4.3. ,
,

.

()

4.4.
, ,
.

4.5. , -
.

4.6. -
, ,
.

4.7. , , , ,
.

4.8.
, , , ,
.. .

4.9.
.

4.10. , , -
.

4.11.
: , ,
,
, -
, -


32


2.


'.2.


33


 


     


6.1. 6.2. 6.3. 6.4. 6.5.

6.6. 6.7. 6.8. 6.9.

6.10. 6.11. 6.12. 6.13. 6.14.

6.15.

3-6194

, (, . 2).

4.12.


(, . 7).

4.13. ,
,

, ; .

()

4.14. , - , , ().

4.15. , - ,
,

, , .

() I

5

, - 1 : , , I, .

:

. S . - -1 (/).

5.1. -|
.

5.2.
.

5.3.
I.

5.4. .

5.5. , , -
.

5.6. .

5.7. ().

5.8. - !
.


5.9. .

5.10. .

5. 11. .

5.12. , , ().

5. 13. .

5.14. .

5.15. - .

6

, , - .

:

- . - (A), S , .

- . . - . .

.

, .

.

.

().

.

.

.

.

- .

.

()


34


2. !


1


35


 


?

. .

:

) . -
: , , -
:

S, S, .

) , -
, (, . 14):

( S (S1f S2, S3) ).

7.1 -1 ().

7.2. , !
, , !
, (, . 185).

7.3. .

7.4. , -
.

7.5. (-
).

7.6. , , -
.

7.7. - .

7.8. ,
.

7.9. .

7.10. , .

7.11. , , -
, -
.

7.12. ,
.

()

71. , ! , - ( ).


7.14. .. - .

7.15. ().

8



SP

1


2

3

5

6

, (1-6) - :

4

8.1 .

8.2 .

8.3 8- .

8.4 , (, . 15).

8.5 .

8.6 .

8.7 - .

8.8 - .

8.9 .

8.10 - .

8.11 .

8.12. . 8.13 .

8.14 .

8.15 , (, . 195).


36


2.


2.3.


37


 


2.3.

, , - , , , , - . : 1) () - p ˆ q; 2) () p v q; 3) (- ) p → q; 4) ( ) - p ≡ q.

() , , - v q , , - q,& , , - < v q > , - v q {. , . IV, 3).

9

, ( ), , .

:

. - () , : 1} () 2) (q), . : < V q >- , .

9.1. , -
(, . 33).

9.2. -
.

()

9.3. ,
.

9.4.
().

9.5. .

9.6. - .

9.7. , .

9.8. , .

9.9. , .


 

9.10.
, , .

9.11. . (, -
) , ,
,
.

9.12. , , -

(, . 432).

9.13. ,
.

( )

9.14. -
, .

9.15. , ,
,

, - .

()

10

, , , .

11

, - ( , ), . , , ms > .

:

, , , . 6 : , ' , , . () , , p v q v r v s.

11.1. , , , .


38


2.


2,3.


 


11.2. ,

, .

()

11.3. -
.

11.4. - -
.

11.5. , -
.

11.6.
( ).

11.7. ,
.

11-8. ,

, .

()

11.9. , .

11.10. , .

11.11. , ,
,
-
(, . 21).

11.12. ,
.

11.13. ,
, -
, -
.

11.14. ,
, , , .

11.15. , -
, , ,
, ().

12

, . , , -.., ... <, ..., ....


:

. - : (.), (). : -.

12.1. , -
, , (, . 12).

12.2. , , ,

.

()

12.3.
, ,
.

12.4. - .

12.5. ,
.

12.6. ,
.

()

12.7. . , -
.

12.8. ,
.

12.9. ,
.

()

12.10. , .

12.11. , -
, -
,
(, . 10).

12.12. ,
, -
()
(, . 80).

12.13. ,

(, . 30).


40


2.


2.3.


41


 


12.14. -
, , .

12.15. - .

13

. , .

 

p q P ˆ q P v q Pv/q → q p≡q

:

(), (q). : ˆ . (1- ) .

13.1. , .

13.2.
.

13.3. -
.

13.4. ,
,
.

13.5. - .

13.6. .

13.7. .

13.8. , -
().


13.9.
.

13.10. .

13.11. . , .

13.12.
.

13.13.
, , ,

.

()

13.14. , -
.

13.15. , -
.

14

, .

:

, . : (), (q), (r). : → (q v r ).

14.1. ,
, -
( . 46 ).

14.2. ,
-
.

14.3.
, -
(
. 271 ).

14.4. ,
-
.


 


 

 


42


2,



43


 


14.5. ,
, -
, , -

(. 77 ).

14.6. ,
.

14.7. ,

.

14.8. ,
, -
, , , -
( . 113 ).

14.9. , ,
.

 

14.10., , ,
,
.

14.11. ,

(), -

( . 25 ).

14.12. ,
, , .

14.13. , ,
,


⇐ 12345678910 ⇒


:

: 2018-10-14; !; : 1090 |

:

:

, , .
==> ...

2043 - | 1684 -


© 2015-2024 lektsii.org - -

: 0.607 .