Логика и исчисление предикатов. Кацаран Т.К. - 13 стр.

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

                              ����������

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


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