- .
- .
5. :
((≡)∧)→(∧);
(∧)→;
(∧∨)≡(∨);
16.
.
2. :
- ;
- ;
- ;
- ;
- ;
3. , , , .., .:
- ;
- ;
- ;
, .
(((→)∧(→))∧ (∨))→;
(→)→((→)→(→));
((∧)→) ≡ →(→);
5. . , , .
- . . .
- . . , ,
- . - .
17.
. .
2. , , - , , :
1. , .
2. , ..
3. .
4. .
5. , .
3. :
- . . . . .
- , , , , ;
- , , -, ;
- , , , , ;
- ; ; ; ; ;
4. ?
1. - ! . , -, ?
.
?
.
, ? , .
.
2. : , ! , , : .
, , : , ?.
3. - , ?
, !
?
! , !
|
|
5. . , , .
- . . , .
- . . .
- . . , .
18.
. .
2. , , - , , :
1. .
2. .
3. .
4. .
5. , .
3. :
- , , , ;
- , , , ;
- , , , ;
- , , ;
- -, , .