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

UptoLike

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

Рубрика: 

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

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

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

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

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

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

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

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

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

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

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

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

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

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