Similar presentations:
Логика предикатов
1. Логика предикатов
2. Понятие предиката
Логика предикатов расчленяет элементарное высказываниена
• Субъект – это то, о чем что-то утверждается в высказывании
• Предикат – это то, что утверждается о субъекте
Например, в высказывании «7 – простое число», «7» –
субъект, «простое число» – предикат.
3. Понятие предиката
• Одноместным предикатом Р(х) называется произвольная функцияпеременного х, определенная на множестве М и принимающая
значения из множества {1,0}.
• Множество М, на котором определен предикат Р(х), называется
областью определения предиката.
• Множество всех элементов х ∈ М , при которых предикат
принимает значение «истина», называется множеством истинности
предиката Р(х) , то есть множество истинности предиката Р(х) – это
множество