Логика предикатов
Понятие предиката
Понятие предиката
Понятие предиката
Логические операции над предикатами
Логические операции над предикатами
Логические операции над предикатами
Логические операции над предикатами
Логические операции над предикатами
Кванторные операции
Кванторные операции
Кванторные операции
Кванторные операции
Кванторные операции
Кванторные операции
Кванторные операции
Кванторные операции
Понятие формулы логики предикатов
Понятие формулы логики предикатов
Понятие формулы логики предикатов
Значение формулы логики предикатов
Равносильные формулы логики предикатов
Равносильные формулы логики предикатов
Равносильные формулы логики предикатов
Предваренная нормальная форма
Предваренная нормальная форма
Предваренная нормальная форма
1.83M
Category: mathematicsmathematics

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

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

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

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

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

• Одноместным предикатом Р(х) называется произвольная функция
переменного х, определенная на множестве М и принимающая
значения из множества {1,0}.
• Множество М, на котором определен предикат Р(х), называется
областью определения предиката.
• Множество всех элементов х ∈ М , при которых предикат
принимает значение «истина», называется множеством истинности
предиката Р(х) , то есть множество истинности предиката Р(х) – это
множество
English     Русский Rules