1
1 (2 .)
1. () , () , , () .
2. ?
3. ? ?
4. , ղ- .
5. ? ? .
6. ? ³ . .
() , .
() .
() . .
() ³ . ˳ , .
() . , .
() , .
() 300 . , 23%.
() , . .
() . , , .
() , , , . , ?
() , , .
7. (in logic book style): ( , ) :
() . , , - .
() , , - ດ.
() , , .
() , .
() ³ , .
() , .
() . , .
|
|
() , . ' .
() , ' .
() , . , .
() , , .
() , . , .
() , . .
() , - .
8. . - ( ), .
() .
() .
() .
() .
() .
9. : /? /?. ?
10. ? .
11. ? ( ) .
12. ? ? ³ .
() .
() .
() .
() .
() , .
() .
() , .
() , , .
() .
() , .
() , ,
.
() .
() .
() , .
() : , , .
() : , , .
|
|
() .
13. :
() ?
() ?
() , ?
() , ?
() , , , ?
() , , ?
() , , ?
() , , , ?
() , ?
() , ?
() ?
() ?
() ( ) ?
() ( ) ? (') ?
14. , : ̳ , , , .
() , . . , .
() , . . , .
() NBA, 1 80 . NBA. , 1 80 ..
() NBA, 1 80 . 1 80 . , NBA.
() NBA, 1 80 . 1 80 . , NBA.
() NBA, 1 80 . NBA. , 1 80 ..
() - , . , - .
() . , .
() . , .
() . , .
() . , ດ.
() , . , , .
() , . , , .
() . . , .
() . . , .
() 2 2 22, . , 2 2 22. , .
() . - . , .
() . . , - .
() ̳. , ̳.
() ̳. , ̳.
() . , . , .
() . , . , .
() Rainbow. , Rainbow .
|
|
() - . - . , .
() - , , . . , .
() , , . . , .
15. ? ꭳ ? , ' .
16. ? () .
17. 14.
18. , ( ):
()
- ; ()
- ; ()
() - ()
()
- ; ()
dz - ; (i)
() dz - (x)
()
- ; ()
- ; ()
() - ()
()
- ; ()
e - ()
() - . ()
()
- ; ()
; ()
() - . ()
, , () (), ? ³ .
2 (2 .)
19. ( ) (1) - (8). , .
̳
20. ?
21. .
22. ?
23. :
() - , .
() - , , , .
24. , ? ?
25. ? /? / ?
26. , ?
27. ( , , ) . ³ .
() - .
() ʳ . . .
() .
28. ?
29. , , , .
30. ? ?
|
|
31. 㳺?
32. ? .
33. , , , , , . , : ѳ ' . , - ? ³ ( . . . - .: , , 1987. - .7).
34. ? 㳭 ?
35. : , , 볭 ?
36. 볭 ?
37. :
() 볭 쳭 .
() 볭 - .
38. ? 볭 . 볭 .
39. 볭? 볭 볭 ?
40. 곭 19 . 20 . 㳭 ?
41. : 㳭 , 㳭 , 㳭 , 㳭 , 볭 㳭 , 㳭 , 㳭 ?
42. ' 㳭 (, 볭Ⳮ, , , 㳭, , 㳭).
2
3 (2 .)
1. 㳭 .
2. ? , . , , ? Ⳮ .
3. ?
4. ?
5. ? .
6. ? .
7. :
. , 쳭 . [...] 볭 , . , , , 볭, - , , , , ...
䳭 ? [...]
쳭 䳭 , ? [...]
䳭 , Ⳮ , 쳭 - . , ̳ ...
ͳ, , , 쳭 . 볭 , , 쳭.
. ? , : , 쳭, 볭 , , 볭, , 㳭 䳭.
|
|
:
?
, ! Ⳮ
( . . - .: Գ, 1995. - . 89-90).
8. 㳭 .
9. Ⳮ 㳭 ?
10. 㳭 . 㳭 ?
11. 㳭 ?
12. 볭 㳭 :
() ~ q; () "(Gx É H);
() v ~ q; () 2 + 2 = 4;
() 6 v ~ q3 () p q É.
13. 쳭 㳭 .
14. 㳭 쳭 :
() .
() .
() ߭ , 쳭.
() ߭ , , .
() ͳ ϳ, ϳ .
() ߭ 쳭 , 쳭 , 쳭 , 쳭 .
() ߭ , , 쳭 , , .
() , 쳭 ; , .
() ߭ , , . , 譺Ⳕ.
() ߭ , , , ᳭ Ⳮ .
15. ( ) :
() ~ ( ﳭ & ~ ﳭ).
() ~ ﳭ & ~ ﳭ.
() ~ ﳭ.
() ~ ᳭ ﳭ.
16. , , : ; r ; s ; .
(a) É ~ (r & s).
() .
() y & (c v ~ r).
() (y É r) v c.
() É (~ (r & s) v y).
(e) (c r) & (~ c v y).
17. 㳭 , , : - ; q - ; r ; s ; t - .
() ߭ , , .
() , .
() , , , .
() ߭ , , , .
() , , , , .
18. ?
19. 㳭 . Ⳮ . 곭 ( ).
20. 㳭 .
21. , . , -. -? ³ .
() , .
() , .
() ͳ , .
22. 㳭 볭 .
23. '? Ⳮ . ' v q ; q . ? '?
24. , , ? ³ .
25. (p É q) & (r ) . ( ) , :
() q.
() r.
() r.
() q.
() r q.
26. , , . 볭 㳭 , Ⳮ : , q r.
() ߭ (), (q).
() ߭ ( ) Ⳮ (r), (p).
() έ (p), (q).
27. 㳭 , , : ; q έ ;
r ; s ; t έ ; u .
() , .
() ߭ , .
() , , .
() , , .
() , .
() ߭ , , , .
() ߭ , , .
() ߭ , , .
() έ , .
() έ , .
() , , .
() ߭ , , , .
() έ , .
() ͳ , , .
() ߭ , , , , , .
() έ , ( ) .
() ߭ , , , .
() έ , .
() , , , .
() ߭ , , , .
28. , q . :
() ~ q.
() ~ ~ q.
29. , q . :
() ~ q.
() ~ ~ q.
30. , p É q , q . q É p.
31. , q, r, s , Ⳮ, , :
() ߭ 10 , p.
() ߭ q, 10 .
() ߭ 10 , r.
() ߭ s, 10 .
32.
~ ( v q) (~ & ~q), Ⳮ, v q .
³ .
33. 㳭 䳭 㳭 , 㳭 , .
34. ? ?
35. :
(a) p É q;
() ~ É q;
() ~ ( É ~ q);
() ( É q) É ;
() É ( v q);
() ~ (~ v );
() ~ q Ú ~ ~ (~ q);
() ~ (~ É ( É q));
() ~ ( & q) É ((q ) v q);
(u) ( & (q v r)) ((p & q) v (p & r)).
36. :
() ֳ , ;
() ֳ , ;
() ֳ , ;
() ֳ , ;
ֳ ? , 䳭 䳭 . ( ) ֳ ?
37. :
() 볭 ;
() 볭 ;
() 볭 ;
() 볭 ;
() 볭 .
38. 볭.
39. 䳭:
: , .
: , .
: . , 쳭?
: , : , .
: . (쳭)
: 쳭?
: 쳭.
40. : έ , , , , . - : , 2 + 2 = 5, - ? Ⳮ : , 2 + 2 = 5. , 2 2 = 3. 쳭 쳭 3 2. ³ 1. : 2 = 1. , - 2 = 1, . , - .
41. ߭ , . , : () ߭ 䳭, ?; () ߭ 䳭, Ⳮ ?; () ߭ 䳭, ?
42. :
() ~ (~ p v p) & q.
() p É (~ p É q).
() ~ ((p É q) & (q É ~ p)) É ~ p.
() ((p v q v r) & (~ p & ~ q)) É r.
() ((~ q É ~ p) & (q É (p & r))) É (p É r).
43. , p , q , r . , ( ) :
() (p v q) & r.
() p & (q v r).
() r É (p v s).
() p É (r É s).
() p É (r É s).
() (p v r) (q & s).
() p (q É (r v s)).
() (p & q) É (r s).
() (p ~q) v r v (s É m).
() (p & q) É (r É (s v m)).
44. ³, - , q - , r - , s - . ( ) ( ) :
() ~ (( v q) É (q v r)) É (r É ).
(6) ( É ~ q) & (r É s).
() ~ [p v (((q É r) & (r É ~ p)) & (~ p É (q & r)))].
() ((p & r) v (q & s)) É ~ ((p & s) v (q & r)).
, ( ) , , 㳭 . , ( ) , , 㳭 .
4 (2 .)
45. () ( ) , () 㳭 ; () 㳭 ; () ?
46. i ( ), , () - () 㳭; () 㳭 ?
() ( q) É ((r & p) (q & r)).
(6) ~ q É (p (~ p & q)).
() (( v q) É r) É ((p É ) & (q É r)).
() (q (~p v q)) É (p & ~q).
() ~ (p É q) & ~ (p É ~q).
47. ( )?
48. 볭 ? 쳭 볭 ?
49. (42) 볭 .
50. 㳭 ?
51. 㳭 볭? 㳭 볭 㳭 ?
52. '.
53. ( ) () () ( )?
() , 볭 ﳭ 䳿 .
() ߭ 볭 ﳭ, 䳿 ; 볭 ﳭ, 䳿 i .
54. 㳭 볭? , 볭 .
() (p v q) & ~ p q.
() p É (q v s) (~ q v ~ s) É ~ p.
55. , 쳭 . .
() ﳭ ' . ﳭ . , ' .
() , . , . ³ . , .
() ߭ , ᳭ . ֳ . , . . , ᳭ .
() ߭ , Ⳮ 쳭 . , , , - .
() ߭ ﳭ , , ﳭ , ﳭ. ﳭ, , ' . ' . , , .
() ߭ Ⳮ , Ⳮ . Ⳮ , , , . , , Ⳮ .
() 쳭 ᳭볭. 쳭 쳭 ᭴ : ߭ ᳭볭 , . , 곭. 곭 . , ᳭볭 .
() ߭ ﳭ, 㳭. 㳭 , . , . , ﳭ, .
() , . , . ᳭ . , .
() ߭ , . . , .
() ߭ , 쳭 . , 볭 . 볭 . , .
() ߭ ᳭, , . , . , , .
() ߭ , , , '. , , , .
() , 䳭. 䳭, . , , .
() ߭ , 譺. . ' , . . , 譺.
() ߭ 쳭 , . 쳭 . , 쳭 , 쳭 .
() ߭ 㳭 , - . , 㳭 - . - . , 㳭 .
() ﳭ 䳭 , . Ⳮ, ﳭ 䳺 . , .
() ߭ , , . , . , , . , . , , , .
() , , 㳭. , Ⳮ 쳭 볭 . . , .
() , , 㳭 Ⳮ. Ⳮ , 볭 . 쳭 . , .
() , , . , . , 䳭 . , .
56. 譺 (, q ) . 譺 , 譺 q . 譺 p , 譺 q r. ' ( ) 譺 r , 譺 q?
57. 㳭 ? ?
58. , v, É, , v:
() ~ ( q).
() ( v q) v r.
() ~ (( v q) É ).
59. 곭 㳭 , . , :
() & º .
() & (q v r) º ( & q) v ( & r).
() v (q & ) º ( v q) & ( v r).
() & q º ~ ( É q).
() ~ ( v q) º ~ & ~ q.
() ~ ( & q) º ~ v ~ q.
() & q º ~ (~ p v ~ q).
60. 볭 곭 .
61. ?
() É (q & r).
() É (q v r).
() (p É q) & (p É r).
() ( É q) v ( É r).
() ( É q) & (q v r).
() (p & q)É r.
() É (q É r).
() (~ v q) & (q v r).
62. 쳭? 쳭 쳭 ( , ) .
63. 쳭 : & b; b É c; a v .
64. () ; () 볭 , () , 쳭 :
1.
() Ⳮ.
() ߭ , Ⳮ .
() ӭ Ⳮ .
2.
() - Ⳮ - 䳔.
() - Ⳮ - .
() ޭ 䳔.
3.
() ̳ ͳ - .
() ̳ ͳ .
() ̳ ͳ - .
4.
() ߭ , , , ' .
() ͳ .
() , '.
5.
() ߭ , , .
() , , .
() ߭ , , .
() , .
6.
() ߭ , 볭 , Ⳮ .
() ߭ , , 볭 .
() ߭ Ⳮ , 볭 .
() , Ⳮ .
() ߭ 볭 , Ⳮ .
65. (60) 쳭?
5 (2 .)
66. : () (), () (), () (), () () 㳭 . 볭 / ?
67. 쳭: - , , - . , , 쳭 ³. ( . // - 1988. - 7. - . 32).
68. :
() ( & (r É r)) É ~ q
() & (q v r)
() É (q r)
, ()-() ; , ()-() .
69. , - 㳭 q:
1. q , :
() ;
() (, ~ ~ q) .
2. q , :
() , ;
() (, ~ ~ q) .
3. q ,
() ~ ~ q ;
() ~ q .
70. :
() .
() , , .
() (55).
71. 㳭 ?
72. :
() ~( & (q v ~ r)).
() v ~ (q v r).
() ~ ((~ & ~ q) v (~ r & d)).
() p & ~ (r v d) & q.
() ( v q) É ((q & ~ r) É p).
(e) (p É q) É (~ q É (p v r)).
() (É r) É ~ (q É (q v r)).
73.
:
() ( É q) É (~ p v q).
() ( É r) É ((p v q) É r).
() ~ [((p v q) É r) É (~ r É ~ p)].
() ((p & q) É r) É (q É r).
() ( É q) É ((p v r) É (q v r)).
74. :
() ((p v q) É r) É (~ r É ~ p).
() ((p & q) É r) É (q É r).
74. , Ⳮ 쳭 .
75. , 쳭 ( ) , 볭 ߭ 㳭, :
() ³ 㳭. , .
() ³ . , 㳭.
() ³ 㳭. , .
() ³ . , 㳭.
76. , :
() - 䳭- , () ', 쳭;
() , ', 쳭.
77. , (볭) - , 쳭 ~ v q, r v s . ³ .
78. , Ⳮ 쳭 㳭 .
79. (55), 쳭 㳭 , ( ) .
3
6 (2 .)
1. 㳭 㳭 ?
2. 㳭 .