\input style
\chapter{6 � �஥��஢���� �ࠢ��쭮 �����蠥��� �������権}

�������� ������� ��� ����������� ����������  ������������� � 
������� $P$, ������������ ����������� ��������, ����������, ���
$$ 
(P \and \wp (DO, T) ) \Rightarrow (DO, P \and \non BB) 
$$

����� ���� $\wp(DO, T)$ ������������ ����� ��������� �����������, 
�����, ��� ����������� ���������� �����������. ���� ������ 
������������ ����������� DO, �� � ����� ������ ����� ������ (� 
����� ����, ����������) ���������� $\wp (DO, T)$. ������� � 
��������� ������������� ���� ����������� ����������, ��������� 
����� � ���������� ������������, �. �. ��������� ������ 
���������� �������������� ������������ � ������� ��������� ����� 
��������, ����� ��� ������������� ��������������, �� ������� 
������������ ��� ��������������. 

����������� �����, ��� $P$ --- ���������, ������� ����������� 
����������� ��������, �.�.
$$ 
(P \and BB) \Rightarrow \wp(IF, P)\qquad\hbox{ ��� ���� ��������� }
$$
����� $t$ --- �������� ������������� ������� �� �������� 
���������, �����, ���
$$
 (P \and BB) \Rightarrow (t>0) \qquad\hbox{��� ���� ��������� }
$$
�, ����� ����, ��� ������ �������� $t_0$ � ��� ���� 
$$
 (P \and BB \and t\le t_0+1) \Rightarrow \wp(IF, t\le t_0) \eqno (3) 
$$
⎃�� �� �������, ��� 
$$ 
P \Rightarrow \wp(DO, T)\qquad\hbox{ ��� ���� ��������� }\eqno(4) 
$$
ᎏ������� ���� ���� � �������� �������� ��� ����������, �� ����� 
���������, ��� ����� ��� ���� ���������
$$ 
P \Rightarrow \wp(DO, P \and \non BB)\eqno(5)
$$

�� ������� ���, ������� ������� ������� �������������� ��������, 
���
$$ 
(P \and t\le k) \Rightarrow H_k(T)\qquad\hbox{��� ���� 
���������}\eqno(6) 
$$
����������� ��� ���� $k\ge 0$. ������ � ����������� ���������� 
(6) ��� $k=0$. ��������� $�_0(�)=\non ��$, ��� ��������� 
��������, ���
$$ 
(P \and t \le 0) \Rightarrow \non BB \qquad\hbox{��� ���� ���������}
\eqno (7) 
$$
������ 7 --- ��� ������ ������ ����� ������ ��������� (2): ��� 
��� ����� ���������
$$ 
\non P \or \non BB \or (t>0) 
$$ 
� ������� (6) ����������� ��� $k=0$. 

����������� ������, ��� (6) ����������� ��� $k=K$; �����
$$ 
\eqalign{ 
(P \and BB \and t\le K+l) & \Rightarrow \wp(IF, P \and t \le K)\cr 
& \Rightarrow \wp(IF,H_K(T));\cr 
} (P \and \non BB \and t\le K+1) \Rightarrow \non BB=H_0(T) 
$$
� ��� ��� ���������� ���������� ����� ���������� (�� $A \Rightarrow B$ � 
$B \Rightarrow D$  �� ����� ���������, ��� ����������� $(A \or B \Rightarrow C \or 
D)$):
$$ 
(P \and t\le K+1) \Rightarrow \wp(IF,H_K(T)) \or H_0(�)=H_{K+1}(T) 
$$
� ��� ����� ���������� (6) �������� ��� ���� $k\ge 0$. ��������� 
$t$ --- ������������ �������, �� �����
$$ 
(\exists k: k\ge 0 : t\le k) 
$$ 
�
$$ 
\eqalign{ 
P& \Rightarrow (\exists k: k\ge 0 : P \and t\le k)\cr  
& \Rightarrow (\exists k:k\ge 0: H_k(T))\cr  
&=\wp(DO, T)\cr 
}
$$
� ��� ����� �������� (4).

���������� ������� ���������� ����. � ����� �������, $P$ 
��������� �������, � �������������, $t\ge 0$ ���� ��������� 
�������; � ������ �������, �� ��������� (3) �������, ��� ������ 
������� ���������� ������� �������� � ������������ ���������� $t$  
�� ������� ���� �� 1. �������������� ���������� ������� 
���������� ������ ��������� �� �������� $t$ ���� ������ �������, 
��� ������� �� � ������������. 

������������ ���� ������� ������������ �� ���������� ������� (2) 
� (3). ��������� (2) �������� ���������� �������, ��������� (3) 
�������� ����� ����������. ���� �������� ������� ��� ����������� 
���������� ��� 
$$ 
\eqalign{ 
Q&= (P \and BB \and t\le t_0+1)\cr 
R&=(t\le t_0)\cr 
}
$$
(����������� ��������� ���������� $t_0$ � ����� ���������� 
�������� �������� ����, ��� �� �������� � "���� ����������") 
��������� ��� ���������, ��� ������� (3) �����������, ����
$$ 
(\forall j: 1\le j \le n: (P \and B_j \and t\le 
t_0+1) \Rightarrow \wp(SL_j, t\le t_0)) 
$$

����� ������, ��� ����� �������� ��� ������ ���������� �������, 
��� ������� �������� � ������������ y��������� $t$. ����� � ���, 
��� $t$ �������� �������� �� �������� ���������, �� ����� 
�����������
$$ 
\wp(SL_j, t\le t_0) \eqno (8)
$$
풎 ��������, ����������, ������ ������������ ���������� 
������������ ���������, ����� � ��������� ���������� $t_0$. �� 
��� ��� �� ������������� ����� �������� ��� ��������, 
��������������� ����� ������������ ���������. ������ ��� ������ 
��������� ��������� �� ����� ����� ������������� �������� ��� 
�������, ���������� �� $t_0$. ����� $t_0=t_{min}$ 
������������ ����� ����������� ������� ��������� (8) ������������ 
$t_0$, ����� �� ����� ���������������� �������� $t_{min}$ ��� 
���������� ������� ������� ��� ��������� �������� $t$. ���� 
���������, ���, ������� ������� $t$, $t_{min}$ ����� �������� 
�������� �� �������� ���������, �� ����� ���������������� 
��������
$$ 
t_{min}\le t-1 
$$
��� ��������� �����������, ��� ������� �������������, ��� 
���������� $SL_j$, ㌅����� �������� $t$ �� ������� ���� �� 1.

��������� ��� �����������, ��� --- �� ��������� ---�������� 
�������� ������������� �������� �� �������� ���������, �����

$$ 
\wdec(SL_j, t) 
$$
��� ���� �������������� $P$ � ����������� ���������� $t$ 
�������������, ���� �� ����� ��� ���� ��������� $j$
$$ 
(P \and B_j) \Rightarrow (\wp(SL_j, P)  \and \wdec (SL_j,t) ) 
$$

������ ������������ ������ ��������� ����������� �������������� 
$B_j$ ������� � ���������. 㐀������ (9) ��������� � ����
$$ 
(P \and Q) \Rightarrow R 
$$
��� (����������� ����������!) �������� $Q$ ����� ����� ��� 
�������� �������� $P$ � $R$. �� ��������, ���

\medskip
\item{1.} $Q=R$ �������� ��������.
\item{2.} $Q=(Q1 \and Q2)$ �������� �������� � $� \Rightarrow Q2$, �� $Q1$ 
���� �������� ��������.
\item{3.} ���� $Q=(Q1 \or Q2)$ �������� �������� � $� \Rightarrow \non Q2$, 
(���, ��� �������� � ���� �� ������, $(P \and Q2) = F)$, �� $Q1$ 
���� �������� ��������.
\item{4.} ���� $Q$ �������� �������� � $Q1 \Rightarrow Q$, �� $Q1$ ���� 
�������� ��������.
\medskip

{\sl ��������� 1.} ����, �������� ����� �������, �� �������� � 
����������� $Q$ ��� $B_j$, �����, ��� $� \Rightarrow \non Q$, �� ��� 
����������� ����� ���� ����� �������� (� ������������ � 
���������� ����������� 3, ��������� ��� ����� $Q$ �� ����� 
$Q=(\var{����} \or Q))$ � ���� $Q=\var{����}$; ��� ��������, ��� 
��������������� ���������� ������� ������� ��������: �� ����� 
��������� �� ������, ������ ��� ��� ������� �� ����� ����������. 
{\sl(����� ��������� 1.)}

{\sl ��������� 2.} 瀑�� �� �������� ���������� ��������� (9) �� 
��� ���������:
$$ 
\eqalignno{ 
(P \and B_j)& \Rightarrow \wp(SL_j, P ) &  (9�)\cr
(P \and B_j)& \Rightarrow \wdec(SL_j, t) & (9�)\cr
}
$$
� ������������� �� �� �����������. ⅌ ����� ����������� ��� 
������: $(9�)$ ��������� � ����, ��� �������� ������������, ����� 
��� $(9�)$ ��������� � ����, ��� ������������ ����������� ������. 
����, ���� ���� � ���������� $(9�)$, �� �������� � ������� 
$B_j$, ������, ��� $� \Rightarrow �_j$, �� ����� ��������, ��� ��� 
������� �� ����� ������������� ��������� $(9�)$, ��������� ��� 
����� $B_j$ �������������� $�$ ������� �� � 
��������������������� {\sl(����� ��������� 2.)}


 �� �������, �� ����� ��������� ����������� DO, �����, ���
$$ 
P \Rightarrow \wp(DO, � \and \non BB) 
$$
���� ������� $B_j$ ������ ���� ���������� ��������, ����� 
��������������� ���������� (9); � ���������� ����� ����� 
������������� ����������� $P \and \non BB$  ����� ��������� 
������� ������ � �� ���������� ��� ��������� ����������� $R$. � 
����� ������ �� ���-���� �� ������ ���� �������� � ��� ������� 
����������� ������ �����������.

\bye
