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

UptoLike

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

Рубрика: 

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

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

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

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

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

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

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

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