 |
 |
 |
 |
|
 |
 |
57
действительно студент, то он будет удовлетворять функции Р(х), где Р обозначает свойство "быть
студентом". Аналогично, если Ч(х) обозначает свойство "быть четным числом", то число 4
удовлетворяет этой функции, а число 5 – нет. Обратите внимание, что в этом случае вместо обычных
чисел аргументами служат высказывания о числах.
Предикат Р(х,у) является пропозициональной функцией от двух аргументов и выражает бинарное
отношение между двумя объектами, например "Москва южнее, чем С.-Петербург". В данном случае
предикат
Р обозначает отношение "быть южнее". Если вместо "Москвы" взять "Мурманск", то
получится ложное высказывание. Отсюда становится ясно, что предикат или пропозициональная
функция сами по себе не являются высказываниями, и потому не могут считаться ни истинными _ни
ложными. Они становятся истинными или ложными высказываниями после того, как вместо их
аргументов подставляются конкретные высказывания. Такой функциональный подход к предикатам
дает возможность обращаться с ними как со специальными видами функций, аргументами которых
являются не математические, а логические объекты, а именно высказывания.
Объектами же рассуждений могут быть самые разнообразные предметы как реального, так и
идеального мира, события, явления, процессы. Предикаты, которые их характеризуют, в принципе
позволяют выделить класс (или множество) этих объектов. Такой класс в логике называют
универсумом рассуждения. Например, универсумом рассуждений в арифметике является множество
чисел, в химии– различные химические элементы, простые и сложные вещества, в которые они входят,
в биологии – живые организмы, в социальных науках– группы, коллективы, классы людей и
соответствующие общественные структуры. Логика не изучает и не определяет универсумы
конкретных видов рассуждений. Это составляет задачу конкретных наук. Поэтому в логическом
анализе такие универсумы предполагаются заданными.
Существует два принципиально отличных способа задания универсума рассуждения, первый из
которых состоит в систематическом перечислении всех тех объектов, которые составляют класс
объектов, характеризуемых
данным свойством или отношением. Очевидно, что такой универсум
должен быть конечным множеством. Однако в научном познании приходится иметь дело не только с
конечными, но и бесконечными множествами объектов. Например, в математике уже натуральный ряд
чисел является бесконечным множеством, поскольку к любому, сколь угодно большому натуральному
числу можно прибавить единицу и тем самым неограниченно продолжать этот процесс. При
формулировании научных законов также часто приходится обращаться к бесконечному множеству
объектов. Так, в законе всемирного тяготения Ньютона утверждается, что два любых тела
притягиваются друг к другу с гравитационной силой, прямо пропорциональной произведению их масс и
обратно пропорциональной квадрату расстояния между ними. При этом предполагается, что количество
таких тел во Вселенной бесконечно много. Очевидно, что поскольку бесконечное множество нельзя
задать с помощью конечного списка его элементов, то приходится для этого обращаться к некоторому
общему правилу или закону образования его элементов. Например, зная, что четными называются
числа, делящиеся на 2, всегда можно определить, является ли рассматриваемое число четным или
нечетным.
Таким образом, для определения универсума рассуждений требуется ответить на вопрос,
принадлежит ли данный объект множеству, представляющему универсум или нет.
Хотя в принципе, если свойство или отношение сформулированы достаточно ясно и четко,
установить универсум можно, но на практике сделать это бывает трудно из-за неопределенности
критериев разграничения множеств объектов. Порой бывает, например, нелегко ответить на вопрос,
принадлежит ли данный объект к множеству растений или животных, металлов или металлоидов,
устойчивых или неустойчивых систем, когда заходит речь о переходных, промежуточных явлениях.
Но в большинстве случаев при наличии предиката, выражающего свойство или отношение, можно
всегда установить его универсум, или, как предпочитают ГОВОРИТЬ математики, область значений
переменных пропозициональной функции, которую называют
областью определения функции. Если
эта область точно не установлена, то пропозициональная функция при подстановке на место аргументов
конкретных объектов превращается в бессмысленную фразу, а не осмысленное высказывание –
истинное или ложное. Нередко бывает так, что функция оказывается неопределенной в некоторой
области значений. Например, в математике говорят, что уравнение х² + 1=0 не определено в области
действительных чисел, ибо имеет мнимый корень. Чтобы гарантировать точность рассуждений, в
математике и логике ясно и однозначно определяют ту предметную область, к которой относятся
переменные пропозициональных функций или предикатов.
В простейшем исчислении предикатов, которое называют также узким или исчислением предикатов