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

UptoLike

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

Рубрика: 

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

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

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

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

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

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

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