, , , , .. . , , : ( v q) (m v ). , : ( q) v (m ). , : ( v q) > (m ).
, , . (, ..) - , .
, . . , 2 3 + 4=... , . (2 3) + 4=10, 2 (3+4)==14.
ѻ, , . ( ); - ( ) ѻ. .
, , , , : () ... .
, , D>S. (D), (S). .
(D) , : (di)
.85
(d2) (di) (d4), : di d2 d3 d4; (di v d2) (d3 vd4). , , , (di v d2) A(d3 v d4); di v (d2 ((d3 v d4)).
|
|
, , (di v d2) (d3 v d4)
, , , ; , . (di v d2) (d3 v d4).
(S) : (Si) ... (82) (S3). . Si S2 8, ((Si 82) v 8). , .
D->S , :
((di v d2) (d3 v d4)) -> ((Si S2) v S3)
: , ; , .
.