:
1) (S) , , , ;
2) () , , ( , );
3) ( ; , ; ).
; ┐.
4) , , . , .
:
, ". : , ( );
, $. : .
: (K)S-P, <> , <> .
.
:
.
( ).
( ).
:
, .
- .
- .
- .
3.2.
, , .
∀S | ∀S ┐ | |||
$S | J | O | $S ┐ |
:
: , . : ∀S ( S ).
: , . : ∀S ┐ ( S ).
J : , . : $S ( S ).
: , . : $S ┐ ( S ).
, , , .
|
|
:
1. ?
2. ?
3. ?
4. ?
6
3.1. .
3.2.
:
- ;
- ;
- .
1
, .
: ) .
S P.
1. .. .
2. .
3. .
4. ,
5. - .
6. .
7. .
8. .
9. .
10. .
11. .
12. .
2