Содержание
- 2. Понятие предиката Выразительные возможности языка логики высказываний очень ограничены. С ее помощью невозможно проанализировать внутреннюю структуру
- 3. Понятие предиката Первое высказывание представляется строгим логическим выводом, второе же не соответствует никакому здравому смыслу. Эти
- 4. Понятие предиката В высказывании все четко: это — конкретное утверждение о конкретных объектах — истинное или
- 5. Понятие предиката Логика предикатов, как и традиционная формальная логика, расчленяет элементарное высказывание на субъект (подлежащее, хотя
- 6. Понятие предиката ПРИМЕР “7 - простое число” Если в рассмотренном примере заменить конкретное число 7 переменной
- 7. Понятие предиката В естественной речи часто встречаются сложные высказывания, истинность которых может изменяться при изменении объектов,
- 8. Понятие предиката Таким образом, раздел математической логики, изучающий логические законы, общие для любой области объектов исследования
- 9. Понятие предиката Определение 1. Одноместным предикатом Р(х) называется такая функция одной переменной, в которой аргумент х
- 10. Понятие предиката. Примеры Пример 1 Пусть предметное множество М есть класс млекопитающих. Рассмотрим одноместный предикат Р(х):
- 11. Классификация предикатов Предикат называется: А) Тождественно истинным, если значение его для любых аргументов есть «истина» Предикат
- 12. Равносильность предикатов Два n-местных предиката Р(х1, х2, ..., хn) и Q(x1, x2, ..., хn), заданных над
- 13. Пример Пусть требуется решить уравнение (найти множество истинности предиката): 4х-2=-3х-9 Преобразуем его равносильным образом: 4х-2=-3х-9 ⬄
- 14. Следование предикатов Предикат Q(х1, х2, ..., хn), заданный над множествами М1, М2, …, Мn, называется следствием
- 15. Пример Одноместный предикат, определенный на множестве натуральных чисел, «n делится на 3» является следствием одноместного предиката,
- 16. Упражнение 1. Среди следующих предложений выделите предикаты: Ответ: 2); 4); 7)-11)
- 17. Упражнение 2. Среди следующих предложений выделить предикаты и для каждого из них указать область истинности. x+5=1
- 18. Логические операции над предикатами Отрицанием предиката P(x) называется новый предикат, множество истинности которого является дополнением множества
- 19. Логические операции над предикатами Конъюнкцией предикатов P(x) и Q(x) называется новый предикат, который принимает значение 1
- 20. Логические операции над предикатами Дизъюнкцией предикатов P(x) и Q(x) называется новый предикат, который принимает значение 1
- 21. Логические операции над предикатами Импликацией предикатов P(x) и Q(x) называется предикат, который имеет значение ложь на
- 22. Логические операции над предикатами Эквиваленцией P(x) и Q(x) называется предикат, который имеет значение истина на тех
- 23. Упражнение 3. Пусть даны предикаты P(x): «х – четное число» и Q(x): «х кратно 3», определенные
- 24. Упражнение 4. Если значения x,y принадлежат отрезку [2;5], то в списке выражений следующего вида: 1) х=2
- 25. Упражнение 5. Запишите предикат (условие, которое может быть и сложным), полностью описывающий область, нестрого заключенную между
- 27. Скачать презентацию