Логика предикатов

Июль 22, 2022

Главная
Математика
Логика предикатов

Содержание

2. Понятие предиката Логика предикатов расчленяет элементарное высказывание на Субъект – это то, о чем что-то утверждается
3. Понятие предиката
4. Понятие предиката
5. Логические операции над предикатами Предикаты, так же, как высказывания. принимают два значения и и л (1,
6. Логические операции над предикатами
7. Логические операции над предикатами
8. Логические операции над предикатами
9. Логические операции над предикатами
10. Кванторные операции Пусть имеется предикат Р(х), определенный на множестве М. Если а – некоторый элемент из
11. Кванторные операции
12. Кванторные операции
13. Кванторные операции
14. Кванторные операции
15. Кванторные операции
16. Кванторные операции
17. Кванторные операции
18. Понятие формулы логики предикатов
19. Понятие формулы логики предикатов
20. Понятие формулы логики предикатов
21. Значение формулы логики предикатов О логическом значении формулы логики предикатов можно говорить лишь тогда, когда задано
22. Равносильные формулы логики предикатов
23. Равносильные формулы логики предикатов Пусть А(х) и В(х) – переменные предикаты, а С – переменное высказывание.
24. Равносильные формулы логики предикатов
25. Предваренная нормальная форма
26. Предваренная нормальная форма
28. Скачать презентацию

Слайд 2

Понятие предиката
Логика предикатов расчленяет элементарное высказывание на
Субъект – это то,

о чем что-то утверждается в высказывании
Предикат – это то, что утверждается о субъекте
Например, в высказывании «7 – простое число», «7» – субъект, «простое число» – предикат.

Слайд 3

Понятие предиката

Слайд 4

Понятие предиката

Слайд 5

Логические операции над предикатами
Предикаты, так же, как высказывания. принимают два

значения и и л (1, 0), поэтому к ним применимы все операции логики высказываний.
Пусть на некотором множестве М определены два предиката Р(х) и Q(х)

Слайд 6

Логические операции над предикатами

Слайд 7

Логические операции над предикатами

Слайд 8

Логические операции над предикатами

Слайд 9

Логические операции над предикатами

Слайд 10

Кванторные операции
Пусть имеется предикат Р(х), определенный на множестве М. Если

а – некоторый элемент из множества М, то подстановка его вместо х в предикат Р(х) превращает этот предикат в высказывание Р(а). Такое высказывание называется единичным.
Наряду c образованием из предикатов единичных высказываний в логике предикатов рассматривается еще две операции, которые превращают одноместный предикат в высказывание.

Слайд 11

Кванторные операции

Слайд 12

Кванторные операции

Слайд 13

Кванторные операции

Слайд 14

Кванторные операции

Слайд 15

Кванторные операции

Слайд 16

Кванторные операции

Слайд 17

Кванторные операции

Слайд 18

Понятие формулы логики предикатов

Слайд 19

Понятие формулы логики предикатов

Слайд 20

Понятие формулы логики предикатов

Слайд 21

Значение формулы логики предикатов
О логическом значении формулы логики предикатов можно

говорить лишь тогда, когда задано множество М, на котором определены входящие в эту формулу предикаты.
Логическое значение формулы логики предикатов зависит от значений трех видов переменных:
1) значений входящих в формулу переменных высказываний.
2) значений свободных предметных переменных из множества М
3) значений предикатных переменных
При конкретных значениях каждого из трех видов переменных формула логики предикатов становится высказыванием, имеющим истинное или ложное значение.

Слайд 22