Структура исчисления предикатов построение логического вывода

    Дисциплина: Разное
    Тип работы: Реферат
    Тема: Структура исчисления предикатов построение логического вывода

    Язык, логика и исчисление предикатов

    Введение

    Приступая к изучению языка логики предикатов (сокращенно — ЯЛП), полезно вспомнить основные особенности языков этого типа В ЯЛП явно должны быть представляемы

    субъектно-предикатные структуры высказываний, от которых происхо­дило отвлечение при введении пропозициональных символов. Выражаемыми должны быть, например, высказывания видов. «

    обладает свойством Р», «а и b находятся в отноше­нии Р», «Для всякого предмета из некоторого множества

    верно, что он обладает свойством Р», «Для всякого предмета из множества

    существует предмет этого множества такой, что эти предметы находятся в отношении

    «Если неверно, что всякие два предмета некоторого множества находятся в отношении

    то существуют по крайней мере два предмета этого множества, не находящиеся в этом отношении», «Если во множестве S существует предмет х, который находится в от­ношении R с любым

    предметом у этого множества, то для всякого предмета у того же множества существует предмет х такой, что последний находится в отношении R к первому» и т. п.

    Ясно, во-первых, что для выражения таких утверждений у нас нет средств в языке логики высказываний. Ясно и то, что для

    аналогами последних в ЯЛП будут предметные переменные х,

    а также они же с числовыми индексами

    ...

    Забрать файл

    Похожие материалы:


    Добавить комментарий
    Старайтесь излагать свои мысли грамотно и лаконично

    Введите код:
    Включите эту картинку для отображения кода безопасности
    обновить, если не виден код



ПИШЕМ УНИКАЛЬНЫЕ РАБОТЫ
Заказывайте напрямую у исполнителя!


© 2006-2016 Все права защищены