S , , , , .
S - , . .
- , , . .
- S . : , , , .
S. : , , . , .
: .
, , .
S .
: (S) - ().
.
: ( S) (). , - , .
, .
1. , . : S л
: .
2. , . : S л
: .
. , .
- , .
1. - , - , .
: - .
2. - , - : S P; S P; S P.
: .
3. - , - : S P; S л; S P; S P.
: .
.
, . .
- . : S л. , Affirmo.
S .
S |
|
|
: .
( ) S - .
: .
- . : S л. I Affirmo.
S - , , .
: .
I S , - .
: .
- . : S л. Ż - Nego.
S |
S , .. .
: .
- . : S л. λ - Nego.
: .
S , - , - .
S |
,
, - . , (, ) . +. (, ). -.
. .
, , - , . : , ( ), , .
: - - .
.
- .
1. () , , .
: . , .
, .
2. () I λ .
: - () ().
|
|
, .
3. , .
: .
Ż, I λ. - .
.
1. () - , .
: - .
, . .
2. () - , .
: -
- .
, . - .
, .
- - , , I, ; - .
. -, . ( ), ( ).
, , .