Главная страница
Навигация по странице:

  • Предикат

  • Одноместным предикатом P(x)

  • предикаты. Основные понятия алгебры предикатов


    Скачать 2.83 Mb.
    НазваниеОсновные понятия алгебры предикатов
    Анкорпредикаты
    Дата27.03.2023
    Размер2.83 Mb.
    Формат файлаpptx
    Имя файлапредикаты.pptx
    ТипДокументы
    #1019227

    Основные понятия алгебры предикатов


    Логика высказываний оперирует простейшими высказываниями, которые могут быть или истинными, или ложными.

    В логике такие предложения, истинность которых зависит от параметров, обозначают с помощью предикатов.
    «Предикат» с английского переводится, как сказуемое.

    Определение предиката


    Формально предикат-функция, аргументами которого могут быть произвольные объекты из некоторого множества, а значения функции «истина» или «ложь».
    Предикат можно рассматривать как расширение понятия высказывание.


    Одноместным предикатом P(x)-произвольная функция переменного х, определенного на множестве М и принимающая значения из множества 1;0 .
    Двухместный предикат Р(х ; у)- функция двух переменных х и у, определенная на множестве М=М1хМ2 и принимающая значения из множества 1;0 .


    n-местный предикат – это функция определенная на наборах длинны n элементов некоторого множества М, принимающая значения в области True, False.
    Множество М называется предметной областью предиката,
    А х1, х2, х3 … , хn- предметными переменными.


    Предикат называется тождественно истинным (тождественно ложным), если на всех наборах своих переменных принимает значение 1 (0), выполнимым, если на некотором наборе своих переменных принимает 1

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

    Замечание!


    Предикаты при подстановке переменных становятся высказываниями, поэтому с предикатами можно производить все логические операции
    Для предикатов справедливы логические операции и две новые операции, специфические.
    - операциями навешивания кванторов или операциями квантификации.
    Эти операции соответствуют фразам «для всех»-квантор общности и «некоторые»-квантор существования.

    Выражение «существует точно одно Х такое, что…»- квантор существования и единственности.



    Присоединение квантора с переменной к предикатной формуле называется навешивание квантора на переменную х. Переменная при этом называется связной и вместо нее подставлять константы уже нельзя.
    Если квантор навешивается на формулу с несколькими переменными, то он уменьшает число несвязных переменных в этой формуле.


    Переменную х в предикате Р(х) называют свободной ( ей можно придавать различные значения из М),
    В высказывании же х называют связанной квантором всеобщности.
    Переменная, на которую навешивается квантор называется связанной.
    Выражение, на которое навешиваете квантор, называется областью действия квантора.
    Кванторы общности и существования называют двойственными относительно друг друга.

    Равносильные формулы логики предикатов


    Две формулы логики предикатов А и В называются равносильными на области М, если они принимают одинаковые логические значения при всех значениях входящих в них переменных, отнесенные к области М.

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


    В логике предикатов формулы могут иметь нормальную формулу.
    При этом, используя равносильности логики предикатов, каждую формулу логики предикатов можно привести к нормальной форме.
    В логике предикатов различают два вида нормальных форм: приведенную и предваренную.


    Среди нормальных форм формул логики предикатов выделяют так называемую предваренную (префиксную) нормальную форму ПНФ.
    В ней кванторные операции, либо полностью отсутствуют , либо они используются после всех операций алгебры.



    написать администратору сайта