V Пример. Высказывание «Земля — планета» записывается в виде формулы P1(a), где P1 — одноместная предикаторная постоянная (соответствующая свойству «являющийся
Высказывание «Земля — планета» записывается в виде формулы P1(a), где P1 — одноместная предикаторная постоянная (соответствующая свойству «являющийся планетой»), а— предметная постоянная (соответствующая имени «Земля»). Высказывание «Столица Бирмы существует» записывается в виде формулы Q1(f1(b)), где Q1 — одноместная предикаторная постоянная (соответствующая свойству «являющийся существующим»), b — предметная постоянная (соответствующая имени «Бирма»), f1 — предметно-функциональная постоянная (соответствующая предметной функции «быть столицей»), f1(а)— «столица Бирмы». Высказывание «Столица России больше столицы Украины» — R2(f1(a), f1(b)) (R2 — «больше»,a — «Россия», b — «Украина»,f1 — «столица»); «Иванов любит Москву больше, чем столицу Индии» — S3(с,d,f1(e)) (S3 — «любить больше, чем», c— «Иванов», d— «Москва», e— «Индия», f1 — «столица»). Высказывание «Все являются существами» — "xP1(x) (читается «Для всякого индивида верно, что он является существом», где x— «индивид», Q1— «существо»); «Кто-то является человеком» — $yR1(y)(читается «Существует индивид, такой, что он является человеком»). Содержащее два квантора высказывание «Каждый студент знает какую-нибудь историю» записывается формулой: "x(P1(x)É$y(Q1(y)ÙR2(x,y))) или "x$y(P1(x)É(Q1(y)ÙR2(x,y))) (читается «Для всякого индивида (человека) верно, что если он есть студент, то существует индивид, такой, что он есть история и является знаемым», где P1 — «являющийся студентом», Q1— «являющийся историей», R2— «…знает…»).
В последнем из приведённых примеров областью значений переменной x является множество студентов, т. е. она «пробегает» всё (в силу квантора общности) это множество. Областью значений переменной y является множество историй, взятое лишь в какой-то (в силу квантора существования) части. Причём все значения x находятся в отношении «являться знающими» со значениями y, пробегающего по части элементов множества историй. Таким образом, областью действия квантора " является исходная формула (P1(x)É$y(Q1(y)ÙR2(x,y))), которую можно записать символом пропозициональных переменных, допустим, А; соответственно, исходная формула может быть выражена формулой "xА. Областью действия квантора $ является формула (подформула) $y(Q1(y)ÙR2(x,y)). Причём переменная x имеет в области действия квантора общности два вхождения (имеется в подформулах P1(x) и R2(x,y)), переменная y имеет в области действия квантора существования также два вхождения (в подформулах Q1(y) и R2(x, y)). Вхождением переменной в формулу логики предикатов называется каждый случай, когда в последовательности представляющих собой эту формулу знаков встречается данная переменная. Очевидно, что всякая предметная переменная, входящая в формулу логики предикатов, в структуре этой формулы может либо находиться непосредственно за квантором или в области действия квантора по этой переменной (т. е. быть связанной), либо не находиться непосредственно за квантором или в области действия квантора (т. е. быть свободной). Свободным вхождением предметной переменной в некоторую формулу называется тот случай, когда данная переменная не следует непосредственно за квантором или же находится вне области действия квантора по этой переменной.
Дата добавления: 2015-09-07; просмотров: 624;