рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Правила образования языка в алфавите (синтаксис) логики предикатов.

Правила образования языка в алфавите (синтаксис) логики предикатов. - раздел Философия, Лекция 5. Логика предикатов Алфавит Логики Предикатов Позволяет Определить Новые Понятия, Необходимые Для...

Алфавит логики предикатов позволяет определить новые понятия, необходимые для языка этой логики.

Понятие «отношение». В логике предикатов предикат выражает взаимную связь отражаемых объектов со своими свойствами, характеристиками, действиями, взаимосвязь объектов, процессов, действий. Количество указанных предметов в одном отношении не ограничивается. Отношение может быть двухместным (т.е. между двумя предметами), трехместным, n-местным. Истинное высказывание является отношением. Формально самое распространенное двухместное отношение (бинарное) рассматривается как множество пар элементов и обозначается вектором <x,y>, где x называется первой, а y - второй координатой пары. Векторное представление n - мерных отношений тоже широко распространено.

Понятие «терм»- это всякая константа, предметная переменная и функция.

Понятие «функция» символизирует действие, ставящее в соответствие списку констант одну определенную константу. Всякая функция имеет определенное число аргументов. Если функциональный символ f имеет n-аргументов, то f - называется n - местным функциональным символом. Константа может рассматриваться как функциональный символ без аргументов.

Обозначение функции - f(t1,t2,...tn),где ti -термы; при n=0 функция обозначается просто f.

Примеры:

1) Плюс(t1,t2,t3) означает t1+t2+t3=tå

2) Плюс(Плюс (t1,t2,t3,t4),Минус (t5,tt6),Умножить(t1,...,tn))

3) Отец(Отец(Иван)), что определяет дедушку Ивана.

Предикат - это обобщение понятия «высказывание», заключающееся:

1) в абстрагировании предметов, участвующих во взаимосвязях этого высказывания;

2) в обеспечении возможности внешнего управления внутренними взаимосвязями этого высказывания с помощью кванторных символов.

Всякий предикат имеет определенное число аргументов. Если предикатный символ P имеет n - аргументов, то он называется n - местным предикатным символом.

Обозначение - P(t1,...,tn), где ti- термы; при n=0 предикат обозначают P вместо P( ).

Предикат символизирует действие, ставящее в соответствие списку констант одно из истинностных значений И или Л. Это значит, что предикат (как высказывательная форма) после замены в нем аргументов - предметных переменных конкретными константами превращается в высказывание, которое может быть или И, или Л. Истинный предикат называется отношением.

Так же, как и в высказывании, в предикате выражаются взаимосвязи между различными предметами: между отражаемым объектом и его свойствами, характеристиками и действиями, между парами или большим количеством объектов, процессов, явлений.

Предикатный символ, как правило, представляет сказуемое в повествовательном предложении, о котором можно сказать, истинно оно или ложно. Но очень часто в предикатном символе отражается семантика взаимосвязи отражаемых предметов.

Примеры:

1) ЛЮБИТ (Иван, Мария)

2) ЛЮБИТ (отец(Иван), Иван)

3) БОЛЬШЕ (х,3), где х R - множество натуральных чисел.

4) БОЛЬШЕ (плюс(х,1),х)

5) СТОЛИЦА (х,y)

где х {Москва, Киев, Минск},

y {Россия, Украина, Белоруссия}

6) СОДЕРЖАТЬ (x,y,v)

где х {углерод, сера},

y {сталь, кремний},

v {множество вещественных чисел}

7) ПОСТАВКА (x,y,z,i,j,k,l,m),

где х |чего?|{ список комплектующих},

y |кому?|{ список получателей},

z |кто?|{ список поставщиков},

i |откуда?|{ список источников},

j |куда?|{ список приемников},

k |сколько?|{ список кол-ва комплектующих},

l |по цене ? |{ список цен}?

m |транспортные расходы?|{ список удельных стоимостей

перевозок}

8) ОБЛАДАТЬ СВОЙСТВАМИ И ХАРАКТЕРИСТИКАМИ (z,x1,x2,x3,y1,y2,y3),

где z |отражаемый объект?|{ список отражаемых объектов},

x1 |цвет?|{ список цветов},

x2 |запах?|{ список запахов},

x3 |вкус?|{ список вкусов},

y1 |геометрическая форма?|{ список геометрических форм},

y2 |твердость?|{ список показателей твердости},

y3 |удельный вес?|{ список удельных весов}.

Понятие «атом» - это предикат, представленный в виде формулы P(t1,t2,...,tn)

Синтаксис языка определяется рекурсивно следующими правилами:

1) Атом есть формула

2) Если F и G - формулы, то (ùF),(FG),(FG),(F® G) и (FG) - формулы.

3) Если F - формула, а x - предметная переменная F, то ()F и ()F - формулы.

4) формулы порождаются только конечным применением правил 1-3.

Область действия квантора - это та формула, к которой он применяется.

Например, областью действия квантора существования в формуле МЕНЬШЕесть формула МЕНЬШЕ,а область действия квантора всеобщности есть формула МЕНЬШЕ. В формуле область действия квантора всеобщности есть формула .

Вхождение переменной в формулу называется связанным тогда и только тогда, когда оно совпадает с вхождением в кванторный комплекс или , или находится в области действия такого комплекса.

Вхождение переменной в формулу свободно тогда и только тогда, когда оно не является связанным.

Например, в формуле переменная связана, т.к. оба вхождения связаны. Однако, переменная свободна, т.к. единственное вхождение свободно.

Переменная в формуле может быть свободной и связанной, например, переменная и свободна, и связана в формуле .

Понятие «семантика квантора всеобщности ». Квантор всеобщности устанавливает правило интерпретации формулы F, к которой он применяется. При каждом конкретном значении переменной (которую квантор связывает в формуле F), принадлежащем области определения переменной , формула F, как функция от , может принимать или только истинные значения, или только ложные, но совмещение И и Л недопустимо на всей области определения.

Понятие «семантика квантора существования ». Квантор существования устанавливает правило интерпретации формулы F, к которой он применяется. Хотя бы при одном конкретном значении переменной (которую связывает в формуле F), принадлежащем области определения , формула F, как функция от , обязательно принимает истинное (или ложное) значение.

Пример рассуждения, записанного языком логики предикатов.

1) каждый человек смертен.

2) Конфуций - человек, следовательно, Конфуций - смертен.

«X - есть человек» обозначим через ЧЕЛОВЕК,

«X - смертен», через СМЕРТЕН.

Первое утверждение представим формулой:

ЧЕЛОВЕКСМЕРТЕН.

Утверждение «Конфуций - человек» - это формула ЧЕЛОВЕК (Конфуций), а «Конфуций - смертен» - формула СМЕРТЕН (Конфуций). В целом рассуждение представляется формулой:

ЧЕЛОВЕКСМЕРТЕНЧЕЛОВЕК(Конфуций)

СМЕРТЕН(Конфуций).

– Конец работы –

Эта тема принадлежит разделу:

Лекция 5. Логика предикатов

Введение... Praedicatuum лат сказанное это сказуемое утверждения то что... В логике высказываний атом рассматривается как неделимое целое структура и состав которого не поддаются внешнему...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Правила образования языка в алфавите (синтаксис) логики предикатов.

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Алфавит логики предикатов.
Символами (элементами) алфавита являются: 1) Константы (индивидные символы). Обычно это имена объектов, наименования свойств, характеристик, значения свойств или характеристик;

Формулам (семантика языка).
Чтобы определить интерпретацию для формулы логики предикатов следует задать: n общую область определения D для всех предметных переменных, входящих в формулу; n значения констант;

Правила вывода в исчислении предикатов.
Логика предикатов, также как и логика высказываний, основана на дедуктивном рассуждении. Поэтому правила вывода логики высказываний, приведенные в п. 3.2.4 , равнозначно действуют и в логике предик

Предикатов.
В логике первого порядка (логике предикатов) условия эффективного применения метода резолюций для доказательства теорем такие же, как и в логике высказываний. Напоминаем, что одно из этих условий –

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги