.


:




:

































 

 

 

 


.

1.

I.

1. :

1.2.

: - , . - , , ; : , , , , .

 

2. :

2.2.; ; - .

: - ; - ; - - .

 

3. ( ).

3.2. .

: , , , , .

 

4. , , .

4.2.

: - .

.

 

5. :

5.2. , .

: , .

6. *:

6.2. , , -, .

,

,

-,

D -

7. , ( ):

) ) )

:


)

)

 

)

,

,


8. :

8.2. .

: . .

 

9. , , - , , :

9.2. , .

: dfd < dfn. .

 

10. :


10.2. , ;

: - . - , , , .

 


11. , - , ?

11.2. , .

: , : , , , .. .

 

12. , () ( ):

12.2. .

: () .

 

13. , , , .., .:


13.2. ;

:

: 1) ); 2) ; 3) ;
4) .


 

II.

14. :

14.2. + = ;

: ( ) .

15. , :

15.2. , - ( , , ), .

:

S -

P -

-

 

16. , , I, . .

16.2. .

:

S- -

+ - .

"" - - " S P". " "

 

17. (, , I, ). . , .

17.2. .

:

" A " - - " ". (1)

"I" - " ". (1)

"" - " ". (0)

"" - " ". (0)

 

18. , . ( ).

18.2. .

:

:

" " - - " ".

"" - - " ".

 

19. :

19.2. , , , . ( . )

:

"" -

"" - ,

"" -

"" - ,

(→)∧(→)

 

20. :


20.2. (∧)∨(→);

:

(∧) (→) (∧) (∧)∨(→)

 


21. , .


21.2. (((→)∧(→))∧ (∨))→;

:

                 
(((→) (→)) ( ))

9 - - . , .

 

22. , . ( .)

22.2. , .

:

, " , " " ".

 

23. ? ∗

23.2. , , , . , , . . , .

 

:

AB

, ,

C D D B

, . , ,

E E

.

A

. ,

C

.

(((A → B) ∧ (C→ D)) → E) → (A∨ C)

 

                 
D E   (((A → B) (C→ D)) → E) (A C)

( ) 9 - . , .

 

24. ?

24.2. . , . (..).

:

( ).

: .

: .

 

.

25. - , , .

25.2. .

:

: ӻ. .

: - . - : .

: ӻ.

: - .

 

26. . , , .

26.2. . . , .

:

:

1. .

" . . , ". - , .

 

27. , , . , ( /, / //) .

27.2. . .

: :

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

 

28. , . . . . ? ∗

28.2. . , . , .

:

M+ P-

.

S+ M-

. .

S+ P-

, .

.

1 .

. .

 

29. . , .

29.2. . , .

:

M+

,
P-
.

S+ M-

, .

S+ P-

.

 

.

1 .

.

 

30. .

30.2. .

:

M+ P-

.

S+ M-

.

S+ P-

, .

 

.

1 .

.

 

.

31. - , , .

31.2. , , . .

:

A - " , ".

- " ".

- " ".

( → )∧ (→ )

, → .

: , , .

 

32. - . , , .

32.2. , , . , .

:

, , .

, .

:

1. . . .

 

33. - .

33.2. , .

:

) :

((→)∧)→.

, .

.

.

 

) :

((→)∧)→.

, .

.

.

 

) :

((→)∧)→.

, .

.

.

 

) :

((→)∧)→.

, .

.

.

 

34.- . . , .

34.2. . .

: ,

- - .

.

 

35. , :

) - ;

) - . ( ).

35.2. .

:

) .

, .

) .

, .

, .

 

 

36. . , . .

A

36.2. , ,
B C

; , ,
D
, .
A C
, .

:

.

: .

:
( → ) ∧ ( → D)

∨ D.

.

 

37. . .

37.2. (1977) , , , .

:

 

38. ∗ , , .

38.2. .

:

 

 

39. ∗ .

39.2. .

:

 

40. * , ( 6-7 ).

40.2. .

:



<== | ==>
 | .
:


: 2017-03-18; !; : 6643 |


:

:

, .
==> ...

1532 - | 1371 -


© 2015-2024 lektsii.org - -

: 0.192 .