, , . +, -. : S+ AP+, S+AP¯, S+EP+, SˉIPˉ, S¯IP+, SˉOP+
S | P | |
SAP | + | - + |
SEP | + | + |
SIP | - | - + |
SOP | - | + |
:
- - (, );
L - ( , , , );
V ( , , );
( , - );
- ( , , , );
º (↔) - ( , , , ).
:
1. ()
2. (). () : ) - ( ); ) - ( )
3. ()
4.
: . ,
- .
.
Λ
. - .
V
. - .
, . .
→
, . .
º (↔)
- , .
, .
, .
, .
, , , .
L | V | V ¯ | ||||
5.
|
|
:
I O
, , , I
E , A , I , O
I , A , O , E
, E , I , A
, , , I
E , A , I , O
I , A , O , E
, E , I , A
: , - , , , , , .
"S+AP¯$P¯IS+; "S+AP+$P+S+
"S¯EP¯"P¯ES¯;
$S-IP-$P¯IS¯; $S-IP+$P+S¯
$S¯OP+ C ( , .. ).
:
(), , , , (I).
(), , ().
(I), , - (I).
() - .
"SAP"SE | $SIP$SO |
"SEP"SA | $SOP$SI |
:
(), , ().
(), , ().
(I), , ().
(), , .
( + ).
"SAP"SE "PES
"SEP"SA $PIS
$SIP$SO C
$SOP$SI $PIS
( + ).
_
"SAP$PIS$POS
_
"SEP"PES"PAS
_
$SIP$PIS$POS
$SOPC
: .
S , ; ; S .
"SEP()"SAP$PIS
.
( ).
S ( ).
S . S ( ).
I II III IV
M P P M M P P M
S M S M M S M S
( )
1. .
2. .
3. , .
4. .
|
|
5. .
6. , .
7. , .
I .
1. .
2. .
: A A A, A A I, A I I, E A E, E A O, E I O.
II .
1. .
2. .
: A E E, A E O, A O O, E A E, E A O, E I O.
III .
1. .
2. .
: A A I, I A I, E A O, O A O, E I O, A I I.
IV .
1. , .
2. , .
3. , .
: A A I, A E E, A E O, E A O, E I O, I A I.
:
+ ¯
1. () ().
S+ I P¯
() ()
S+ I P¯
() - ().
I , AII
+ A ˉ
2. ( ) ( ).
S+ E M+
( ) ( ).
S+ E M+
( ) ( ).
II
M + E Pˉ
3. () (). III ,
M + A Sˉ
Sˉ O Pˉ
() ()
P + E Mˉ
4. ( ) ( ).
M+ I Sˉ
( ) ().
S ˉ O P+
() ().
IV , EIO
*
1. ( S, P ).
2. (), .. , .
3. S P .
4. . () , , .
5. ( ).
6. , . , , , .
7. .
8. .
* , .
:
1. :
.
. , , . .
, . , .
1 2
M+ P+
() , ( ) MEP
S+ M¯
(.) (). SAM
S+ P+
(.) , ( ) SEP
I , , . .
. .
|
|
.
2., .
, . , , .
:
S "SAP
, "S1ES
S1
P1 = S
S2 = S1
S2 = P "S1EP
"SAP I
"S1ES
"S1EP
. :
. I .
) , , : . .
:
S
P - , "SAP
S1 ≡ S ,
P1 - , "SAP1
"SAP
"SAP1
(S S).
"SAP1()"SEP1()"P1ES()"P1AS
I :
"SAP I
P1AS
P1AP
, , .
.
, . en teme - . , - , . .
1. . , , , , .
2. , .
3. .
4. .
:
, .
S+ P¯
: - ,
S + M¯
. - , . .
+ ¯
, ( ) () .
S+ M¯
() , ( ).
S+ P¯
() ().
I , , .
, . , , , , . , . . : , , , , . . , , , .
|
|
:
1. , .
2. , , , .
3. , , , , .
4. . , , .
5. , , , .
6. , ,
7. , , , .
8. , , , .
: .
U- ( , ), ; ; - ; - ; H ; ; , ; ; ; - . -- ,
1. - . 5. .
2. . 6. .
3. - . 7. .
4. . 8. .
-
, . , : .
-
: | : |
¯¯¯¯ | _ |
- :
- :
1. ;
2. .
:
) , . , , .
, - ( ), , .
) , . . , .
, - ( ). , .
-
- : | - : |
V | V ā |
- : - ( ).
- : ( , ).
:
) . . , .
- . , .
) . . , .
- , , .
-
- , . , , .
1) .
:
: .
: p > r, q ->r, p v q
r
: (), (r).
, (q), (r)
() . (q)
|
|
, (r)
.
: p -> q, r -> s, p v r
q v s
: (), (q).
(r), , (s).
() (r).
, (q) , (s).
2)
:
: .
: p -> q, p ->r, ~q v ~r
~p
: (), (q), , (r)
. (~q) . (~r)
(~p).
.
: p -> q, r -> s, ~q v ~s
~p v ~r
: (), (q).
(r), (s)
(~q) (~s)
, (~p), (~r).
, , , .
, , .
:
) , ;
) , .
( ):
1.
.
DE .
AFG .
.
2.
.
.
.
3.
.
ADE .
.
DE .
.
4.
.
.
.
.
5.
1 1.
2 2.
3 3.