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

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

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




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


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

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

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




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

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

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