1.
- .
- . .
:
.
.
:
: , () /, / .
.
-.
2.
- (, , ).
- . .
: 1
:
() ( )
:
.
3.
- .
- .
- .
- .
:
.
.
. .
:
.
(, , )
4.
- .
- .
:
.
.
:
( ) .
5.
- : .
- . .
- . .
: 3
:
.
.
:
.
|
|
.
6.
- .
- .
- ().
- , .
:
.
.
.
:
-, - .. .
, .
.
7.
- .
- ().
- .
:
.
.
:
.
.
:
1. , , - . , .
2. , , , .
3. () , , , .
4. , . .
5. , , , , . , .
. () .
.
1
( ) .
1) -
-
-
D - ()
E
:
, , , D ( ). , .
|
|
( ). ( ). D ( , ). D , , , ( , ). , , .
2) ,
- ,
.
:
, , , , (, , , , ).
( ) , - , , .. - , , - (, ).
( ) ( ), .. - () , , - (, ).
, , .
2. , , - , :
1) (Dfd) ‑ , , (Dfn).
Dfd Dfn , .. (Dfd) , (Dfn).
, ( ).
, , . , , (, ).
:
, , .
2) (Dfd) , (Dfn).
, . (Dfn) Dfd (). . , . . ( ). , , . .
3. ? , , .
|
|
, .
() , (1), (2) (3).
: ( ); , , .
4. : . . .
, .. () . , .
, .
, | ||
- | . | |
.. |
2
1. ((pÙq)Úr)s. , p , q , r , s - . ?
:
((pÙq)Úr)s
1 2 3
, , (1). (2). ((p Ù q)Ú r) s (3).
2. ( ) , :
() , , , , - , , , - , .
. : (.. ) ; q ‑ .
‑ p q , , . ‑ q p - (q), () . ‑ p q - (), (q) . , - (q p) Ù (p q). :
(p q) ((q p) Ù (p q))
1 2
q | (p q) | (q p) | Ù | (p q) | |||||
1 | 2 | ||||||||
, (.. ) . ‑ , . () , , , .
|
|
() , , , .
. p, q,
: p Ù q. , . , , q - Ø(p Ù q).
, :
(, )- Ø p
Ø q. , . Ø p ÙØ q .
: , p q, - p - q. , //, : (Ø(p Ù q)) (p ÙØq)
, , , .
q | (Ø ( Ù q)) | (Øp Ù Øq) | (Ø(p Ù q)) (p ÙØq) | |
, , , .
3. , : , , , ( . ).
: (), (q). : ( Øq) Ù (q Ø)
ØÚØq.
q | ( Øq) Ù (q Ø). | ØÚØq | |
3
1. ? , ?
(S) ( S).
, , , , , . S , , , (S) ( ).
2. , , , . , .
. . ( ) . , , (.. , ‑ ).
( ) | |
‑ , | |
S | . |
P | ‑ . |
, (S) | |
, (P) |
(M) (P) ( )
|
|
(S) ( M ) ( )
(S) (P).
M P + -( )
S M S + + ( )
S P. S+ + ( )
+ ‑ , .
S + ‑ .
- ‑ , , .
+ ‑ , .. , .
() ().
(). , , .
, .
3. ( ) : , .
,
(+) (-).
(S+) (+).
(S+) (+)
, , .
() , . , .
, (S), , .
4. :
, , . : .
: , , , , .
4
1. ?
. , .
. , ?
. , , , (. . ).
: , ( ) , , , .
2. -?
-... , : ...
- , - .
- ! !
- , , - .
- .
- , , - . - : ", !"
- "" : ", !" - .
- , , , , - -. - .
, ; , - .
- . ! ! - , . ! , . ! !
- , , ? - .
- , , - , . - : " ! - , ! !"
- ? - . - !" ( .. .)
: .
3. , , , ?
: .