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

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


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

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

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

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

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