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

UptoLike

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

Рубрика: 

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

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