Математические методы в библиотечной работе. Елизаров А.М - 56 стр.

„книги", характеризующее множество объектов, от-
носительно которого делается данное высказывание.
Второй частью являются сказуемые „печатные" или
„рукописные". Сказуемое называют предикатом (от
латинского praedicatum). Наконец, в высказывания
входят слова „все" или „некоторые", указывающие
на количество элементов с данным свойством. Эти
слова называют кванторами (от латинского quantum —
количество).
   Подведем итоги. Высказывания, касающиеся
свойств некоторого множеству состоят из описания
этого множества, указания свойств (предикатов) и
квантора, показывающего, обладают ли этим свой-
ством все элементы множества или лишь некоторые
из них (рис. 28).




                      Рис. 28.

Таким высказываниям можно придать следующую фор-
му:
Для всех х из множества X выполняется свойство Р(x),
Некоторые х из множества X обладают свойством Р(x),

 Квантор     множество           предикат
Часть высказывания ,,х из множества X, обладающая
свойством Р(х)" называется высказывательной фор-
мой и обозначается ,,х X Р(х)", или, сокращенно,
Р(х). Сразу же подчеркнем, что высказывательная
форма не является высказыванием (пока не выбран.
элемент х из множества Х, нельзя проверить, выпол-
нено для х свойство Р или нет). Иногда Р(х) назы-
вают высказыванием со свободной переменной.
Чтобы получить из высказывательной формы выска-
зывание, необходимо подставить вместо х опреде-
ленный элемент а из множества X; в результате обра-
зуется высказывание Р(а).
56