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

  • 22. Метод резолюций в логике высказываний.

  • ответы на юилеты по математической логике 2 семестр мирэа. 21. Дизъюнкты, резольвента. Резолютивный вывод из множества дизъюнктов


    Скачать 22.99 Kb.
    Название21. Дизъюнкты, резольвента. Резолютивный вывод из множества дизъюнктов
    Анкорответы на юилеты по математической логике 2 семестр мирэа
    Дата14.09.2022
    Размер22.99 Kb.
    Формат файлаdocx
    Имя файлаotvetyna_matlog.docx
    ТипДокументы
    #676542

    21. Дизъюнкты, резольвента. Резолютивный вывод из множества дизъюнктов.

    . Пусть S – множество дизъюнктов. Резолюционным выводом из S назовём такую конечную последовательность дизъюнктов С1,....Сn , что для каждого Ci i=1,…n

    Либо Ci ϵ S, либо Ci ϵ R({Cj,Cк}) 1≤j, k≤I

    Дизъюнкт C считается резолютивно выводимым из мн. дизъюнктов S, если существует резолютивный вывод из S, последний дизъюнкт которого – С=Cn. Очевидно что C ϵ R*(S). Этот факт обозначается так

    S R С

    Мн дизъюнктов S не подтверждаемо (или невыполнимо) тогда и только тогда, Когда R*(S)= содержит пустой дизъюнкт

    То есть если мы при применении метода резолюции к множеству S получим пустой дизъюнкт, то множество S будет неподтверждаемым .

    22. Метод резолюций в логике высказываний.

    Метод резолюции – наиболее эффективный способ алгоритмического доказательства как в логике высказываний так и в логике предикатов именно этот метод построения доказательств составляет основу языка программирования ПРОЛОГ

    Мы знаем что любую формулу не являющуюся тавтологией можно представить в виде КНФ.

    Определение. Латерал – это произвольный атом или его отрицание.

    Дизъюнкция конечного множества литералов называется дизъюнктом

    Пустой дизъюнкт – это дизъюнкт который не содержит ни одного литерала и является всегда неподтверждённым.

    Удобнее формулировать сложное высказывание, представленное в виде КНФ как множество дизъюнктов . А каждый дизъюнкт представлять как множество литералов. ТО есть КНФ это конъюнкция конечного множества дизъюнктов , а дизъюнкт – это дизъюнкция конечного множества литералов

    23. Предикаты. Кванторы. Операции навешивания кванторов. Основные равносильности содержащие кванторы.

    Опр. Пусть x1,x2,….xn – символы переменных произвольной природы. Наборы переменных (x1,…,xn) принадлежат множеству S2, которое будем называть предметной областью, а переменные будем называть предметами. N-местным предикатом, определённым на предметной области S2, называют отображение S2 во множестве высказываний.

    То есть это утверждение о предметных переменных обладающее свойством, что при фиксации значений всех переменных об этом утверждении можно сказать, истинно оно или ложно

    P(x,y,z) = “ x2 + y2 ≤ z2; x,y,z ϵ R “- трёхместный предикат определённый на R3

    Навешивание кванторов:

    Окр. Пусть P(x) – одноместный предикат. Поставим ему в соответствие высказывание, обозначаемое
    xP(x) (для любого x P(x)), которое истинно тогда и только тогда, когда P(x) тождественно истинный предикат.

    О высказывании xP(x) говорят, что оно получено из предиката Р навешиванием квантора всеобщности из переменной х

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

    Освновные равносильности

    Закон де Моргана для кванторов (двойственность)

    ¬( xР(x)) ≡ x ¬(Р(x))

    ¬( xР(x)) ≡ x ¬(Р(x))

    Коммутация одноименных кванторов

    x уР(х,у) ≡ у хР(х,у)

    x уР(х,у) ≡ у хР(х,у)

    Дистрибутивные законы для кванторов

    x(Р(x)^Q(x)) ≡ xР(x) ^ xQ(x)

    x(Р(x)vQ(x)) ≡ xР(x) v xQ(x)

    Законы ограничения действ для кванторов

    x(Р(x) v Q(у)) ≡ xР(x) v Q(у)

    x(Р(x)^Q(у)) ≡ xР(x) ^ Q(у)

    *

    у xР(х,у)→ х уР(х,у) ≡ И

    35. Вычисление на машинах Тьюринга. Функции вычислимые по Тьюрингу

    Определение

    Конфигурацией машины Т называется всякая запись в явном виде, указывающая состояние считывающей головки и то, что записано на ленте αqi β; α – то слово, что находится слева от головки на листе, β –то, что находится справа.

    Определение

    Конфигурация Т, в которой головка смотрит на первую (левую) ячейку массива информации, записанной на ленте, называется правильной конфигурацией.

    Обычно требуют, чтобы машина Т начинала и заканчивала работу в правильных конфигурациях.

    Задать машину Тьюринга – значит задать последовательность конфигураций. Переход от одной конфигурации к другой описывается командами

    Рассмотрим произвольную функцию y=f(x1…xn), где xi – целые неотрицательные числа, y – принимает целое неотрицательное значение.

    Функция f(x1…xn) называется вычислимой по Тьюрингу, если существует машина Тьюринга, работающая следующим образом: для любой совокупности чисел x1,x2…xn, для которых функция f определена, машина Тьюринга, начав работу из начальной конфигурации q01x1 …1xn, заканчивает работу конфигурацией q01y, где y=f(x1…xn). Если f на совокупности x1..xn не определена, то машина Тьюринга работает бесконечно.


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