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

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

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

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




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

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

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

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

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

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

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

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