Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

V Пример. Высказывание «Земля — планета» записывается в виде формулы P1(a)

V Пример | V Пример | V Пример | V Пример | Логический смысл исчислений | Классическое натуральное исчисление высказываний. Правила вывода | Выводы и доказательства | V Пример | V Пример | V Пример |


Читайте также:
  1. B16. Готовы ли Вы петь бесплатно в церковном хоре (например, если у храма нет денег, чтобы заплатить)?
  2. II. Пример разработки упаковки для парфюмерных изделий
  3. MB: Как Вы думаете, нужно ли женщине жертвовать своим до­стоинством ради того, чтобы со­хранить полную семью? К примеру, терпеть рядом дурного мужчину ради детей?
  4. T.V.: Тебе больше нравится выступать на больших фестивалях? или на небольших концертных площадках, например клубах?
  5. V Пример
  6. V Пример
  7. V Пример

Высказывание «Земля — планета» записывается в виде формулы 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-05; просмотров: 49 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Язык классической логики предикатов| V Пример

mybiblioteka.su - 2015-2024 год. (0.006 сек.)