Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Формулы логики предикатов. Атомарные формулы. Интерпретации



Слово в алфавите логики предикатов называется формулой, если оно символ предиката. Такая формула называется атомарной. Все переменные атомарных формул свободные, связанных переменных нет.

Если A – формула, то A тоже формула. Свободные и связанные переменные формулы ( A) - это соответственно свободные и связанные переменные формулы A.

Например, S (v, w, u) – атомарная формула, в которой v, w и u – свободные переменные; ( x)( y) S (x, y, z) ( x)R (x, t) – формула, в которой x и y – связанные переменные, а z и t – свободные.

Под интерпретацией понимают систему, состоящую из непустого множества, на котором определён предикат, и соответствия между элементами этого множества и значениями предиката на них.





Дата публикования: 2014-11-29; Прочитано: 877 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.006 с)...