��������������� ��������. (original) (raw)

��������������� �������� � ��� ���������� ��� ��������, ������� ���� � �� �� ���������� � ���������, �� ������������� ����� ����� �� ���������� ��� ��������. ���� ������� A � ������������������ ��������; E � �����������������; I � ��������������������; O � �������������������, �� ����� ��������� �������, �� ������� ��� ��������� ����������������� ����� �������� ���������� (��. ���.):

��������� �������� (A � E) ����� ���� ������������ �������, �� �� ����� ���� ������������ ���������; ������������ (I � O) ����� ���� ������������ ���������, �� �� ����� ���� ������������ �������. �� ���� �������������� �������� (A � O ��� E � I) ���� ���������� ������ ���� ��������, � ������ ������. ����, ������������ � ����������� ���� ���� �����������������. �� ������������ ��������� ������������ � ����������� ��������� ����� ������������ � ����� ������������ ��������. ���� ��� ��� �����������������, ���������� �� ��������� ���������; � ������� ��������� ��������� �������� � ���������� ���������� � � ���������������� ����������, ��������, "��� ����� ����" � "��� ����� �����". ���������� ���� ������� ������ ������, ����� �� ��������������. ������������� ��������� ����������������� ����� ��� � ����� ��� ����� ������ ����� �� ��������� ��������� � ������� �� �������� � ��������� � ���������� ���������. ������� ����, ��� ��������� ����� �������� �������� ������ ������������, ��� ������ �������� ����������� �������� ���������� ������������ �� �����������. � ������ ����� ����������, � ������� �������, � ��� ������������� �����������, ����� ��� ��������� ��� A � non A (������ � �� ������) ��� ��� A � non A+� (������ � �� �� ������, ������� ����). ������� ���� ����������������� �������� ��������������, ������ ���������. ������, ��� ������� ��� ��������� �������� ����������� ��������������. ��� ��������, ��-������, �������������� ����������������� (A � non �), �� ������������� non A �� ����� �������� ������������� ����������. ��������� ����� ������� ������� �����������, ��� ��� ����, ������������ � ����, ����� ���� �������� �� ��, ������� ���� A, � ��, ������� ���� �� A (��������, ������ � �� ������). �� ���, � ����� ������, �������, ��������, � �����������, ������������, �����: ������ ��� ��� �� ������. ��� �������, ��������, ����� ����� ���� �� ��� ���, ���� �� ������� ������ ���� � �����, ������� ����; �, � ����� ������, ����������������� A �� ���� ������ ��������� (non �), �� non A, ������ � ��������� ������������� ��������� �����. ����� �������, �������������� ������������� �������� � ��������� A � non A+B. ������, � ������� ������� ������������. ������� A �� ��������� � �������� non A+B ��� ������, ��� ��� ������ ���� non A, ��� ������, ��� ��� B. �� non A ���� �� ���� ���� �����; ��� �� �������� �� B, �� ���� ����, ���, ��������� �� A, ����� � ���� ������ ����������, �� �� ���, �������� �� A, � ��� �����������, ��������, ������ ������������� �������� ������ ���������. ����� �� ��������, �������� �� A, � ��� �����������, ��� �� ������, �� ����, ���� ������� ������ �� �������. ������ �� ��� �����, ������ ������� ��������� ��, ������ �� �������, ������� ������� ��� ��������� ��, ���������� ������. ����� �������, ������ ������� �� ������-������ ������ ������� ����� ������� non A+B ����������� � A, � ����� ���������, ����������: ��� �������������� ������ �� ����. � ���� �����������, ����� ������������, ��-��������, ������������ �������� � �����������, � ������������ �� ���������, ��� �� ����� ���������� ������ �� �����, ����� ������� ����������� � ����� ����� ������������ � ������ ������ �������� ���������. � �������� �����������������, ������������ � ����������� ��. ��������� �� ������ �������������, �����, ��������, �������� � ��.

�. �.