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

UptoLike

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

Рубрика: 

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


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

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

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

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