Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
1. b - по п.1
2. b411 – по п.1
3. x1 – по п.2
4. h1(z) – по пп.2,3
5. h2(c,с) – по пп.1,3
6. h1(h1(z)) – по пп.2,3
7. f2(h1(z),a) – по пп.1,2,3
8. f2(h1(z), h2(y,z)) – по пп. 1,2,3
9. g3(h1(h1(а)), a, с) – по пп.1,3
Определение терма носит чисто синтаксический характер: оно задает некоторый класс записей, составленных из символов алфавита нашего языка, но не аппелирует к возможным смыслам этих записей, т.е. сами записи, подпадающие под определение терма, рассматриваются просто как последовательности некоторых объектов. Но эта дефиниция вводилась, разумеется, для того, чтобы впоследствии связать с ней осмысленные выражения некоторого типа, а именно: задающие объекты. Покажем (в предварительном порядке), как записи, имеющие вид терма, определяют структуры имен и именных форм. Так, структуру h1(h1(а)) имеют выражения 622, ÖÖ5, отец отца Сократа. А такую форму как f2(a,h1(z)) имеют, например, выражения 5+z2, 7-z3, p+Öy, 5×у4, 5×sinx.
Формула ЯКЛП1=:
1. ^, Т – формулы;
2. если Рn есть какой-либо n-местный предикатный символ (Pn, Qn, Rn, Sn, P1n и т.д.), а t1, t2,…, tn – термы, тогда последовательность символов
Рn(t1, t2,…, tn) является формулой;
3. если t1, t2 – термы, тогда последовательность t1=t2 есть формула;
4. если А – формула, тогда ØА тоже формула;
5. если А и В – формулы, тогда (А&В), (АÚВ), (АÉВ), (АºВ) – формулы;
6. если К – квантор ($ или "), a - индивидная переменная и А – формула, тогда следующая последовательность также является формулой: КaА;
7. формулой является последовательность символов, которая может быть построена по пп.1-7.
Самые простые (в смысле построения) формулы назовем атомарными. Атомарная (элементарная) формула – формула, построенная по каким-то из пунктов 1-3.
Формулы, процедура построения которых включает хотя бы один из пп.3-6 назовем составными (сложными, молекулярными).
Вместо Ø t1=t2 будем писать t1¹t2.
Дата публикования: 2015-01-23; Прочитано: 313 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!