, . . , .
A1BC-d1
2 - d2
1 d3
d
: , .
; , , .
6. : , , , .
.
1. . .
2.
4.
.
???
2. : , , , .
J:
:
.
.
, J. , , .. , , : , .
3. III : .
.. :
.. J:
J:
III
. :
1. .
2. .
.. P-M
.. M-S
S-P
4. , : , , , . , , , , .
- .
(p˅q˅s˅t)^z -> ( p˅ q˅ s˅ t)
JAJIII .
III
. :
|
|
1. .
2. .
. -
. - S
S¾
6. ( , , ): , , , .
, , .
5
1. : - .
, .
2. : .
: .
: .
3. :
, , .
: (+P) (-M).
: (+S) (+M).
: (+S) (+P).
, . , . , , .
.
4. . :
: , ,
, - , ,
, .
((aÚbÚc)Ù(bÙc))a
, -, , .
-- ( , , ).