Содержание
- 2. Логика высказываний оперирует простейшими высказываниями, которые могут быть или истинными, или ложными. В разговорном языке встречаются
- 3. В логике такие предложения, истинность которых зависит от параметров, обозначают с помощью предикатов. "Предикат" с английского
- 4. Определение предиката Формально предикат - функция, аргументами которой могут быть ПРОИЗВОЛЬНЫЕ ОБ'ЕКТЫ из некоторого множества, а
- 5. Пример "Маша любит кашу" "Даша любит кашу" "Саша любит кашу« предикат "Икс любит кашу" и вместо
- 6. Определение Предикат - это высказывание-функция, значение (истина/ложь) которого зависит от параметров
- 7. Определение Одноместным предикатом Р(x) -произвольная функция переменного x, определенная на множестве M и принимающая значение из
- 8. Определение Двухместный предикат Р(x,y) - функция двух переменных x и y, определенная на множестве М=М1хМ2 и
- 9. Определение n-местный предикат - это функция определенная на наборах длины n элементов некоторого множества M, принимающая
- 10. Определение. Предикат называется тождественно истинным (тождественно ложным), если на всех наборах своих переменных принимает значение 1
- 11. Логические операции над предикатами Замечание Предикаты при подстановки переменных становятся высказываниями, поэтому с предикатами можно производить
- 12. Пример (Экзюпери) "Ты любишь потому, что ты любишь. Не существует причин, чтобы любить." можно записать в
- 13. Определение Присоединение квантора с переменной к предикатной формуле называется навешивание квантора на переменную х. Переменная при
- 14. Переменную х в предикате Р(х) называют свободной (ей можно придавать различные значения из М), в высказывании
- 15. Переменная , на которую навешивается квантор называется связанной. Выражение, на которое навешивается квантор, называется областью действия
- 16. Пример Предикат "ВСЕ любят кашу": Возьмем отрицание "НЕ ВЕРНО, что ВСЕ любят кашу". Это равносильно (по
- 17. Кванторы общности и существования называют двойственными относительно друг друга. Вот некоторые "классические примеры"несоответствия языка предикатов и
- 18. Пример предикат "Собакам и кошкам вход воспрещен". "ДЛЯ ВСЕХ иксов справедливо: ЕСЛИ икс - собака И
- 20. Пример
- 21. Свойства кванторов 1. Коммутативность одноименных кванторов 2. Перестановка кванторов общности и существования меняет смысл.
- 22. Основные законы, содержащие кванторы
- 23. Равносильные формулы логики предикатов Определение Две формулы логики предикатов А и В называются равносильными на области
- 24. Правила переноса кванторов через отрицание или законы де Моргана для кванторов Пусть А(х) и В(х) –
- 25. Правила переноса кванторов через отрицание или законы де Моргана для кванторов
- 27. «квантор можно вносить и выносить за скобки в конъюнкции»
- 28. постоянное высказывание можно вносить под знак квантора всеобщности и выносить из под знака в конъюнкции, дизъюнкции
- 29. квантор существования можно вносить и выносить за скобки в дизъюнкции»
- 31. Нормальные формы формул логики предикатов В логике предикатов формулы могут иметь нормальную форму. При этом, используя
- 32. Среди нормальных форм формул логики предикатов выделяют так называемую предваренную (префиксную) нормальную форму (ПНФ). В ней
- 33. Пример Получили приведенную нормальную форму исходной формулы.
- 35. Алгоритм получения (приведения) ПНФ. Формула B называется предваренной нормальной формой формулы A , если она удовлетворяет
- 36. Шаг 1. Исключить связки эквивалентности (~) и импликации (→). Формула x ~ у заменяется на (x
- 37. Шаг 3. Удалить те квантификации, область действия которых не содержит вхождений квантифицированной переменной. Шаг 4. Перенести
- 39. Скулемовские функции Приведение формулы ЛП к сколемовской форме (сколемизация) призвано обеспечить дальнейшее упрощение логических представлений и
- 40. Алгоритм получения сколемовской формы сопоставить каждой Ǝ- квантифицированной переменной список ∀- квантифицированных переменных, предшествующих ей, а
- 41. 4) в матрице формулы заменить каждое вхождение каждой Ǝ- квантифицированной переменной на некоторый терм. Этот терм
- 43. Скачать презентацию