Реферат Курсовая Конспект
Алфавит логики предикатов. - раздел Философия, Лекция 5. Логика предикатов 3 Каждый человек смертен Символами (Элементами) Алфавита Являются: 1) Константы (Индив...
|
Символами (элементами) алфавита являются:
1) Константы (индивидные символы). Обычно это имена объектов, наименования свойств, характеристик, значения свойств или характеристик;
2) Символы предметных переменных. Обычно, это малые буквы x, y,z, возможно с индексами. Предметная переменная подразумевает наличие области её определения, т.е. конечного множества значений данной переменной;
3) Функциональные символы. Обычно, это малые буквы f,q,h или осмысленные слова из строчных букв, например, плюс, минус, умножить, отец, мать, дочь;
4) предикатные символы. Обычно, это прописные (большие) буквы P,Q,R, или осмысленные слова из прописных букв, такие как БОЛЬШЕ, МЕНЬШЕ, ЛЮБИТ, СОДЕРЖИТ, СМЕРТЕН,ЧЕЛОВЕК.
5) связки исчисления высказываний .
6) кванторы общности (для всех) и существования (существует).
В языке предикатов содержится язык высказываний, так как предикат становится высказыванием после замены его предметных переменных их конкретными значениями.
– Конец работы –
Эта тема принадлежит разделу:
Введение... Praedicatuum лат сказанное это сказуемое утверждения то что... В логике высказываний атом рассматривается как неделимое целое структура и состав которого не поддаются внешнему...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Алфавит логики предикатов.
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Новости и инфо для студентов