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

UptoLike

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

Рубрика: 

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

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

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

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

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

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