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

UptoLike

Составители: 

Рубрика: 

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

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

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

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


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

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

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

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

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