Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

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



Читайте также:
  1. I Классификация кривых второго порядка
  2. I. Отделение сознания от Эго; сознание и мышление; принцип логики
  3. II. Вычленение первого и последнего звука из слова
  4. II. Основание Первого Афинского союза. Организация Делосской симмахии
  5. Аксиомы (тождества) алгебры логики
  6. В качестве контрольного примера используйте пример пятиэлементного массива целых чисел из первого способа
  7. В сперматоците 1 порядка в период G1 возник мутантный ген. Укажите максимальное число сперматозоидов, которые могут его получить.

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

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

Предикат, обозначающий отношение называется двухместным, трехместным и т. Д. в зависимости от кол-ва аргументов (от кол-ва членов данного отношения).

Предикатами называются функции, значениями которых служат высказывания, например Х есть зеленый – это функция одной переменной. Х любит У функция двух переменных. Эти выражения превращаются в высказывания при соответствующей подстановке имен вместо переменных или при связывании переменных кванторами. В общем виде обозначение предиката – это грамматически правильное повествовательное предложение, взятое вместе с выраженным им смыслом. В исчислении высказываний каждый атомарный (элементарный) символ обозначает высказывание некоторой сложности. При этом не существует способа получить доступ к компонентам отдельного суждения. Пример высказывания: P “Во вторник шел дождь”

Исчисление предикатов в отличии от исчисления высказываний позволяет получить доступ к компонентам отдельного суждения. Предикат погода и он описывает отношение между датой и погодой. ПОГОДА(ВТОРНИК,ДОЖДЬ).



Дата добавления: 2015-07-10; просмотров: 96 | Нарушение авторских прав






mybiblioteka.su - 2015-2024 год. (0.005 сек.)