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

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