���������� ������������ ����������������� ������� ����������� ���������

������ �. ������

( �������� ���������� ���������� ��. �.�.������� ��� )

��������������� -- ��� ����� �������������� ��������, ������������ �� ������� ����� ����� ��� �������������, ���������� ("����������"), ��������� �������� � �.�. ����� ��������� � 70-� � 80-� ���� � ������� �.�.������� ��� ����� �����. ����������� ������ -- ��������� ���������� ����� ���� ������� (Neil Jones) � ��������� ���������� ����� �.�.������.

���������������, Scp: p -> q, �� �������� ��������� p �� ��������� ����� ���������������� ������ ������������� �� ���������� ��������� q �� ��� �� (��� ������) �����. ��� �������, ��������� q ����� ���������� �� ���� ������������� ���� �� ����������, ��������� � ����� ���������, �/��� �� ���� ����������� ������� ����������� D.

����� �� ����������� �������� ��������� ��� �� ��������������� -- ���������� ������, ������� ����� �� �������� �� ����� ��������� ����������������� ��� ��������� � ����������, ������������� � ���������� �����������������, � ���� �� ������ � ��������� �������� �� ������, ��� ���� ���������������.

� �������� ������ ������ ��������������� � ������� ������������ ������������ �����������������, ������� ���������� ��������� R(p,q,D) ����� �������� � ���������� ����������� p q, ����� ��� p q ������������ �� ������� ������� ������ D. ������������ ������� � ���, ��� ������, ��� ��������� q �������� ��������� ����������� ��������������� ��������� p, �� �� ��� ��������������� �� ������, ��������� ����� ��������� � ���������.

� ������� ������������ ��� �������� ������������ ����������������� ��������� ������� ����������� ��������� (������������ ��������� �� ��������) ����� ���������� ������������ ��������� �������� ���������� ��������������� �����. ������������ ��������� ������������� ����� �������� ������� ���������������, ��� ������������, ��������, �������, ���������, ������������, ����������� ������������, ���������� �� ������� ���������� �������� ������� � �������� �����������������, � ����� �������������� � �������� ������������ � ������ �������� �����������������, ��������������� ������������.

��� ���������� ���������� ������������ ���������� � ������ ������ ���������������, ��������, �� ������ ������� �� ������ �������� 28 ������ 2004 ���� "��������������� � ��������� ����������: �������� � ��������� ���".