русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Основные определения


Дата добавления: 2013-12-23; просмотров: 1121; Нарушение авторских прав


Исчисление предикатов первого порядка.

Правила вывода исчисления высказываний

Существует три обязательных правила вывода, входящих вмножество B в исчислении высказываний:

1. Все аксиомы выводимы.

2. Правило одновременной подстановки: если некоторая тавтология U содержит атом P, то одновременная замена всех вхождений атома P в U на любую формулу Q приводит к порождению тавтологии.

3. Modus Ponens (заключение): если P – тавтология, и P® Q, то Q – тавтология.

Часто необходимо преобразовывать формулы из одной формы в другую. Поэтому, кроме аксиом и правил вывода необходимо иметь набор эквивалентных формул (законов), которые позволяют производить преобразования формул:

1. P « Q = P ® Q Щ Q ® P;

2. P ® Q = Ш P Ъ Q;

3. Коммуникативные законы: P Ъ Q = Q Ъ P; P Щ Q = Q Щ P;

4. Ассоциативные законы: (P Ъ Q) Ъ R = Q Ъ (P Ъ R); (P Щ Q) Щ R = Q Щ (P Щ R);

5. Дистрибутивные законы: P Ъ (Q Щ R) = (P Ъ Q) Щ (P Ъ R);
P Щ (Q Ъ R) = (P Щ Q) Ъ (P Щ R);

6. Законы идемпотентности: P Ъ P = P; P Щ P = P;

7. P Ъ Л = P; P Щ И = P;

8. P Ъ И = И; P Щ Л = Л;

9. P Ъ ШP = И; P Щ ШP = Л;

10.Ш(ШP )= P;

11.Законы де Моргана: Ш(P Ъ Q) = ШQ Щ ШP; Ш(P Щ Q) =ШQ Ъ ШP;

Можно доказать следующие дополнительные правила вывода:

Утверждение 1.

Если P - тавтология, то Q ® P – тавтология.

Доказательство.

Доказательство следует из аксиомы 1 классической системы аксиом и правила вывода 3.

По аксиоме 1 P ®( Q ® P), тогда, если P – тавтология, то по правилу Modus Ponens Q ® P – тоже тавтология.

Утверждение 2.

Свойство транзитивности отношения следования: если P® Q, Q® R – тавтологии, то P® R – тавтология.

Доказательство.

Эквивалентная формулировка утверждения 2 заключается в том, что формула (((P® Q) Щ (Q® R)) ®(P® R)) является тавтологией. Воспользуемся законами эквивалентных преобразований исчисления высказываний:



(((P® Q) Щ (Q® R)) ®(P® R)) «

Ш ((ШPЪ Q) Щ (ШQЪ R)) Ъ (ШPЪ R) «

((PЩ ШQ) Ъ (Q Щ ШR)) Ъ (ШP Ъ R) «

((PЪ Ш P) Щ (ШQ Ъ Ш P)) Ъ ((Q Ъ R) Щ (ШR Ъ R)) «

((И Щ (ШQ Ъ Ш P)) Ъ ((Q Ъ R) Щ И)) «

ШQ Ъ Ш P Ъ Q Ъ R «

И Ъ Ш P Ъ Q « И.

Утверждение 3.

Теорема дедукции: необходимым и достаточным условием выводимости Q из гипотез R, P является выводимость P® Q из R. Данную теорему можно записать следующим образом: R, P ъ-- Q « R ъ-- (P® Q).

Термин «первого порядка» означает, что в этой теории кванторы допускаются только по переменным и не допускаются по функциональным и предикатным символам. Кроме того, запрещены предикаты, которые в качестве своих аргументов имеют другие предикаты.

В логике высказываний атом рассматривается как единое целое, его структура и состав не анализируется. Однако, есть много умозаключений, которые не могут быть представлены таким простым способом. Например, рассмотрим следующее умозаключение:

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

Так как Конфуций человек, то он смертен.

Приведенное рассуждение интуитивно корректно, однако, если мы введем обозначения:

P: Каждый человек смертен,

Q: Конфуций – человек,

R: Конфуций смертен,

то R не есть логическое следствие P и Q в рамках логики высказываний.

В логике предикатов первого порядка по сравнению с логикой высказываний имеет еще три логических понятия: термы, предикаты и кванторы.

Множество T базовых элементов исчисления предикатов включает в себя следующие символы:

1. Константы – это обычно строчные буквы a, b, c… или осмысленные имена объектов;

2. Переменные – это обычно строчные буквы x, y, z, …, возможно с индексами;

3. Функции – это обычно строчные буквы f, g, h,… или осмысленные слова из строчных букв;

4. Предикаты – это обычно прописные буквы P, Q, R … или осмысленные слова из прописных букв;

5. Логические связки: отрицание, дизъюнкция, конъюнкция, импликация, эквивалентность;

6. Кванторы всеобщности и существования - ", $;

7. Открывающая и закрывающая скобка.

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

Определение 6. Термы определяются рекурсивно следующим образом:

· Константа есть терм;

· Переменная есть терм;

· Если f есть n- местная функция и t1, t2,…,tn – термы, то f (t1, t2,…,tn) – терм;

· Никаких термов, кроме порожденных применением указанных выше правил, нет.

Определение 7. Предикат P(t1, t2,…,tn) есть логическая функция, определенная на множестве термов t1, t2,…,tn, при фиксированных значениях которых она превращается в высказывания со значением истина (И) или ложь(Л).

Определение 8. Если P – n- местный предикат и t1, t2,…,tn – термы, то P(t1, t2,…,tn) – атом.

Для построения формул в исчислении предикатов используются пять логических связок и два квантора: " - всеобщности и $- существования. Если x – переменная, то ("x) читается как «для всех x», «для каждого x», «для любого x», тогда как ($x) читается как « существует x», «для некоторых x», «по крайней мере, для одного x».

Пример 1: запишем следующие утверждения:

1. Каждое рациональное число есть вещественное число.

2. Существует число, которое является простым.

3. Для каждого числа x существует такое число y , что x<y.

Обозначим «x есть простое число» через P(x), «x есть рациональное число» через Q(x), «x есть вещественное число» через R(x) и «x меньше y» через МЕНЬШЕ (x, y).

Тогда указанные выше утверждения могут быть записаны соответственно выражениями:

1. ("x) (Q(x)® R(x)),

2. ($x) P(x),

3. ("x) ($y) МЕНЬШЕ (x, y).

Каждое из выражений 1, 2, 3 называется формулой. Прежде чем дать формальное определение формулы в логике предикатов, следует установить различие между связанными переменными и свободными переменными и определить область действия квантора, входящего в формулу, как ту формулу, к которой этот квантор применяется. Так, область действия квантора существования в выражении 3 есть МЕНЬШЕ (x, y), а область действия квантора всеобщности в выражении 3 есть ($y) МЕНЬШЕ (x, y).

Определение 9. Вхождение переменной x в формулу F называется связанным тогда и только тогда, когда оно совпадает с вхождением в квантор ("xF) или ($yF). Формула, к которой применяется квантор по данной переменной, называется областью действия этого квантора. Вхождение переменной в формулу свободно тогда и только тогда, когда оно не находится в области действия какого-либо квантора. Формула, не содержащая свободных переменных, называется замкнутой и представляет собой высказывание.

Пример2.

P(x, y) Щ R(z)® ("x)(R(x) Щ Q(y)). В этом примере первое вхождение переменной x является свободным, второе – связанным, первое вхождение переменной y является свободным, второе – связанным, единственное вхождение переменной z является свободным.

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



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


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.004 сек.